from mosaic import *
OS2023(12)
Changelog & 反馈
背景回顾:当我们在写程序的时候,我们其实是在写 bug。时至今日,我们还没有有效、方便的技术能帮助我们快速构建可靠的软件系统。然而并发 bugs “若隐若现” 的特性又导致它们经常逃脱开发人员的掌控。
本讲内容:常见的并发 bugs
slideshow('12.1')
这个事故告诉我们:在安全攸关的系统中,独立的防护模块是必不可少的。依据调试理论,即便不是安全攸关的系统,独立于程序实现的逻辑检查 (assertions) 可以在软件造成问题之前 fail fast。
slideshow('12.2')
model('m/deadlock-aa.py', check=True)