volatile 内存语义

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变量最后的写入。

特性总结如下：

1. 可见性：对一个 volatile 变量的读，总是能看到（任意线程）对这个volatile变量最后的写
   入。
2. 原子性：对任意单个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. 根据 程序次序 规则：1 happen-before 2；3 happen-before 4
2. 根据 volatile 规则：2 happen-before 3
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.总结

1. 线程A写一个volatile变量，实质上是线程A向接下来将要读这个volatile变量的某个线程发出了（其对共享变量所做修改的）消息。
2. 线程B读一个volatile变量，实质上是线程B接收了之前某个线程发出的（在写这个volatile变量之前对共享变量所做修改的）消息。
3. 线程A写一个volatile变量，随后线程B读这个volatile变量，这个过程实质上是线程A通过主内存向线程B发送消息。