JAVA 内存模型-内存可见性

Java Memory Model (JAVA 内存模型）描述线程之间如何通过内存(memory)来进行交互。主要有两个原则，一个是线程不能直接操作主内存，一个是每个线程只能操作工作内存。换句话说，JVM内存分为两种，主存区和工作内存区。主内存对所有线程共享，工作内存只对所属线程开放，线程之间不能直接互相访问，变量在程序中的传递依赖主存来完成。

内存可见性
通过对java内存模型的理解，内存的可见性，是指共享变量在主存中对线程是可见的，在工作内存中对其他线程不可见。共享变量需要通过从主内存复制到工作内存，再从工作内存刷新到主内存，以此来实现多线程之间的内存共享。 
内存可见性机制
volatile和Synchronized关键字
JMM关于synchronized的两条规定：

1. 线程解锁前，必须把共享变量的最新值刷新到主内存中
2. 线程加锁时，先清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新读取最新的值。

这样，线程解锁前对共享变量的修改在下次加锁时对其他线程可见。
volatile通过强势刷新实现共享变量的可见性，防止指令从排序来实现共享变量内存的有序性

volatile使用变量指令规则：read,load,use工作必须连续出现。assign,store,write必须连续出现。由于每次读取前必须先从主内存刷新最新的值；每次写入后必须立即同步会主内存当中。因此任何线程总是能读取共享变量的最新值，总是能将共享变量的最新值刷回主存。volatile实现共享变量可见性有一个条件，一个是对共享变量的操作必须具有原子性。什么意思呢简单的说就是一个线程对volatile变量的操作必须实施只读或者只写。例如num++，这样的非原子操作就可能出现脏数据。如果线程A，线程B同时读取num，这个时候线程A对num做自加，线程B也对num做了自加，那么num只会是自加一次的结果。