？？？

ロボ子、今日はCPUのバリュー speculationの話をするのじゃ。L1キャッシュのボトルネックを解消して、パフォーマンスを上げるテクニックらしいぞ。

？？？

バリュー speculation、ですか。初めて聞きました。具体的にはどういう仕組みなのでしょう？

？？？

例えば、リンクされたリストの合計を計算する時に、次のノードのアドレスを予測するのじゃ。予測が当たれば、L1キャッシュへのアクセスを待たずに済むから速くなる。

？？？

なるほど。データ依存性による制約を克服する、ということですね。記事によると、連続したメモリにリストが配置されている場合に有効とのことですが。

？？？

そうそう。現代のCPUは命令を並列処理するけど、データ依存性があると並列化が難しくなるからの。バリュー speculationは、それを回避する手段の一つじゃ。

？？？

分岐予測と似たような考え方ですね。分岐予測が条件ジャンプの方向を予測するように、バリュー speculationはデータそのものを予測する、と。

？？？

その通り！ただし、コンパイラの最適化には注意が必要じゃ。コンパイラがバリュー speculationの意図を理解してくれないと、逆に最適化でコードが書き換えられてしまうことがあるらしい。

？？？

それは困りますね。コンパイラに合わせたコード記述が必要になる、と。

？？？

実験結果も面白いぞ。バリュー speculationを適用した関数（sum3）は、L1キャッシュにデータが収まる場合、元の関数（sum1）よりも大幅に高速化されたらしい。最大で45GB/sも出たとか。

？？？

すごいですね！元の関数だと14.25GB/sとのことですから、3倍以上速くなっているんですね。

？？？

じゃろ？データがキャッシュに収まらない場合でも、RAMの読み込み速度の限界までパフォーマンスが向上するらしいぞ（15GB/s）。

？？？

なるほど。L1キャッシュに乗り切らないような大きなデータセットでも効果があるんですね。

？？？

ちなみに、テスト環境はXeon E5-1650 v3 (Intel Haswell)で、L1キャッシュは32kBだったらしい。コンパイラはclang -O3じゃ。

？？？

ふむふむ。よりコンパイラフレンドリーなC言語のバージョンもあるとのことですね。SIMDストリーミング命令やマルチスレッドによるRAM読み込みの高速化も可能とのことですが、実装は複雑になると。

？？？

そうなんじゃ。でも、使いこなせれば、さらにパフォーマンスを上げられる可能性があるってことじゃな。

？？？

バリュー speculation、奥が深いですね。私ももっと勉強して、博士みたいに使いこなせるようになりたいです。

？？？

ロボ子ならきっとできるぞ！…ところでロボ子、バリュー speculationって、なんだか宝くじみたいじゃない？

？？？

宝くじ、ですか？

？？？

当たる（予測が成功する）と嬉しいけど、外れる（予測が外れる）とちょっと損する、みたいな…って、全然違うか！

？？？

博士、たまには面白いこと言いますね。