Java并发1：volatile原理

1、volatile特性

• 可见性：保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。
• 有序性：禁止进行指令重排序
• 只能保证对单次读写的原子性：i++这种操作不能保证原子性；

2、volatile原理

volatile 的底层实现原理是内存屏障，Memory Barrier（Memory Fence）

• volatile 变量的写指令后会加入写屏障
• 对 volatile 变量的读指令前会加入读屏障

3、如何保证可见性

• 写屏障保证在该屏障之前的对共享变量的改动都同步到主存；
• 而读屏障（lfence）保证在该屏障之后，对共享变量的读取，加载的是主存中最新数据

4、如何保证有序性

• 写屏障会确保指令重排序时，不会将写屏障之前的代码排在写屏障之后
• 读屏障会确保指令重排序时，不会将读屏障之后的代码排在读屏障之前

还是那句话，不能解决指令交错：
写屏障仅仅是保证之后的读能够读到最新的结果，但不能保证读跑到它前面去
而有序性的保证也只是保证了本线程内相关代码不被重排序

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