java 变量共享_Java并发编程之共享变量

可见性

如果一个线程对共享变量值的修改，能够及时的被其他线程看到，叫做共享变量的可见性。

Java 虚拟机规范试图定义一种 Java 内存模型(JMM)，来屏蔽掉各种硬件和操作系统的内存访问差异，让 Java 程序在各种平台上都能达到一致的内存访问效果。简单来说，由于 CPU 执行指令的速度是很快的，但是内存访问的速度就慢了很多，相差的不是一个数量级，所以搞处理器的那群大佬们又在 CPU 里加了好几层高速缓存。

在 Java 内存模型里，对上述的优化又进行了一波抽象。JMM 规定所有变量都是存在主存中的，类似于上面提到的普通内存，每个线程又包含自己的工作内存，方便理解就可以看成 CPU 上的寄存器或者高速缓存。所以线程的操作都是以工作内存为主，它们只能访问自己的工作内存，且工作前后都要把值在同步回主内存。简单点说就是：多线程中读取或修改共享变量时，首先会读取这个变量到自己的工作内存中成为一个副本，对这个副本进行改动后再更新回主内存中。

使用工作内存和主存虽然加快了速度，但是也带来了一些问题，比如：

i = i + 1;

假设 i 初值为0，当只有一个线程执行它时，结果肯定得到1，当两个线程执行时，会得到结果2吗？这就不一定了，可能会存在这种情况：

线程1：load