前言
上一篇博客写了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更新过的两