Java线程角度的内存模型和volatile型变量

内存模型的目标是定义程序中各个变量的访问 规则，即在虚拟机中将变量（包括实例字段，静态字段和构成数组对象的元素，不包括局部变量与方法参数，因为后者是线程私有的）存储到内存和从内存中取出变量这样的底层细节。

Java内存模型规定所有的变量都存储在主内存，每条线程还有自己的工作内存，工作内存保存了被该线程使用到的变量和主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存的变量，不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

关键字volatile可以说是Java虚拟机提供的最轻量级的同步机制。

两种特性：

一.保证此变量对所有线程的可见性（指一条线程修改了这个变量的值，新值对于其他线程是可以立即得知的）

但volatile变量的运算在并发下一样是不安全的，原因是Java里的运算并非原子操作，即便如自增运算i++，也是由4条字节码指令构成。

在不符合下面场景下，仍要通过加锁（使用synchronized或java.util.concurrent中的原子类）来保证原子性。

1.运算结果不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值

2.变量不需要与其他状态变量共同参与不变约束

二.禁止指令重排序优化，普通变量仅仅保证在该方法的执行过程中，所有依赖赋值结果的地方都能获取到正确的结果，而不能保证变量赋值的操作顺序与程序代码中的顺序一致，这是“线程内表现为串行的语义”（如int A=1 int B=A int C = 1，B依赖于A的值，所以它只能在A赋值之后运行，但C不依赖于其他变量，所以它在A赋值前或者B赋值前后运行都是可以的）

如果应用场景需要一个更大范围的原子性保证，内存模型 提供lock和unlock操作来满足这种需求，尽管虚拟机未把lock和unlock操作直接开放给用户使用，但却提供了更高层次的字节码指令monitorenter和monitorexit来隐式地使用这两个操作，对应到Java代码就是同步块，synchronized关键字。