指令重排序案例的个人观点
2020-11-08 本文已影响0人
赵信信官属
在并发编程中,我们知道并发编程三大特性: 原子性, 可见性, 有序性
其中有序性就和指令重排序有关.
在网络上的一些教程中,讲到指令重排序时,为了验证会出现指令重排序,会使用下面这个案例代码
public class Example {
public static void main(String[] args) throws Exception {
while (true) {
Counter counter = new Counter();
Thread t1 = new Thread(() -> {
counter.a = 1;
counter.i = counter.b;
}, "线程1");
Thread t2 = new Thread(() -> {
counter.b = 1;
counter.j = counter.a;
}, "线程2");
t1.start();
t2.start();
// 使用join是为了让t1和t2线程先执行完成之后,main线程再判断i和j是否等于0
t1.join();
t2.join();
if (counter.i == 0 && counter.j == 0) {
break;
}
}
}
}
class Counter {
public int a = 0, b = 0;
public int i = 0, j = 0;
}
image.png
上面就是网络课中的答案.
我并不认同红色字体的答案,即便不发生指令重排,也会出现i=0,j=0的情况.
因为即便线程1先执行,执行完成之后,a=1,i=0,但是此时并没有将a和i的值刷新到主内存,因此线程2获取到的a的值依然是0, 所以最后i=0,j=0也会出现.并不是说只有指令重排才会出现i=0,j=0.
而且网课中会认为出现i=1,j=1的情况,我个人也不同意这个观点.
即便线程1先执行了a=1,就切到线程2执行,但是毕竟线程1还没有执行完,变量a也没有使用volatile修饰,因此线程2是看不到线程1修改后的a=1的结果.因此永远不会存在i=1,j=1的情况.