Java共享变量可见性研究(二）

代码块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的最终结果就是我们想要的了。