推测执行

推测执行（亦また作つく预测执行、投とう机つくえ性せい执行，英えい语：Speculative execution）是ぜ优化技わざ术的一いち类，采さい用よう这个技わざ术的计算机つくえ系けい统会かい根ね据すえ现有信しん息いき，利用りよう空そら转时间提前ぜん执行一些将来可能用得上，也可能かのう用よう不ふ上うえ的てき指令しれい。如果指令しれい执行完成かんせい后きさき发现用よう不ふ上うえ，系けい统会抛ほう弃计算さん结果，并回退すさ执行期き间造成ぞうせい的てき副作用ふくさよう（如缓存そん）。

推测执行的てき目め标是在ざい处理器き系けい统资源げん过剩的てき情じょう况下并行处理其他任にん务，實際じっさい上じょう電腦でんのう處理しょり器き在ざい工作こうさく中ちゅう，閒あいだ置おけ效能こうのう的てき這種情況じょうきょう還かえ不ふ少しょう。因よし此為了りょう充分じゅうぶん運用うんよう效率こうりつ，推测执行无处不在ふざい。流水りゅうすい处理器き的てき分ぶん支ささえ预测、数かず值预测、^[1] 预读取内ない存そん和わ文ぶん件けん、以及数かず据すえ库系统的てき乐观并发控ひかえ制せい等とう机つくえ能のう中ちゅう都と采さい用よう到いた了りょう推测执行。^[2]^[3]最終さいしゅう可か以達到いた提ひさげ高だか整體せいたい效能こうのう的てき目的もくてき。

举例

假かり设某程ほど序じょ的てき结构如下：

从网络上下じょうげ载一个数据すえA，耗时30秒びょう。
如果下か载A成功せいこう，则直接ちょくせつ给出A的てき答案とうあん。
如果下か载A失しつ败，则计算さん30秒びょう的てき算数さんすうB，并给出で这个答案とうあん。

如果没ぼつ有ゆう推测执行功こう能のう，那な么当A下しも载后发现失しつ败，那な么就要よう再さい花はな30秒びょう做算术B，总共耗时1分ふん钟。但ただし是ぜ，由ゆかり于下载过程ほど中ちゅうCPU是ぜ空そら转，CPU可か以认识到反はん正せい闲着也是闲着，不ふ如在下か载A的てき同どう时将B算出さんしゅつ。这样如果将来しょうらい需要じゅよう到いたB，就节省しょう了りょう30秒びょう的てき时间。就算不ふ需要じゅよう，丢弃B即そく可か，僅增加ぞうか些許功こう耗之外がい，也没有ゆう什么坏处。

参まいり见

参考さんこう文献ぶんけん

^ "A Survey of Value Prediction Techniques for Leveraging Value Locality （页面存そん档备份，存そん于互联网档案あん馆）", S. Mittal, Concurrency and Computation, 2017
^ Lazy and Speculative Execution （页面存そん档备份，存そん于互联网档案あん馆） Butler Lampson Microsoft Research OPODIS, Bordeaux, France 12 December 2006
^ International Business Machines Corporation. Research Division; Prabhakar Raghavan; Hadas Schachnai; Mira Yaniv. Dynamic schemes for speculative execution of code. IBM. 1998 [18 January 2011]. （原始げんし内容ないよう存そん档于2020-11-27）.

[vpvls-1] "A Survey of Value Prediction Techniques for Leveraging Value Locality （页面存そん档备份，存そん于互联网档案あん馆）", S. Mittal, Concurrency and Computation, 2017

[Lampson-2] Lazy and Speculative Execution （页面存そん档备份，存そん于互联网档案あん馆） Butler Lampson Microsoft Research OPODIS, Bordeaux, France 12 December 2006

[DivisionRaghavan1998-3] International Business Machines Corporation. Research Division; Prabhakar Raghavan; Hadas Schachnai; Mira Yaniv. Dynamic schemes for speculative execution of code. IBM. 1998 [18 January 2011]. （原始げんし内容ないよう存そん档于2020-11-27）.

[1]

[2]

[3]