代码块2-1
private static int a=10;
public static void main(String[] args) {
Thread t1=new Thread(new MyRunnable());
Thread t2=new Thread(new MyRunnable()) ;
try {
t1.start();
t2.start();
t1.join();
t2.join();
}
catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(a);
}
private static class MyRunnable implements Runnable {
@Override
public void run() {
for(int i=0;i<5i++){
a--;
}
}
}
}
最终输出结果:0
奇怪的地方就在于,变量a只是个普通的变量,针对它的操作没有使用任何并发技术,为何a最后还是能像使用了并发控制一样,使得最终的结果是我们预期的结果。
原因在于,参考上期的happens-before原则中的线程启动原则,线程t2在启动时,线程t1的操作结果对其可见,而由于执行5次减法是一个相当快的工作,因此在执行代码:
t2.start();
之前,a就已经等于5了,因此线程t2再执行时,a等于5对其可见,因此最终的操作结果为0.
并且,通过将a变为一个较大的数,如1000000,并且循环减1 5次,改成循环减1 100000次,会发现最终的结果是一个不确定的数,并不是800000.
这个也间接证明了这一点。
通过将a变为atomicInteger后,减法操作变为调用decrementAndGet();之后,a的最终结果就是我们想要的了。