1. volatile 的特性
volatile变量的单个读/写,可以看成是使用同一个锁对这些单个读/写操作做了同步
volatile long val = 0L; // 使用volatile声明64位的long型变量
public void set(long l) {
val = l; // 单个volatile变量的写
}
public void getAndIncrement () {
val++; // 复合(多个)volatile变量的读/写
}
public long get() {
return val; // 单个volatile变量的读
}
以普通变量为例阐述
long val = 0L;
- volatile写操作(等价代码)
public synchronized void set(long l) {
val = l;
}
- volatile读操作
public synchronized long get() {
return vl;
}
- 自加操作
public void getAndIncrement () {
long temp = get();
temp += 1L;
set(temp);
}
由上述代码volatile变量的单个读/写操作是原子操作。
一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。
特性总结如下:
- 可见性:对一个 volatile 变量的读,总是能看到(任意线程)对这个volatile变量最后的写
入。 - 原子性:对任意单个volatile变量的读/写具有原子性,但读写的复合操作不具有原子性。
2. volatile “写-读” 建立的happens-before关系
从内存语义的角度来说,volatile的写-读与锁的释放-获取有相同的内存效果:
-
volatile写和锁的释放有相同的内存语义
-
volatile读与锁的获取有相同的内存语义
从下段代码来进行阐述
class VolatileExample {
int a = 0;
volatile boolean flag = false;
public void writer() {
a = 1; // 1
flag = true; // 2
}
public void reader() {
if (flag) { // 3
int i = a; // 4
}
}
}
假设线程A执行writer()方法之后,线程B执行reader()方法。
结合 happen-before 关系:
- 根据 程序次序 规则:1 happen-before 2;3 happen-before 4
- 根据 volatile 规则:2 happen-before 3
- 根据传递性原则:1 happen-before 4
注意:A线程在写 volatile 变量之前所有可见的共享变量,在B线程读同一个volatile变量后,将立即变得对B线程可见。
3. volatile写-读的内存语义
线程A执行 volatile 写后,共享变量的状态示意图。
线程A在写flag变量后,本地内存A中被线程A更新过的两个共享变量的值被刷新到主内存中。此时,本地内存A和主内存中的共享变量的值是一致的。
volatile读的内存语义
当读一个volatile变量时,JMM 会把该线程对应的本地内存置为无效。线程接下来将从主
内存中读取共享变量。
注意:在读 flag 变量后,本地内存B包含的值已经被置为无效。此时,线程B必须从主
内存中读取共享变量。
4.总结
- 线程A写一个volatile变量,实质上是线程A向接下来将要读这个volatile变量的某个线程发出了(其对共享变量所做修改的)消息。
- 线程B读一个volatile变量,实质上是线程B接收了之前某个线程发出的(在写这个volatile变量之前对共享变量所做修改的)消息。
- 线程A写一个volatile变量,随后线程B读这个volatile变量,这个过程实质上是线程A通过主内存向线程B发送消息。