Wallaroo Labs正在阅读的内容（2018年8月7日）
我们已经消费了一些精彩的内容！ 以下是我们在过去一周中发现的有趣话题。 “有关Go垃圾收集的过去和未来的谈话记录。 它介绍了他们在性能提升方面取得的一些重大成就，并展示了他们尝试不起作用的某些情况。 有趣的读物，特别是如果您喜欢像我一样对垃圾回收感到讨厌的话。”通过@ casio_juarez “ Amdahl的尾部延迟定律着眼于使用排队论来帮助设计使延迟最小化的系统。 本文的语言集中在多核硬件设计上，但我认为这些想法可以应用于Wallaroo支持的多核分布式系统。 ”通过@ slfritchie “有关现实世界中无服务器使用的有趣对话：问HN：您是否已经交付了具有“无服务器”架构的重要产品？”通过@ simonzelazny 在现实世界中经过正式验证的软件。 “我们提出了一种构建高度依赖的系统的方法，该方法从经过正式验证的操作系统中获得对它们的保证，从而确保子系统之间的隔离。 我们利用这些保证通过不可绕过的体系结构约束以及从体系结构生成代码和证明来实施安全性。 我们证明，即使没有正式证明其整体安全性的方法，这种方法也可以产生对网络攻击具有高度鲁棒性的系统。 我们不仅证明这种方法适用于现实世界的系统，例如自动驾驶汽车，而且还可以对现有的不安全系统进行重新设计以实现高鲁棒性，并且可以由未经过培训的工程师来完成。正式方法。”通过@…
