昨天看到伯樂在線的一篇文章 《為什么處理有序數組比無序數組快？》 提到了分支預測，然后放狗搜了一下。試著說說我的理解。

百科上解釋分支預測是 解決處理分支指令（if-then-else)導致 流水線 失敗的數據處理方法，由CPU來判斷程序分支的進行方向，能夠加快運算 速度 。

現在的CPU都是流水線型處理指令，比如執行指令順序是A->B->C，在執行A指令的同時會譯碼B指令，同時讀取C指令。這樣可以加快指令執行速度。但是條件判斷語句會破環流水線過程，CPU無法確定下一條指令。所以引入分支預測，一般來說有50%的正確率，其實就是瞎蒙。

不過有兩種預測方法可以改進預測準確率：1.靜態分支預測和動態分支預測。

1.靜態分支預測：

簡單的方法就是任選，和上面說的一樣，準確率50%。更先進的方法是通過統計之前運行的指令結果來跳轉指令。

2.動態分支預測：（還沒理解）

最簡單的動態分支預測策略是分支預測緩沖區（Branch Prediction Buff)或分支歷史表(branch history table)。

?

用途：

知道分支預測有什么好處呢？

比如如下代碼

? 1 if (t1 == 0 && t2 == 0 && t3 == 0 ) ?

每個條件都單獨預測，速度會慢很多。通過以下的代碼可以提高分支預測能力

? 1 if ((t1 | t2 | t3) == 0 )

更多的例子，需要以后多注意發掘

PS:在x64機器上的GCC?4.6.1?中使用-O3或者-ftree-vectorize參數可以生成條件轉移指令。因此是沒有區別的，他們都飛快的。

以上

分支預測