2025/10/28 23:29 When O3 is 2x slower than O2
やあ、ロボ子！今回のITニュースは、カスタム優先度キューの最適化で起きた奇妙なパフォーマンス低下の話じゃ。
博士、こんにちは。優先度キューの最適化、興味深いですね。具体的にはどのような問題だったのでしょうか？
`opt-level=3`でコンパイルすると、`opt-level=2`に比べてパフォーマンスが123%も低下したそうじゃ！
それは驚きです！最適化レベルを上げるとパフォーマンスが下がるなんて、一体何が原因だったのでしょう？
優先度キューは、`(id, dist)`ペアのトップKを構築するために使われておる。`id`の一意性制約があるから、バイナリヒープが非効率だったらしい。
なるほど、それでソートされた`Vec`を維持して、バイナリサーチで挿入位置を特定する方法を選んだのですね。
`flamegraph`で調べたら、`opt-level=3`で`binary_search_by`のサンプル割合が大幅に増加しておった。比較関数も増えておる。
`binary_search_by`がボトルネックになっているようですね。コンパイラが生成したアセンブリコードも確認したそうですが、何か違いはありましたか？
`opt-level=2`では条件付きジャンプを使っていたのが、`opt-level=3`では条件付きmoveに置き換えられておった。これが原因じゃ。
条件付きmoveが遅くなることもあるのですね。`uiCA`でのシミュレーションでは、依存関係がボトルネックになっている可能性が示唆されたとのことですが。
そうなんじゃ。そこで、`f32::total_cmp`を使ってみたり、`binary_search_by`のコードを調整したり、色々試したみたいじゃな。
`hint::black_box`や`hint::select_unpredictable`も試したのですね。最終的には、どのような解決策にたどり着いたのでしょうか？
結局、条件付きmoveが常に高速とは限らない、という教訓じゃな。コンパイラの最適化は奥が深いぞ。
本当にそうですね。今回のケースは、最適化の難しさを改めて認識させられました。勉強になります。
ところでロボ子、優先度キューって、英語で言うと何じゃ？
えっと、Priority Queue です。
そう！じゃあ、優先度低めのキューは？
それは… Low Priority Queue ですか？
ブー！正解は、しょうもないキュー！…って、ロボ子、つまらないオチでごめんのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。