草庐IT

safety-critical

全部标签

thread-safety - 有人可以在这种情况下为我解释 dispatch_async()

我在单独的类中有以下方法:classAPI:NSObject{vardata=NSData()vardelegate:APIProtocol?funcgetItems(callback:(Array)->()){leturlPath:NSString="http://localhost:3000/files"leturl=NSURL(string:urlPath)letrequest=NSMutableURLRequest(URL:url)request.HTTPMethod="GET"request.addValue("application/json",forHTTPHeaderF

python - logging.fatal 和 logging.critical 之间有什么区别?

logging.fatal和logging.critical有什么区别?两者在Python3.4中的行为方式似乎完全相同。两者都因为某种向后兼容性而保留吗? 最佳答案 logging.FATAL从logging包第一次提交到Python存储库时就等于logging.CRITICAL。这是出于兼容性原因;Javalog4j包(它是该模块的主要影响者之一)使用FATAL作为最高级别,但Python认为名称为CRITICAL较好地反射(reflect)了情况。参见PEP282ALoggingSystem,将logging包添加到Pytho

html - 内联 Critical CSS 值吗?

当您在外部文件中阻止CSS时,GooglePagespeed会提示。在HTTP/1中这可能是有道理的,但是现在对于HTTP/2呢?如果您内联关键CSS(在首屏之上),那么这些字节仍然需要下载、解析和其他一切,所有这些都在文档呈现之前完成。使用HTTP/2,无需建立另一个连接,因为可以重用相同的连接,因此这不是开销。此外,借助服务器推送,您甚至可以在CSS文件被请求之前推送它。那么...内联关键CSS仍然是推荐的做法吗?我同意在繁重的站点中,您可能不想下载所有CSS。例如,如果您正在访问画廊,则只需要gallery.css,不需要profile.css,也不需要forum.css等。但这

c# - TargetedPatchingOptOut : "Performance critical to inline across NGen image boundaries"?

使用反射器检查一些框架类并注意到许多方法和属性具有以下属性[TargetedPatchingOptOut("PerformancecriticaltoinlineacrossNGenimageboundaries")]我很确定我也在其他地方看到过上述评论,但从未跟进过。有人可以告诉我这在C#和任何其他上下文中意味着什么吗? 最佳答案 它告诉NGen可以内联它所应用的方法,即使在不同的程序集中也是如此。例如:String.Equals有[TargetedPatchingOptOut]您编写了一个调用String.Equals的程序你跑

google-app-engine - 访问数据存储时如何避免 "safety"over quota panic? (已启用计费)

我将我的网站部署到GoogleAppEngine(使用Golang和具有1000条记录的数据存储)。启用计费并建立每日预算。配额详细信息页面指示一切都在配额之下。我正在执行Urlfetch以获取用于在数据存储区中构建数据实体的tsv文件。两个问题:仅创建了778个实体-日志表明这是一个长时间运行的进程,但它似乎在没有错误消息的情况下提前终止。文档说这是正常的第二步涉及从数据存储区中的实体创建一个json文件。这个过程会导致“panic:超配额”,因为我想这个过程花费的时间太长了。我该如何进行?我应该将tsv数据文件分成几个较小的文件吗?我可以请求“更多时间”以免超过安全配额吗?需要注意

thread-safety - Go 的缓冲 channel 是无锁的吗?

Go的缓冲channel本质上是一个线程安全的FIFO队列。(参见IsitpossibletouseGo'sbufferedchannelasathread-safequeue?)我想知道它是如何实现的。它是否像Istheresuchathingasalocklessqueueformultiplereadorwritethreads?中描述的那样是无锁的??在Go的src目录中进行greping(grep-rLock.|grepchan)给出以下输出:./pkg/runtime/chan.c:Lock;./pkg/runtime/chan_test.go:m.Lock()./pkg/

android - 安装了 Intel HAXM Android 模拟器的 CRITICAL_STRUCTURE_CORRUPTION BSOD Windows 8.1

已结束。这个问题是notreproducibleorwascausedbytypos.它目前不接受答案。此问题是由拼写错误或无法再重现的问题引起的。虽然类似的问题可能是on-topic在这里,这个问题的解决方式不太可能帮助future的读者。关闭2年前。Improvethisquestion自从安装Windows8.1以来,我经常遇到“关键结构损坏”蓝屏死机。我什至买了一台新电脑,以为只是Windows8.1对潜在的硬件故障更敏感。但是BSOD不断出现,而且几乎什么也没做,甚至没有运行模拟器。最近的Mavericks在我的Mac上出现内核问题panic,这导致我将两个和两个放在一起,似

thread-safety - Kotlin 单例线程安全吗?

Kotlin单例(更具体地说,对象声明)在构造上是线程安全的吗?如果没有,在Kotlin中编写线程安全单例的最佳实践是什么?我猜他们是,但我无法在文档中找到任何明确的声明。 最佳答案 Kotlin“对象”在构造上是线程安全的。正如您在任何反编译/转储工具中看到的那样,声明的对象只是具有静态实例初始化+语言语法糖以简化实例访问的最终类 关于thread-safety-Kotlin单例线程安全吗?,我们在StackOverflow上找到一个类似的问题: https

java - MongoDB/Java : Type safety in DBObjects

我在MongoDB文档中有一个字段,该字段存储了一个任意大的数字。当我将它作为DBObject(MongoDB的Java驱动程序)检索时,有时会遇到ClassCastException:DBObjectobj=collection.findOne();longval=(Long)(o.get("numericVal"));如果numericVal中存储的值是1234567890,则转换为Long成功。如果是12345,则DBObject.get()返回一个Double,并且转换失败。在反序列化MongoDBDBObjects时如何确保类型安全? 最佳答案

c++ - 安全关键软件的 C++ 形式化方法

看看C,C对可以在代码中使用的形式化方法有很好的支持(frama-c、VCC、verifast)。据我所知,C++似乎没有任何可比性。有哪些形式化方法可用于推理用C++编写的安全关键型软件? 最佳答案 与我合作的一家医疗公司使用Coverity和Klocwork检查代码是否存在资源泄漏和未初始化指针被使用等可能的问题。但是,这些是工具,而不是安全关键代码的标准。我所看到的是MISRA一直在为C++制定标准。他们从C开始,大约5年前开始研究C++。例如,一个大问题是C++的MISRA标准规定您不应该使用模板。这确实限制了您在C++中可