STOKE 用随机搜索超优化机器码,早期剪枝省算力

lauriewired · x · 2026-10-13

安全研究者 lauriewired 介绍了斯坦福的 STOKE 超优化器：通过随机改动程序的汇编指令来搜索最优机器码——99% 以上的随机变体是错误的，但偶尔能找到远超编译器的结果。

他补充：STOKE 并非纯瞎搜，它会尽早拒绝看起来糟糕的候选分支以节省算力，把更多计算花在有希望的路径上。「把随机性本身当作一种计算/优化器」仍是非常反直觉的思路。配图展示 STOKE 看穿 gcc -O3 对循环取值的生硬翻译，用条件移动指令重新发现了更简洁直观的算法。