意味のない if 文で 4 倍高速化、CPU キャッシュの予測を活用した最適化術

要約

開発者が依存関係のあるループを最適化する際、CPU の命令レベル並列化を阻害する依存チェーンを分断する手法を紹介した。メモリアクセス遅延に縛られるループに対し、意味上は冗長な if 文を挿入し、分岐予測により CPU に依存性を見せなくすることで、スループット制約へ転換させた。キャストを volatile で修飾して、コンパイラの最適化を回避し、分岐予測失敗時の投機実行ロールバックで正確性を保証する。合成ベンチマークで約 4 倍の高速化を達成し、現実的なシナリオでも顕著な改善を確認した。