volatile的特性
当我们声明共享变量为volatile后,对这个变量的读/写将会很特别。理解volatile特性的一个好方法是对volatile变量的单个读/写,看成是使用同一个锁对这些单个读/写操作做了同步。示例代码:
class VolatileFeaturesExample{
volatile long vl = 0L; //使用volatile声明64位的long型变量
public void set(long l){
vl = l; //单个volatile变量的写
}
public void getAndIncrement(){
vl++; //复合(多个)volatile 变量的读/写
}
public long get(){
return vl; //单个volatile变量的读
}
}
假设多个线程分别调用上面程序的三个方法,这个程序在语义上和下面程序等价:
class VolatileFeaturesExample{
volatile long vl = 0L; //声明64位的long型普通变量
public synchronized void set(long l){ //对单个普通变量的写用同一个锁同步
vl = l;
}
public void getAndIncrement(){ //普通方法调用
long temp = get(); //调用已同步的读方法
temp += 1L; //普通写操作
set(temp); //调用已同步的写方法
}
public synchronized long get(){ //对单个普通变量的读用同一个锁同步
return vl;
}
}
对一个volatile变量的额单个读/写操作,与对一个普通变量的读/写操作使用同一个锁来同步,它们之间的执行效果相同。
锁的happens-before规则保证释放锁饥饿获取锁两个线程之间的内存可见性,这意味着对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。
锁的语义决定了临界区代码的执行具有原子性。这意味着即使是64位的long型和double型变量,只要它是volatile变量,该变量就具有原子性。如果是多个volatile操作(类似volatile++)这种复合操作,这些操作整体上不具有原子性。
简而言之,volatile变量自身具有下列特性:
- 可见性。对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入。
- 原子性。对任意单个volatile变量的读/写操作具有原子性,但复合操作整体上不具有原子性。
volatile写-读建立的happens-before关系
上述讲的是volatile变量自身的特性,但对于程序员来说,volatile对线程的内存可见性的影响比volatile自身的特性更为重要。
从JSR-133开始(即JDK1.5),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; //4
......
}
}
}
假设线程A执行writer()方法后,线程B执行reader()方法。根据happens-before规则,这个过程建立的happens-before关系可以分为两类:
- 根据程序次序规则,1 happens-before 2,3 happens-before 4;
- 根据volatile规则, 2 happens-before 3;
- 根据传递性,1 happens-before 4;
上述happens-before关系的图形化表现形式如下:
每一个箭头链接的两个节点,代表一个happens-before关系。
黑色:程序顺序规则;
橙色:volatile规则;
蓝色:组合这些规则后提供的happens-before的保证。
A线程在写volatile变量之前所有的可见共享变量,在B线程读同一个volatile变量后,将立即变得对B线程可见。
volatile 写-读的内存语义
volatile写的内存语义如下:
当写一个volatile变量时,JMM会把该线程对应本地内存中的共享变量值刷新到主内存中。
以上述示例程序volatileExample为例,假设线程A首先执行writer()方法,随后线程B 执行reader()方法,初始时两个现成的本地内存中的flag和a都是初始状态。下图是线程A执行volatile写后,共享变量的状态示意图:
线程A在写flag变量后,本地内存A 种两个被线程A更新过的共享变量会被刷新到主内存中。
volatile读的内存语义如下:
当读一个volatile变量时,JMM会把该线程本地内存置为无效。线程要从主内存中读取共享变量。
线程B读同一个volatile变量后,共享变量的状态示意图:
在读flag变量后,本地内存B中的值已经无效。线程B 需要从主内存中读取共享变量。读操作导致本地内存B与主内存中的共享变量的值也变成一致的了。
volatile写和volatile读的内存语义总结如下:
- 线程A 写一个volatile变量,实质上是线程A 像要读这个volatile变量的线程B发出(其对共享变量所在修改的)消息;
- 线程B在读一个volatile变量,实质上是线程B接收到了之前某个线程(在写这个volatile变量之前对共享变量所做修改)的消息;
- 这两个线程对volatile变量的写 读过程实质上是线程A 通过主内存像线程B发送消息。
volatile内存语义的实现
为了实现volatile内存语义,JMM会分别限制编译器和处理器重排序。
下图是JMM针对编译器制定的volatile重排序规则表:
- 当第二个操作是volatile写时,无论第一个是什么操作,都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后;
- 当第一个操作是volatile读时,无论第二个是什么操作,都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前;
- 当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。
为了实现volatile的内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序,对于编译器来说,发现一个最优布置来最小化插入屏障的总数几乎不可能,为此,JMM采取保守策略。下面是基于保守策略的JMM内存屏障插入策略:
- 在每个volatile写操作前插入一个StoreStore屏障;
- 在每个volatile写操作后插入一个StoreLoad屏障;
- 在每个volatile读操作后插入一个LoadLoad屏障;
- 在每个volatile读操作后插入一个LoadStore屏障;
上述内存屏障插入策略非常保守,但它可以保证在任意处理器平台,任意的程序中都能得到正确的volatile内存语义。
保守策略下,volatile写插入内存屏障后生成的指令序列示意图:
上图中的StoreStore屏障可以保证在volatile写之前,其前面的所有普通写操作已经对任意处理器可见了。这是因为StoreStore屏障将保障上面所有的普通写在volatile写之前刷新到主内存。
一个写线程写volatile变量,多个线程读同一个volatile变量。当读线程的数量大大超过写线程是,选择在volatile写之后插入StoreLoad屏障将带来可观的执行效率提升。
JMM在实现上的一个特点:首先保证正确性,然后再去追求执行效率。
在保守策略下,volatile读插入内存屏障后生成的指令序列示意图:
上述的两种内存插入屏障都非常保守。在实际执行时,只要不改变volatile写-读的内存语义,编译器可根据情况省略不必要的屏障。示例如下:
class VolatileBarrierExample{
int a;
volatile int v1 = 1;
volatile int v2 = 2;
voia readAndWrite(){
int i = v1; //第一个volatile读
int j = v2; //第二个volatile读
a = i + j; //普通写
v1 = i + 1; //第一个volatile写
v2 = j * 2; //第二个volatile写
}
......
}
针对readAndWrite()方法,编译器在生成字节码时可以做如下的优化:
最后的StoreLoad屏障不能省略。因为第二个volatile写之后,方法立即return。此时编译器可能无法准确判断后面是否会有volatile读或写,为了安全起见,编译器通常会在这里插入一个StoreLoad屏障。
上面的优化是针对任意处理器平台,由于不同的处理器有不同“松紧度”的处理器模型,内存屏障的插入还可以根据具体的处理器内存模型继续优化。
JSR-133为什么要增强volatile的内存语义
在JSR-133之前的旧Java内存模型中,虽然不允许volatile变量之间的重排序,但旧的Java内存模型允许volatile变量与普通变量重排序。在旧的内存模型中,volatileExample示例程序可能被重排序成下列时序来执行:
在旧的内存模型中,当1和2之间没有数据依赖是,1和2之间就可能被重排序(3和4类似)。其结果就是:读线程B执行4时,不一定能看到线程A在执行1时对共享变量的修改。
因此在旧的内存模型中,volatile的写-读操作没有锁的释放-获取具有的内存语义。
增强后的volatile内存语义:严格限制编译器和处理器对volatile变量与普通变量的重排序,确保volatile的写-读和锁的释放-获取有相同的内存语义。只要volatile变量与普通变量之间的重排序可能会皮怀volatile的内存语义,这种重排序就会被编译器重排序规则和处理器内存屏障插入策略禁止。
由于volatile仅仅保证对单个volatile变量的读/写具有原子性,而锁的互斥执行的特性可以确保对整个临界区代码的执行具有原子性。在功能上,锁比volatile更强大;在可伸缩性和执行性能上,volatile更有优势。