av一区二区在线观看_亚洲男人的天堂网站_日韩亚洲视频_在线成人免费_欧美日韩精品免费观看视频_久草视

您的位置:首頁技術(shù)文章
文章詳情頁

Java volatile如何實現(xiàn)禁止指令重排

瀏覽:11日期:2022-08-21 15:14:33

計算機在執(zhí)行程序時,為了提高性能,編譯器和處理器常常會對指令重排,一般分為以下三種:

源代碼 -> 編譯器優(yōu)化的重排 -> 指令并行的重排 -> 內(nèi)存系統(tǒng)的重排 -> 最終執(zhí)行指令

單線程環(huán)境里面確保最終執(zhí)行結(jié)果和代碼順序的結(jié)果一致

處理器在進(jìn)行重排序時,必須要考慮指令之間的數(shù)據(jù)依賴性

多線程環(huán)境中線程交替執(zhí)行,由于編譯器優(yōu)化重排的存在,兩個線程中使用的變量能否保證一致性是無法確定的,結(jié)果無法預(yù)測。

指令重排 - example 1

public void mySort() {int x = 11;int y = 12;x = x + 5;y = x * x;}

按照正常單線程環(huán)境,執(zhí)行順序是 1 2 3 4

但是在多線程環(huán)境下,可能出現(xiàn)以下的順序:

2 1 3 4

1 3 2 4

上述的過程就可以當(dāng)做是指令的重排,即內(nèi)部執(zhí)行順序,和我們的代碼順序不一樣

但是指令重排也是有限制的,即不會出現(xiàn)下面的順序

4 3 2 1

因為處理器在進(jìn)行重排時候,必須考慮到指令之間的數(shù)據(jù)依賴性

因為步驟 4:需要依賴于 y的申明,以及x的申明,故因為存在數(shù)據(jù)依賴,無法首先執(zhí)行

例子

int a,b,x,y = 0

線程1 線程2 x = a; y = b; b = 1; a = 2; x = 0; y = 0

因為上面的代碼,不存在數(shù)據(jù)的依賴性,因此編譯器可能對數(shù)據(jù)進(jìn)行重排

線程1 線程2 b = 1; a = 2; x = a; y = b; x = 2; y = 1

這樣造成的結(jié)果,和最開始的就不一致了,這就是導(dǎo)致重排后,結(jié)果和最開始的不一樣,因此為了防止這種結(jié)果出現(xiàn),volatile就規(guī)定禁止指令重排,為了保證數(shù)據(jù)的一致性

指令重排 - example 2

比如下面這段代碼

public class ResortSeqDemo { int a= 0; boolean flag = false; public void method01() { a = 1; flag = true; } public void method02() { if(flag) { a = a + 5; System.out.println('reValue:' + a); } }}

我們按照正常的順序,分別調(diào)用method01() 和 method02() 那么,最終輸出就是 a = 6

但是如果在多線程環(huán)境下,因為方法1 和 方法2,他們之間不能存在數(shù)據(jù)依賴的問題,因此原先的順序可能是

a = 1;flag = true;

a = a + 5;System.out.println('reValue:' + a);

但是在經(jīng)過編譯器,指令,或者內(nèi)存的重排后,可能會出現(xiàn)這樣的情況

flag = true;

a = a + 5;System.out.println('reValue:' + a);

a = 1;

也就是先執(zhí)行 flag = true后,另外一個線程馬上調(diào)用方法2,滿足 flag的判斷,最終讓a + 5,結(jié)果為5,這樣同樣出現(xiàn)了數(shù)據(jù)不一致的問題

為什么會出現(xiàn)這個結(jié)果:多線程環(huán)境中線程交替執(zhí)行,由于編譯器優(yōu)化重排的存在,兩個線程中使用的變量能否保證一致性是無法確定的,結(jié)果無法預(yù)測。

這樣就需要通過volatile來修飾,來保證線程安全性

Volatile針對指令重排做了啥

Volatile實現(xiàn)禁止指令重排優(yōu)化,從而避免了多線程環(huán)境下程序出現(xiàn)亂序執(zhí)行的現(xiàn)象

首先了解一個概念,內(nèi)存屏障(Memory Barrier)又稱內(nèi)存柵欄,是一個CPU指令,它的作用有兩個:

保證特定操作的順序保證某些變量的內(nèi)存可見性(利用該特性實現(xiàn)volatile的內(nèi)存可見性)

由于編譯器和處理器都能執(zhí)行指令重排的優(yōu)化,如果在指令鍵插入一條Memory Barrier則會告訴編譯器和CPU,不管什么指令都不能和這條Memory Barrier指令重排序,也就是說,通過插入內(nèi)存屏障前后的指令執(zhí)行重排序優(yōu)化。內(nèi)存屏障另外一個作用是刷新出各種CPU的緩存數(shù),因此任何cpu上的線程都能讀取到這些數(shù)據(jù)的最新版本

Java volatile如何實現(xiàn)禁止指令重排

也就是在Volatile的寫和讀的時候,加入屏障,防止出現(xiàn)指令重排線程安全得到保證

工作內(nèi)存與主內(nèi)存同步延遲現(xiàn)象導(dǎo)致的可見性問題

可以使用synchronized或volatile關(guān)鍵字解決,它們都可以使得一個線程修改后的變量立即對其他線程可見。 對于指令重排導(dǎo)致的可見性問題和有序性問題 可以利用volatile關(guān)鍵字解決,因為volatile的另一個作用就是禁止重排序優(yōu)化。

以上就是本文的全部內(nèi)容,希望對大家的學(xué)習(xí)有所幫助,也希望大家多多支持好吧啦網(wǎng)。

標(biāo)簽: Java
相關(guān)文章:
主站蜘蛛池模板: 成人久草 | 国产高清免费 | 国产二区精品视频 | 欧美极品一区二区 | 三级黄色大片网站 | 亚洲国产黄色av | 国产成人精品久久二区二区91 | 国产精品久久午夜夜伦鲁鲁 | 国产成人99久久亚洲综合精品 | 欧美精品二区 | 九一国产精品 | 久久久激情 | 91精品国产高清一区二区三区 | 日韩精品在线视频免费观看 | 看av在线 | 视频一区在线 | 在线视频中文字幕 | 在线视频一区二区 | 日韩电影中文字幕 | 日韩中文字幕在线观看 | 国产精品久久久久久模特 | 亚洲视频免费 | 午夜激情小视频 | 日韩在线视频免费观看 | 国产精品久久久久久妇女6080 | 欧美成人精品一区二区男人看 | 亚洲欧美中文日韩在线v日本 | 日韩一区二区成人 | 超碰成人在线观看 | 国产亚洲精品久久久久动 | 亚洲日本中文 | 久久精品a级毛片 | 精品视频久久久 | 亚洲一区视频在线 | 大学生a级毛片免费视频 | 久久高清 | 国产小视频自拍 | 久久久久久高潮国产精品视 | 中文字幕一区二区三区精彩视频 | 亚洲免费高清 | 国产乱码精品一区二区三区忘忧草 |