文件名称:
postmortem:开源操作系统的验尸-源码
开发工具:
文件大小: 186kb
下载次数: 0
上传时间: 2021-03-20
详细说明：开源操作系统的验尸
这是什么？
是学习失败的一项主要技术。 SRE人员还认为，可以通过解决方案避免此类失败。在工业公司中发现了相同的方法。这是。
另一方面，这些尸体在开源文化中常见吗？不，很不幸。
该项目的目标是找到适合于避免导致安全事件的故障或错误的解决方案，例如语言或验证程序。
您如何选择具体的操作系统作为目标？
今天，我们将重点放在上，因为它在提供了许多有关错误的信息。
如何避免错误？
有两种选择。首先是用语言或验证器重写操作系统的一部分。该部分应重新编写安全事件补丁并保持正常运行。但是这种方法需要大量的人力资源。
其次是编写小的伪代码进行证明或验证。现在，我们正在选择这种资源较少的方法。
我们的伪代码可在以下位置找到：
语言示例
例如， 会导致编译错误，因为该代码在调用copyin之后会忘记fdrop 。这个错误发生在 。这意味着如果FreeBSD是使用ATS2语言编写的，则可以
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
