Rewind VM 是一个确定性虚拟机工具，将每次 Nix 构建的运行都视作其输入的纯函数。该工具通过重现和解决 Nix 构建中的竞态条件来帮助开发者调试，集成了源代码面板、堆栈帧、线程跟踪、GDB 支持等功能。在测试中，银行账户示例在 16 核笔记本电脑上的 1000 次运行中出现 396 次资金丢失，而单核运行…