引言

青蛙見了蜈蚣，好奇地問："蜈蚣大哥，我很好奇，你那么多條腿，走路的時候先邁哪一條??？"

蜈蚣聽后說："青蛙老弟，我一直就這么走路，從沒想過先邁哪一條腿，等我想一想再回答你。"

蜈蚣站立了幾分鐘，它一邊思考一邊向前，蹣跚了幾步，終于趴下去了。

它對青蛙說：“請你再也別問其它蜈蚣這個問題了！我一直都在這樣走路，這根本不成問題！可現(xiàn)在你問我先移動哪一條腿，我也不知道了。搞得我現(xiàn)在連路都不會走了，我該怎么辦呢？”

這個小故事屬實(shí)反映了我最近的心態(tài)：

越學(xué)越不會了。。。

本來synchronized和volatile關(guān)鍵字用得好好的，我非要深入研究一下他們的原理，所以研究了內(nèi)存屏障，又研究了和內(nèi)存屏障相關(guān)的MESI，又研究了Cache Coherence和Memory Consistency，發(fā)現(xiàn)一切問題都出在CPU身上。于是又驚嘆Java一次編寫到處運(yùn)行的特性，最終又研究到JMM。

說是研究，其實(shí)就是把學(xué)習(xí)過程中自己拋出來的問題解決掉，把所有知識穿成一條線罷了。

這條線的線頭就從指令的亂序執(zhí)行開始了。

經(jīng)典的指令亂序執(zhí)行的原因有兩種，分別是Compiler Reordering和CPU Reordering。

1. Compiler Reordering

編譯器會對高級語言的代碼進(jìn)行分析，如果它認(rèn)為你的代碼可以優(yōu)化，那么他會對你的代碼進(jìn)行各種優(yōu)化然后生成匯編指令。當(dāng)然，本文說的優(yōu)化主要是指令重排（Compiler Reordering）。

但是編譯器的優(yōu)化必須滿足特定的條件，一個非常重要的原則就是as-if-serial語義：

Allows any and all code transformations that do not change the observable behavior of the program.

編譯器必須遵守as-if-serial語義，也就是編譯器不會對存在數(shù)據(jù)依賴關(guān)系的操作做重排序，因?yàn)檫@種重排序會改變執(zhí)行結(jié)果。 但是，如果操作之間不存在數(shù)據(jù)依賴關(guān)系，這些操作就可能被編譯器和處理器重排序。

我們用非常簡單的C++代碼舉個例子（因?yàn)榫幾g更簡單，看起來也更直觀）。

int a,b,c;
void bar()
{
        a = c + 1;
        b = 1;
}
int main()
{
        bar();
        return 0;
}

我們對這段代碼進(jìn)行變異，讓編譯器在O2級別優(yōu)化的情況下編譯代碼，我截取其中的bar()的匯編代碼，如下所示：

_Z3barv:
.LFB0:
        .cfi_startproc
        endbr64
        movl    $1, b(%rip)      #將1的值賦給b，即b = 1
        movl    c(%rip), %eax    #將c的值放到寄存器%eax中
        addl    $1, %eax         #將寄存器%eax的值+1，即c + 1
        movl    %eax, a(%rip)    #將寄存器%eax的值賦給a，即a = c + 1
        ret

我們發(fā)現(xiàn)，編譯得到的匯編代碼和我們原本的C語言代碼順序并不一致。

匯編指令先執(zhí)行了b = 1，之后才執(zhí)行了a = c + 1。說明變量a和b的store操作并沒有按照他們在程序中定義的順序來執(zhí)行。

既然匯編指令被重排了，CPU的執(zhí)行順序自然是根據(jù)匯編指令對應(yīng)的機(jī)器指令執(zhí)行的，大概率也會被重排。其實(shí)除此之外，CPU本身也會對指令進(jìn)行重排（CPU Reordering）。

2. CPU 流水線

談及處理器必談及流水線，處理器的流水線結(jié)構(gòu)是處理器微架構(gòu)最基本的一個要素，也是造成CPU Reordering的主要因素。

2.1. 從汽車裝配談起

流水線的概念始于工業(yè)制造領(lǐng)域，但是鑒于大部分人其實(shí)都沒接觸過流水線，我們不妨舉一個汽車生產(chǎn)的例子來解釋流水線的誕生。

我們首先粗淺地認(rèn)為汽車的裝配需要兩個步驟：

• 制作零件：制作車身外殼、發(fā)動機(jī)和各種其他部件；
• 組裝：將各零部件（自己制作和外采的所有零部件）組裝成車。

假設(shè)一個工人進(jìn)行每個步驟都占用1個月，如果不采用流水線，而采用串行方式來執(zhí)行的話，一年時間可以裝配6輛汽車，過程見下圖：

串行的效率實(shí)在是太有限了，根本原因就是裝配的兩個步驟都是由一個人完成的。如果有人能在組裝進(jìn)行的同時制作零件，效率會大大提升，也就是每個流程只專注一件事情，我們再引入一個工人。

這樣一個人專門負(fù)責(zé)制作零件，另一個人專門組裝零件，兩個工作交疊進(jìn)行，過程見下圖：

增加一個人手之后，除了第一個月，每一個月都有完整的制作零件和組裝流程，因此一年內(nèi)可以完成11臺汽車的裝配（相比于串行方式的6臺，幾乎翻倍了），從第二年開始，每年就能裝配12臺了（直接翻倍）。

這個過程就是流水線的執(zhí)行過程，因?yàn)槲覀儼哑嚨闹谱鬟^程分成了兩個步驟，因此以上流水線成為二級流水線。

