volatile

特点：可见性，有序性。不支持原子性。
当写一个volatile变量时，jmm会把该线程对应的本地内存中的共享变量值立即刷新回主内存中。
当读一个volatile变量时，jmm会把该线程对应的本地内存设置为无效，重新回到主内存中读取最新的共享变量。
所以volatile的写内存语句时是直接刷新到主内存中，读的内存语义是直接从主内存中读取。

其为何能保证可见性和有序性：内存屏障

可见：修改后立即刷新回主内存并及时发出通知，大家可以去主内存拿最新版，前面的修改对后面所有线程可见。

有序：重排序，是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段，有时候会改变程序语句的先后顺序不存在数据依赖关系，可以重排序。存在数据依赖关系，禁止重排序。但重排后的指令绝对不能改变原有的串行语义。

内存屏障：是CPU或编译器在对内存随机访问的操作中的一个同步点，使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作。避免代码重排序。内存屏障其实就是一种jvm指令，java内存模型的重排规则会要求java虚拟机在生成jvm指令时插入特定的内存屏障指令，通过这些内存屏障指令，volatile实现乐java内存模型的可见性和有序性，但volatile无法保证原子性。

内存屏障之前的所有写操作都要回写到主内存。
内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果。

写屏障：告诉处理器在写屏障之前将所有存储在缓存中的数据同步到主内存，也就是说当看到store屏障指令，就必须把该指令之前所有写入指令执行完毕才能继续往下执行。
读屏障：处理器在读屏障之后的读操作，都在读屏障之后执行。也就是说load屏障指令之后就能够保证后面的读取数据指令一定能够读取到最新的数据。

因此重排序时，不允许把内存屏障之后的指令重排序到内存屏障之前。一句话：对一个volatile变量的写，先行发生于任意后续对这个volatile变量的读，也叫写后读。
粗分：读屏障，写屏障。
读屏障：在读指令之前插入读屏障，让工作内存或CPU高速缓存当中的缓存数据失效，重新回到主内存获取最新数据。
写屏障：在写指令之后插入写屏障，强制把写缓冲区的数据刷回到主内存中。

细分：
loadload:load1 loadload load2 保证load1的读取操作在load2及后续读取操作之前执行
storestore： store1 storestore store2 在store2及其后的写操作执行前，保证store1的写操作已刷新到主内存
loadstore： load1 loadstore store2 在store2及其后的写操作执行前，保证load1的都擦欧总已经读取结束
storeload：store1 storeload load2 保证在store1的写操作已刷新到主内存之后，load2 及其以后的读操作才能执行。

当第一个操作为volatile读时，不论第二个操作是什莫，都不能进行重排序，这样操作保证了volatile读之后的操作不会被重排到volatile读之前。
当第二个操作为volatile写时，不论第一个操作是什么，都不能重排序。这个操作保证了volatile写之前的操作不会被重排到volatile写之后。
当第一个操作为volatile写时，第二个为volatile读时，不能重排。
其余都可重排。

读屏障：在每个volatile读操作的后面插入一个loadload屏障
在每个volatile读操作的后面插入一个loadstore屏障
写屏障：在每个volatile写操作前面插一个storestore屏障
在每个volatile写操作的后面插入一个storeload屏障