指令重排序也被稱為處理器的亂序執(zhí)行,在這種情況下盡管指令的執(zhí)行順序可能沒有完全按照程序順序執(zhí)行,但是由于指令的執(zhí)行結(jié)果的提交(反應(yīng)到寄存器和內(nèi)存中),仍然是按照程序順序來的,因此處理器的指令重排序并不會對單線程的正確性產(chǎn)生影響。
什么是指令重排序?
在實(shí)際運(yùn)行時,代碼指令可能并不是嚴(yán)格按照代碼語句順序執(zhí)行的。大多數(shù)現(xiàn)代微處理器都會 采用將指令亂序執(zhí)行(out-of-order execution,簡稱OoOE或OOE)的方法,在條件允許的 情況下,直接運(yùn)行當(dāng)前有能力立即執(zhí)行的后續(xù)指令,避開獲取下一條指令所需數(shù)據(jù)時造成的等 待。
通過亂序執(zhí)行的技術(shù),處理器可以大大提高執(zhí)行效率,而這就是指令重排。
指令重排序不是必然發(fā)生的,指令重排序會導(dǎo)致線程安全問題。
指令重排序也被稱為處理器的亂序執(zhí)行,在這種情況下盡管指令的執(zhí)行順序可能沒有完全按照程序順序執(zhí)行,但是由于指令的執(zhí)行結(jié)果的提交(反應(yīng)到寄存器和內(nèi)存中),仍然是按照程序順序來的,因此處理器的指令重排序并不會對單線程的正確性產(chǎn)生影響。
指令重排序不會對單線程程序的正確性產(chǎn)生影響,
但他可能導(dǎo)致多線程程序出現(xiàn)非預(yù)期結(jié)果。
測試邏輯
首先默認(rèn)為x = 0; y = 0; a = 0; b = 0;然后開啟兩個線程;
線程1執(zhí)行:a = 888; x = b;
線程2執(zhí)行:b = 888; y = a;
有且只有x = b,y = a兩個同時先執(zhí)行,才會出現(xiàn)x=y=0。
所以測試是否存在x=y=0觀察指令是否會出現(xiàn)重排現(xiàn)象。
public class OrderTest {
private static int x = 0, y = 0;
private static int a = 0, b = 0;
public static void main(String[] args) throws InterruptedException{
for(long i = 0; i < Long.MAX_VALUE; i++){
x = 0; y = 0; a = 0; b = 0;
CountDownLatch countDownLatch = new CountDownLatch(2);
Thread one = new Thread(new Runnable() {
@Override
public void run() {
a = 888;
x = b;
countDownLatch.countDown();
}
});
Thread two = new Thread(new Runnable() {
@Override
public void run() {
b = 888;
y = a;
countDownLatch.countDown();
}
});
one.start();
two.start();
//等待計數(shù)器變?yōu)?,即等待所有異步線程執(zhí)行完畢
countDownLatch.await();
if(x == 0 && y == 0){
//x=y=0 只能是x = b;y = a;這兩個先執(zhí)行
System.out.println("執(zhí)行次數(shù)"+i+"發(fā)現(xiàn)x=y=0");
break;
}
}
}
}
結(jié)果:發(fā)現(xiàn)了指令重排現(xiàn)象