作者描述了正在构建一个确定性Hypervisor，能够运行接近默认的Linux内核而无需大量补丁。核心挑战在于并发性（线程在原子操作和互斥锁上的调度竞争）以及硬件引入的不确定性（缓存行为、时序波动）。文章解释了为何看似简单的状态机程序在大规模运行时会变得不可复现。
背景
像Antithesis这样的确定性重放/执行环境在分布式系统测试中引起了关注。构建能保证内核执行可复现的Hypervisor仍然是一个开放且充满挑战的研究与工程问题。
- 来源
- Lobsters
- 发布时间
- 2026年9月22日 08:25
- 评分
- 6.0 / 10