postmortem:开源操作系统的验尸

开源操作系统的验尸 这是什么？ 是学习失败的一项主要技术。 SRE人员还认为，可以通过解决方案避免此类失败。在工业公司中发现了相同的方法。这是。 另一方面，这些尸体在开源文化中常见吗？不，很不幸。 该项目的目标是找到适合于避免导致安全事件的故障或错误的解决方案，例如语言或验证程序。 您如何选择具体的操作系统作为目标？ 今天，我们将重点放在上，因为它在提供了许多有关错误的信息。 如何避免错误？ 有两种选择。首先是用语言或验证器重写操作系统的一部分。该部分应重新编写安全事件补丁并保持正常运行。但是这种方法需要大量的人力资源。 其次是编写小的伪代码进行证明或验证。现在，我们正在选择这种资源较少的方法。 我们的伪代码可在以下位置找到： 语言示例 例如， 会导致编译错误，因为该代码在调用copyin之后会忘记fdrop 。这个错误发生在 。这意味着如果FreeBSD是使用ATS2语言编写的，则可以