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

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

Volatile关键字

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

Volatile的特性

Volatile 的特性：

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

内存屏障的作用

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

保证可见性：

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

禁止指令重排：

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