我們繼續(xù)優(yōu)化，我們將制作零件的步驟分成時間周期更短的沖壓和焊接兩步，將組裝步驟分為時間周期更短的涂裝和總裝兩步，并且假設(shè)每個步驟的時間周期為0.5個月。

當(dāng)然嘍，我們得再雇傭倆人。

現(xiàn)在就是四級流水線了，神奇的事情發(fā)生了，四級流水線使得原本需要一年時間的任務(wù)現(xiàn)在只需要4.5個月便可以完成，再次提升了效率。如下圖所示：

2.2. 現(xiàn)代CPU的流水線

現(xiàn)代 CPU 支持多級指令流水線，例如支持同時執(zhí)行 取指令 - 指令譯碼 - 執(zhí)行指令 - 內(nèi)存訪問 - 數(shù)據(jù)寫回的處理器，就可以稱之為五級指令流水線。

這時 CPU 可以在一個時鐘周期內(nèi)，同時運(yùn)行五條指令的不同階段，其中每個階段的都占用一個或多個指令周期（CPU以執(zhí)行時間最長），本質(zhì)上，流水線技術(shù)井不能縮短單條指令的執(zhí)行時間，但它變相地提高了指令的吞吐率。

上面的CPU流水線圖并非特定型號的CPU的示例，而是為了說明幾個問題特意畫成了這個樣子。

• 通常而言，CPU設(shè)計(jì)者會選擇執(zhí)行時間最長的流水線階段作為一個時鐘周期，這樣能保證其他階段能在一個時鐘周期內(nèi)完成，避免出現(xiàn)流水線斷流。
• 每一個流水線級的時間都是一個時鐘周期，但是其中實(shí)際操作的時間，可能短于一個時鐘周期。比如譯碼器其實(shí)就是一個組合邏輯電路，門延遲很低，就不需要一個完整的時鐘周期就能完成自己的任務(wù)，任務(wù)完成之后CPU其實(shí)是在“等待”。

很多人可能會問，既然流水線這么好用，那為什么CPU設(shè)計(jì)者不設(shè)計(jì)一個超長流水線呢？這就需要說明一下超長流水線的瓶頸了。

3. 超長流水線的瓶頸

3.1. 性能瓶頸

流水線長度的增加，是有性能成本的。

每一級流水線的輸出都需要放在流水線寄存器中，然后再下一個時鐘周期，交給下一個流水線級去處理。每增加一級流水線，就要多一級寫入流水線寄存器的操作。

以多線程為例，數(shù)量合適的多線程會提高數(shù)據(jù)的處理速度，但是當(dāng)線程數(shù)量太多，線程之間的時間切換成本就無法被忽視，線程的增加甚至可能成為性能提升的負(fù)擔(dān)。

3.2. 功耗瓶頸

提升流水線的深度，需要同步提高CPU的主頻。再看一下這個圖：

由于流水線的每一級被分得特別細(xì)，甚至有的還沒有完全占滿單個時鐘周期，也就意味著單個時鐘周期內(nèi)能完成的事情變少了，因此只有提升主頻，CPU 在指令的響應(yīng)時間這個指標(biāo)上才能保持和原來相同的性能。

提升主頻和流水線深度就以為這晶體管的增加，也就以為這功耗變大。

沒人想擁有一臺“充電3小時，辦公20分鐘”的一臺筆記本電腦吧。

3.3. 指令亂序

還是以上面的圖為例（就不再貼一遍了），指令1的訪存操作使用了多個時鐘周期，導(dǎo)致指令2和指令3在指令1之前完成了。

如果是一般的代碼還好，但如果是具有依賴性的代碼，比如：

float a = 3.14159 * 0.2; // 指令1
float b = a * 2;         // 指令2
float c = b + 1;         // 指令3
float d = 10;            // 指令4

指令1、2、3的執(zhí)行順序就絕不能向圖中表示的那樣亂序執(zhí)行。其中有兩點(diǎn)需要我們注意：

• 由于上圖中情形的存在，導(dǎo)致CPU確實(shí)有可能出現(xiàn)亂序執(zhí)行的情況；
• CPU需要阻止具有依賴關(guān)系的指令亂序執(zhí)行（指令1，2，3），轉(zhuǎn)而讓后續(xù)沒有依賴關(guān)系的指令（指令4）先執(zhí)行。

對于第2條，如果流水線只有5級還好說，CPU自然有辦法判斷哪些指令具有依賴性，并拒絕做出指令亂序。但是如果有20條流水線，CPU肯定還有辦法判斷，但是可想而知，這種判斷勢必會影響CPU的性能。

回到本文一開始說的編譯器指令重排序，當(dāng)然嘍，也包含Java的JIT將字節(jié)碼編譯成機(jī)器碼時的指令重排序，就是為了把沒有依賴關(guān)系的指令放一起，本質(zhì)上都是為了適配CPU，更好地發(fā)揮出CPU流水線的功能，從而提升性能罷了。

4. 總結(jié)

說了這么多，很可能在我之后的文章中被一句話帶過。

其實(shí)我想表達(dá)的思想就是，實(shí)際代碼運(yùn)行的順序可能和我們代碼編寫的順序并不一致。記住這句話很容易，但或許總會有人像我一樣想稍微深入一點(diǎn)來了解這句話的本質(zhì)吧。

除了本文所述，CPU和高速緩存之間的交互過程中，硬件工程師也著實(shí)給軟件開發(fā)者挖了不少坑，內(nèi)存屏障就是在這種背景下產(chǎn)生的。

以上就是java開發(fā)CPU流水線與指令亂序執(zhí)行詳解的詳細(xì)內(nèi)容，更多關(guān)于java CPU流水線指令亂序執(zhí)行的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論