快捷導(dǎo)航

Java多線程并發(fā)的指令重排序問(wèn)題及volatile寫屏障原理詳解

更新時(shí)間：2024年01月11日 10:00:03 作者：好奇的7號(hào)

這篇文章主要介紹了Java多線程并發(fā)的指令重排序問(wèn)題及volatile寫屏障原理詳解,指令重排序是編譯器或處理器為了提高性能而對(duì)指令執(zhí)行順序進(jìn)行重新排列的優(yōu)化技術(shù),需要的朋友可以參考下

基礎(chǔ)知識(shí)

什么是指令重排？

指令重排序是編譯器或處理器為了提高性能而對(duì)指令執(zhí)行順序進(jìn)行重新排列的優(yōu)化技術(shù)。

對(duì)于單線程而言，有些指令可以重排，有些不能。例如：

//以下兩行交換順序，并不影響結(jié)果，可以重排
int a = 1;
int b = 2;
 
 
int c;
//以下兩行，是否重排會(huì)導(dǎo)致c的值不同，故不可以重排序
int d = 2;
int c = d;

1、多線程并發(fā)下的指令重排帶來(lái)的問(wèn)題

（1）可見性問(wèn)題

指令重排序可能導(dǎo)致一個(gè)線程對(duì)共享變量的修改在另一個(gè)線程中不可見。這是因?yàn)橹噶钪嘏判蚩梢愿淖兇a中的讀寫操作順序，使得某個(gè)線程看到的變量值不一致

例如，如下代碼會(huì)出現(xiàn)問(wèn)題：

int x = 0;
boolean flag = false;
// 線程1執(zhí)行的代碼
x = 1;
flag = true;
// 線程2執(zhí)行的代碼
if (flag) {
    System.out.println(x);
}

在沒有同步措施的情況下，由于指令重排序的存在，線程2有可能先讀取到 flag 的值為 true，然后再讀取 x 的值為 0，導(dǎo)致輸出結(jié)果不符合期望。

（2）有序性問(wèn)題

指令重排序可能破壞原有的代碼執(zhí)行順序，導(dǎo)致程序邏輯出現(xiàn)錯(cuò)誤。

int a = 1;
int b = 2;
 
// 線程1執(zhí)行的代碼
a = a + 1;
b = a * 2;
 
// 線程2執(zhí)行的代碼
if (b == 4 && a == 3) {
    // ...
}

在沒有同步措施的情況下，由于指令重排序的存在，線程1有可能先將 b 的值計(jì)算為 4，然后再計(jì)算 a 的值為 3，導(dǎo)致線程2的條件判斷不成立，出現(xiàn)邏輯錯(cuò)誤。

2、volatile解決指令重排問(wèn)題的原理

只需要規(guī)定變量是volatile類型，就可以避免指令重排的問(wèn)題，原因如下：

寫屏障

在使用 volatile 修飾的變量進(jìn)行寫操作時(shí)，編譯器或處理器會(huì)在對(duì)應(yīng)的指令之前插入寫屏障，以確保將寫入緩存區(qū)的值立即刷新到主內(nèi)存中。同時(shí)，讀操作也會(huì)受到讀屏障的影響，在讀取 volatile 變量之前，編譯器或處理器會(huì)先執(zhí)行讀屏障，以從主內(nèi)存中獲取最新的值。

這樣，通過(guò)寫屏障和讀屏障的配合，volatile 變量能夠?qū)崿F(xiàn)禁止指令重排序、保證可見性的效果，從而解決了多線程并發(fā)環(huán)境下的指令重排問(wèn)題。

到此這篇關(guān)于Java多線程并發(fā)的指令重排序問(wèn)題及volatile寫屏障原理詳解的文章就介紹到這了,更多相關(guān)Java指令重排序及volatile屏障原理內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: