volatile工作原理

在前文中已经讲解到volatile的使用以及原子性的问题,volatile修饰的变量可以实现线程对变量的写操作能够让其他线程“看到”当前最新的变量数据值,从内存语义上而言,相当于告诉线程读取当前变量要从主内存中读取,对此,现将继续前文的volatile继续深入原理分析.

1. volatile作用与使用场景

volatile规则与作用

• 基于Happen-Before的原则,对volatile变量执行写操作happen-before该变量读操作的后续每个动作
• 另外,基于内存语义,我们可以知道volatile读取的数据变量可以立马“看到”volatile在另一个线程写入的最新值,同时遵循先写后读的顺序规则
• 对于声明volatile变量的单步的操作具有原子性
• 还有一点就是volatile底层处理器是使用内存屏障的机制来强制工作内存失效,从而消除处理器的重排序

使用volatile的场景

• 当定义的数据变量需要与其他CPU寄存器需要进行数据交互的时候,即在多核CPU的机器下需要声明为volatile,从而保证数据是可见的
• 当数据存储在主内存(JMM中定义的共享内存)时,由于主内存中并没有存在锁的保护,并且依赖于内存的访问顺序,使用volatile的开销会比lock更“廉价”

2. volatile内存语义

部分源码

// shared.java
volatile