系统地揭露OS内核竞赛-采访Ben Blum
由雅各布Engblom
像Simics这样的全系统模拟器提供了对目标系统中正在发生的事情无与伦比的洞察力。事实上，更好的洞察力是模拟的主要特征之一，无论我们模拟什么，如何模拟。此外，如果愿意，还可以对目标系统施加控制，使其采取不同的执行路径。今年早些时候，卡耐基梅隆大学CMU的Ben Blum提交了一篇硕士论文，这篇论文提供了一个很好的例子，通过将模拟器的洞察力和控制与智能和领域知识相结合可以实现什么。该系统称为滑坡，用于在操作系统内核中公开竞争条件。
滑坡系统地探索内核的可能执行路径，以激发潜在的bug，这些bug在操作系统的实际使用中可能很少发生——但我们都知道，这样的故障往往会在关键情况下被客户发现，并迫使工程人员花费数月的时间进行繁殖尝试。
获取RSS订阅