Java的同步原语——volatile，synchronized和final

前言

上一篇博客写了java内存模型的基础，也就是未同步的情况，未同步的线程运行顺序不得而知，运行效果也不一定，安全性是比较低的。本篇博客将谈谈java的三个同步原语。

volatile

volatile变量自身具有下列特性
可见性：对一个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*a;//4
}
}
}

假设线程A执行writer方法之后，线程B执行reader方法，根据happens-before规则，这个过程建立的happens-before关系为：
(1)1 happens-before 2,3happens-before4
(2) 根据volatile规则：2happens-before 3
(3)根据happens-before的传递性规则：1happens-before4
所以执行顺序为可预测的，为：1-2-3-4.
分析原因：这是因为，线程A在写flag变量后，本地内存A中被线程A更新过的两