java内存模式-volatile

一、volatile写-读的内存语义

定义：当写一个volatile变量时，JVM会把线程对应的本地内存中的共享变量值刷新至主内存

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

总结：

1、线程A写一个volatile变量，实质上是线程A向接下来要读volatile变量的某个线程发出消息

2、线程B读一个volatile变量，实质上是线程B接受之前某个线程发出的消息

3、线程A写一个volatile变量，随后线程B读这个volatile变量。这个过程实质上市线程A通过主内存向线程B发送消息

二、内存语义的实现

2.1、排序：

1、当第二个操作是volatile写时，不管第一个操作是什么，都不能重排序，确保volatile写之前的操作不会被编译器排序到volatile写之后

2、当第一个操作是volatile读是，不管第二个操作是什么，都不能排序，确保volatile写之前的操作不会被编译器排序到volatile写之前

3、当第一个操作写volatile写，第二个操作是volatile读是，不能重排序

2.2、JMM保守策略

在每个volatile写操作、读操作的前面和后面插入一个StoreLoad屏障