如何 方法内指令重排 进制_谈谈指令重排
這個(gè)知識(shí)點(diǎn)也是很多人說不清道不明的地方,感覺都知道,說又說不出來。為什么會(huì)這樣呢?因?yàn)檫@幾個(gè)字,很容易被當(dāng)成動(dòng)詞去理解,其實(shí)正確的理解是當(dāng)成名詞,即指令重排現(xiàn)象。那什么時(shí)候會(huì)產(chǎn)生指令重排現(xiàn)象呢?兩個(gè)階段:1、編譯期;2、運(yùn)行期。
編譯期指令重排
解釋型語言是在運(yùn)行期間執(zhí)行編譯+運(yùn)行動(dòng)作,所以運(yùn)行效率較編譯型語言低。Java既可以作為解釋型語言去用,也可以作為編譯型語言。但是主流的做法是當(dāng)成編譯型語言在用。那Java在編譯期做了指令重排優(yōu)化嗎?做了哪些優(yōu)化?能不能讓我看看?為了滿足大家的好奇,安排。
這里先解釋下編譯期:像c/c++只有一個(gè)編譯期,就是調(diào)用gcc命令將c/c++代碼編譯成匯編代碼。但是Java中有兩個(gè)編譯期:1、調(diào)用javac命令將Java代碼編譯成Java字節(jié)碼;2、Unix派系平臺(tái)上調(diào)用gcc命令將openjdk源碼編譯成匯編代碼。網(wǎng)上所有的文章都是在講第一種,而且都是講概念,以訛傳訛。我這篇文章不僅兩種都講,還都用代碼+圖片的方式證明給你看。所以想學(xué)底層,不找一個(gè)靠譜的師傅是學(xué)不會(huì)學(xué)不明白的,因?yàn)榈谝荒悴恢肋@個(gè)知識(shí)點(diǎn)牽扯得有多深,第二兩個(gè)觀點(diǎn)擺在你面前,你不知道哪個(gè)對(duì)那個(gè)錯(cuò)。
這里我先把結(jié)論給大家吧:編譯期間,Java中所謂的指令重排主要是說編譯openjdk時(shí)的指令重排,將Java代碼編譯成Java字節(jié)碼是沒有做指令重排的。即你加不加volatile,生成的字節(jié)碼文件是一樣的。是不是顛覆了你對(duì)這塊的認(rèn)知呢!不信?看案例。
可能有人要問了,如果加不加volatile生成的字節(jié)碼文件都一個(gè)樣,那在運(yùn)行的時(shí)候JVM是怎么知道的呢?類屬性在JVM中存儲(chǔ)的時(shí)候會(huì)有一個(gè)屬性:Access flags。JVM在運(yùn)行的時(shí)候就是通過該屬性來判斷操作的類屬性有沒有加volatile修飾,上圖。
1、上神秘代碼
public class Test3 {
public static /* volatile */ int found = 0;
public static void main(String[] args) {
new Thread(new Runnable() {
public void run() {
System.out.println("等基友送筆來...");
while (0 == found) {
}
System.out.println("筆來了,開始寫字...");
}
}, "我線程").start();
new Thread(new Runnable() {
public void run() {
try {
Thread.sleep(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("基友找到筆了,送過去...");
change();
}
}, "基友線程").start();
}
public static void change() {
found = 1;
}
}
稍微解釋下這段代碼:有兩個(gè)線程:我線程、基友線程。『我線程』通過死循環(huán)阻塞在那里等待『基友線程』找到筆送過來,然后開始寫字。『基友線程』等待一會(huì)就去找筆,找到了就送過去。
2、編譯成Java字節(jié)碼(沒加volatile)
3、編譯成Java字節(jié)碼(加了volatile)
可以發(fā)現(xiàn)加不加volatile,生成的字節(jié)碼是一樣的。
4、編譯器優(yōu)化
指令重排是編譯器優(yōu)化中的一種,編譯openjdk是啟用了O2級(jí)編譯器優(yōu)化,如圖。
O2級(jí)優(yōu)化做了哪些優(yōu)化?比如優(yōu)化無效代碼、編譯期完成簡(jiǎn)單運(yùn)算、處理編譯期屏障……那gcc有多少級(jí)優(yōu)化?有興趣的童鞋可以自行學(xué)習(xí),百度搜索關(guān)鍵詞:-O2。
優(yōu)化無效代碼,看圖(我就不貼C++代碼了)
運(yùn)行期指令重排
不知道大家有沒有聽過一個(gè)詞:CPU亂序執(zhí)行。亂序執(zhí)行是相對(duì)于順序執(zhí)行來說的。計(jì)算機(jī)剛被發(fā)明的時(shí)候都是順序執(zhí)行,后來為了提升CPU運(yùn)行效率,升級(jí)成了亂序執(zhí)行。那為什么亂序執(zhí)行就提高了運(yùn)行效率呢?有興趣的童鞋可以去研究下,關(guān)鍵詞:指令流水線。所以計(jì)算機(jī)這行,如果你覺得大學(xué)學(xué)的那些基礎(chǔ)知識(shí)不重要,你看我的文章就明白有多重要。這行走到最后較量的就是這些東西,就是看誰研究得更深入更底層更明了。
因?yàn)楝F(xiàn)在的CPU都是采用亂序執(zhí)行,這樣在運(yùn)行程序的過程中就帶來了指令重排的現(xiàn)象。這是在運(yùn)行期,在CPU內(nèi)部發(fā)生的,我就沒辦法證明給你看了。但就算是亂序執(zhí)行提高了效率,那也不能改變我程序的意愿,這就引出了一個(gè)概念:as-if-serial。
何謂as-if-serial呢?簡(jiǎn)單的說就是不管你在編譯期或者在運(yùn)行期怎么做指令重排,單線程環(huán)境下程序的執(zhí)行結(jié)果不能改變。說白了這是指令重排的底線,是必須遵守的規(guī)范。那如何保證呢?這就引出了另外兩個(gè)難以理解的知識(shí)點(diǎn):happens-before、內(nèi)存屏障。
happens-before是做什么的呢?簡(jiǎn)單的說就是告訴寫JVM的人,你寫JVM的時(shí)候要遵循這幾條規(guī)則,這幾條規(guī)則是你JVM默認(rèn)要做到的,而不用程序猿在寫代碼的時(shí)候需要去想去做控制。比如對(duì)象的初始化動(dòng)作一定要先于finalize方法執(zhí)行前完成。其他幾個(gè)規(guī)則我就不細(xì)說了,都很好理解,童鞋們自行去學(xué)習(xí)下。
有些流程的順序是可以提前知曉并確定下來,但有些流程的順序是無法提前知曉的,比如你公司的業(yè)務(wù),寫JVM的人肯定不知道,所以依然需要程序猿根據(jù)業(yè)務(wù)需要來控制,那從JVM層面來說,我給你提供機(jī)制。內(nèi)存屏障就是這種機(jī)制中的一種,其他的還有各種鎖。關(guān)于內(nèi)存屏障,我之前已經(jīng)寫了一篇文章深入講解了這塊,有興趣的同學(xué)可以去看看。子牙老師:聊聊內(nèi)存屏障?zhuanlan.zhihu.com
結(jié)
至此,指令重排就算講明白了,不曉得童鞋們有么有看明白、理解到位。
子牙老師喜歡分析硬核文章,都會(huì)在個(gè)人公眾號(hào)(啟明南)首發(fā)。想第一時(shí)間獲得通知嗎?那就關(guān)注一波吧。
總結(jié)
以上是生活随笔為你收集整理的如何 方法内指令重排 进制_谈谈指令重排的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: php 调用扫描仪,如何从浏览器中触发扫
- 下一篇: oracle连接数达不到上限,Oracl