volatile特性及内存语义

1.volatile变量自身具有下列特性：
·可见性：对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入。
·原子性：对任意单个volatile变量的读/写具有原子性，但类似于volatile++这种复合操作不具有原子性。

2.volatile写-读建立的happens-before关系 ：

从内存语义的角度来说，volatile的写-读与锁的释放-获取有相同的内存效果：

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　volatile写和锁的释放有相同的内存语义；

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　volatile读与锁的获取有相同的内存语义。

3.volatile写-读的内存语义 ：

写：当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存。

读：当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效。线程接下来将从主内存中读取共享变量。
 

4.总结：

·线程A写一个volatile变量，实质上是线程A向接下来将要读这个volatile变量的某个线程发出了（其对共享变量所做修改的）消息。
·线程B读一个volatile变量，实质上是线程B接收了之前某个线程发出的（在写这个volatile变量之前对共享变量所做修改的）消息。
·线程A写一个volatile变量，随后线程B读这个volatile变量，这个过程实质上是线程A通过主内存向线程B发送消息。