Volatile 关键字如何实现 线程间的可见性和 禁止指令重排

• Volatile的特性
• 内存屏障的作用

Volatile 的特性：

1. 保证可见性
2. 禁止指令重排
3. 不保证原子性

1. 保证特定操作的顺序
2. 保证某些变量的内存可见性（利用该特性实现volatile的内存可见性）

保证可见性：

1. 对volatile 变量进行写操作时，会在写操作后加入一条store屏障指令，将工作内存中的共享变量刷新回到主存
2. 对volatile 变量进行读操作时，会在写操作后加入一条load屏障指令，从主存中读取共享变量

禁止指令重排：

1. 对 volatile 变量进行写操作时，会在 该操作前后 分别加上 StoreStore屏障(写写屏障) 和 StoreLoad(写读屏障) 屏障 来禁止指令重排
2. 对volatile变量进行读操作时，会加上LoadLoad(读读屏障)和LoadStore(读写屏障)来禁止指令重排