确定性虚拟机靠打乱调度找出并发缺陷

开发者 speckx 称，其正在开发的 Rewind VM 是一款确定性虚拟机，主要通过在多种不同调度顺序下运行同一份代码来发现软件缺陷。仅靠打乱调度，就已找出大量问题。 文章以 AWS RDS 工作流为例：worker 心跳超时被重新分配后，旧 worker 苏醒继续执行，导致状态混乱。作者称这类 bug 并不罕见，罕见的是触发它的调度顺序；两线程 counter++ 的 20 种交错顺序中，有 18 种会丢失更新。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。