确定性虚拟机 Rewind 让 PGO 构建可复现

开发者 fzakaria 提出用确定性虚拟机 Rewind 让 PGO（profile-guided optimization）构建可复现：程序执行变成输入的纯函数，训练运行不再受 CPU、时钟和线程调度影响，profile 在多次构建间保持一致。他此前用 PGO 构建的 sqlite3 变体在 select 负载上取得 1.32x 加速，而 Python 和 GCC 的 PGO 构建在 Nixpkgs 与 Guix 中因不可复现被禁用。 该方案要求训练运行绑定到特定 CPU 厂商，构建 derivation 必须声明对应厂商；仅靠 KVM 不足以说明机器能训练该 profile，因此还需 rewind-amd。derivation 会对照 /proc/cpuinfo 检查厂商，不匹配则拒绝运行。

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

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