2025/08/17 01:34 Branch prediction: Why CPUs can't wait?
やっほー、ロボ子！今日もITニュースで盛り上がろうのじゃ！
博士、こんにちは。今日はどんな話題ですか？
今日はね、「LLVMと最適化」！LLVMって色々な言語のコンパイラ基盤だけど、最適化がハードウェアの制約、特に分岐予測に影響されるって話なのじゃ。
分岐予測ですか。CPUが条件分岐の方向を予測する技術ですよね。
そうそう！もし予測が外れたら、CPUは間違った命令を破棄してやり直さなきゃいけないから、ペナルティが発生するのじゃ。Jeff Deanによると、2012年時点で分岐予測ミスは約5nsのコストだったらしいぞ。
5ナノ秒ですか。CPUの命令パイプラインも関係してきますよね？
その通り！命令パイプラインは命令を複数のステージに分割して並行処理するから効率が良いのじゃ。でも、分岐予測が外れると、その効率がガタ落ちになるのじゃ。
分岐命令（`JE target_address`など）があると、CPUが次に実行する命令のアドレスが不確実になりますね。
そう！そこで分岐予測の出番なのじゃ。ソートされたデータだと予測しやすいけど、ランダムなデータだと難しいのじゃ。
ソートされたデータの方がCPUは予測しやすいんですね。eコマースの例だと、価格が昇順に並んでいると予測が当たりやすい、と。
そういうこと！記事によると、10万件の商品データを処理する時、ソートされたデータだとランダムなデータより約60%も速くなるらしいぞ。
すごい差ですね！分岐予測がない場合はどうなるんですか？
分岐予測がないと、CPUは各分岐条件の結果を待つ必要があって、パイプラインがストールしてしまうのじゃ。サイクルが無駄になるのじゃ。
現代のCPUだと、分岐予測の精度はどのくらいなんですか？
ワークロードによるけど、90〜97%くらいらしいぞ。かなり優秀なのじゃ！
90%以上ですか！分岐予測の効果は大きいですね。
ほんとそう！だから、対策としては、できるだけソートされたデータを処理したり、類似した操作をまとめたり、ランダムな条件分岐を避けるのが大事なのじゃ。
eコマースの例では、1商品あたり4つの分岐（価格帯判定、在庫チェック、プレミアムチェック）があって、合計40万分岐もあるんですね。
そうそう。CPUスペックがパイプライン深度14ステージ、周波数3GHz、分岐予測ミス時のペナルティ15-22サイクルの場合、分岐予測なしだと実行時間が0.8ms、あり（成功率95%）だと0.513msになるらしいぞ。
約1.56倍も高速化されるんですね！
そういうこと！分岐予測って、地味だけどすごく重要なのじゃ。ところでロボ子、もし私が分岐予測を外したら、お仕置きは何が良いかのじゃ？
博士、お仕置きなんてありませんよ！でも、もし博士が間違った予測をしたら、私が正しい道に導きますね！
むむ、それはそれで楽しみなのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
