在接触多线程的过程中,都会接触到volitile关键字,作用是禁止cpu指令重排序,和保证线程间的可见性。
如何验证cpu存在指令重排序的呢?
国外有个哥们用C做过实验,这里用java做一次
https://preshing.com/20120515/memory-reordering-caught-in-the-act/
/**
* 测试cpu的指令重排序功能(乱序执行)
* @author Administrator
*/
public class ThreadVolitile {
private static int a = 0, b = 0;
private static int x = 0, y = 0;
public static void main(String[] args) {
try {
int i = 0;
for (; ; ) {
i++;
a = 0;
b = 0;
x = 0;
y = 0;
Thread thread = new Thread(new Runnable() {
@Override
public void run() {
a = 1;
x = b;
}
});
Thread thread1 = new Thread(new Runnable() {
@Override
public void run() {
b = 1;
y = a;
}
});
// 按预期,无论2个线程如何执行,x,y不可能同时为0;
thread.start();
thread1.start();
thread.join();
thread1.join();
if (x == 0 && y == 0) {
System.out.println("执行第" + i + "次," + "指令重排序");
break;
}
}
} catch (Exception e) {
System.out.println(e.getMessage());
}
}
}
执行结果:
测试的依据是2个线程运行时,其结果只有以下几种情况
同时执行==》a=1,b=1,x=1,y=1
线程1先执行==》a=1,b=1,x=0,y=1
线程2先执行==》a=1,b=1,x=1,y=0
无论哪个线程先执行,都不可能出现,x,y同时等于0的情况
---------------------------------------------------------------------------------------------------------
有人可能会觉得是主线程比其他2个线程执行的快,所以这时候x,y的值都是0
这里说明下Thread.join()的作用:
简单说明以下,就是等待当前线程结束,才会继续执行后面的代码。
如果还有疑惑,可以在判断条件里加上
&&(a==1||b==1),保证验证结果一定是2个线程优先执行。
禁止指令重排序,只需要在4个变量前加上volatile关键字。重新运行程序测试,几个小时都没有出现x=0,y=0情况。
未加的情况,本机运行10w次左右就会出现一次。