深入理解Java内存模型——volatile

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 {
    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++这样的复合操作不具有原子性。

volatile写-读建立的happens before关系

上面讲的是volatile变量自身的特性。对程序猿来说,volatile对线程的内存可见性的影响比volatile自身的特性更为重要。也更须要我们去关注。

从JSR-133開始,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. 依据程序次序规则,1 happens before 2; 3 happens before 4。
  2. 依据volatile规则。2 happens before 3。
  3. 依据happens before 的传递性规则,1 happens before 4。

上述happens before 关系的图形化表现形式例如以下:

《深入理解Java内存模型——volatile》

在上图中。每个箭头链接的两个节点,代表了一个happens before 关系。

黑色箭头表示程序顺序规则。橙色箭头表示volatile规则;蓝色箭头表示组合这些规则后提供的happens before保证。

这里A线程写一个volatile变量后,B线程读同一个volatile变量。A线程在写volatile变量之前全部可见的共享变量,在B线程读同一个volatile变量后,将马上变得对B线程可见。

volatile写-读的内存语义

volatile写的内存语义例如以下:

  • 当写一个volatile变量时,JMM会把该线程相应的本地内存中的共享变量刷新到主内存。

以上面演示样例程序VolatileExample为例,如果线程A首先运行writer()方法。随后线程B运行reader()方法。初始时两个线程的本地内存中的flag和a都是初始状态。下图是线程A运行volatile写后。共享变量的状态示意图:

《深入理解Java内存模型——volatile》

如上图所看到的,线程A在写flag变量后,本地内存A中被线程A更新过的两个共享变量的值被刷新到主内存中。此时。本地内存A和主内存中的共享变量的值是一致的。

volatile读的内存语义例如以下:

  • 当读一个volatile变量时,JMM会把该线程相应的本地内存置为无效。线程接下来将从主内存中读取共享变量。

以下是线程B读同一个volatile变量后,共享变量的状态示意图:

《深入理解Java内存模型——volatile》

如上图所看到的,在读flag变量后。本地内存B已经被置为无效。此时。线程B必须从主内存中读取共享变量。线程B的读取操作将导致本地内存B与主内存中的共享变量的值也变成一致的了。

假设我们把volatile写和volatile读这两个步骤综合起来看的话,在读线程B读一个volatile变量后。写线程A在写这个volatile变量之前全部可见的共享变量的值都将马上变得对读线程B可见。

以下对volatile写和volatile读的内存语义做个总结:

  • 线程A写一个volatile变量。实质上是线程A向接下来将要读这个volatile变量的某个线程发出了(其对共享变量所在改动的)消息。
  • 线程B读一个volatile变量,实质上是线程B接收了之前某个线程发出的(在写这个volatile变量之前对共享变量所做改动的)消息。
  • 线程A写一个volatile变量,随后线程B读这个volatile变量,这个过程实质上是线程A通过主内存向线程B发送消息。

volatile内存语义的实现

以下,让我们来看看JMM怎样实现volatile写/读的内存语义。

前文我们提到过重排序分为编译器重排序和处理器重排序。为了实现volatile内存语义,JMM会分别限制这两种类型的重排序类型。以下是JMM针对编译器制定的volatile重排序规则表:

能否重排序 第二个操作
第一个操作普通读/写volatile读volatile写
普通读/写  NO
volatile读NONONO
volatile写 NONO

举例来说,第三行最后一个单元格的意思是:在程序顺序中,当第一个操作为普通变量的读或写时,假设第二个操作为volatile写。则编译器不能重排序这两个操作。

从上表我们能够看出:

  • 当第二个操作是volatile写时。无论第一个操作是什么。都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。

  • 当第一个操作是volatile读时。无论第二个操作是什么,都不能重排序。

    这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。

  • 当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。

为了实现volatile的内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。对于编译器来说。发现一个最优布置来最小化插入屏障的总数差点儿不可能。为此,JMM採取保守策略。

以下是基于保守策略的JMM内存屏障插入策略:

  • 在每一个volatile写操作的前面插入一个StoreStore屏障。
  • 在每一个volatile写操作的后面插入一个StoreLoad屏障。

  • 在每一个volatile读操作的后面插入一个LoadLoad屏障。
  • 在每一个volatile读操作的后面插入一个LoadStore屏障。

上述内存屏障插入策略很保守。但它能够保证在随意处理器平台,随意的程序中都能得到正确的volatile内存语义。

以下是保守策略下。volatile写插入内存屏障后生成的指令序列示意图:

《深入理解Java内存模型——volatile》

上图中的StoreStore屏障能够保证在volatile写之前,其前面的全部普通写操作已经对随意处理器可见了。这是由于StoreStore屏障将保障上面全部的普通写在volatile写之前刷新到主内存。

这里比較有意思的是volatile写后面的StoreLoad屏障。

这个屏障的作用是避免volatile写与后面可能有的volatile读/写操作重排序。

由于编译器经常无法准确推断在一个volatile写的后面。是否须要插入一个StoreLoad屏障(比方。一个volatile写之后方法马上return)。为了保证能正确实现volatile的内存语义,JMM在这里採取了保守策略:在每一个volatile写的后面或在每一个volatile读的前面插入一个StoreLoad屏障。从总体运行效率的角度考虑,JMM选择了在每一个volatile写的后面插入一个StoreLoad屏障。由于volatile写-读内存语义的常见使用模式是:一个写线程写volatile变量。多个读线程读同一个volatile变量。当读线程的数量大大超过写线程时,选择在volatile写之后插入StoreLoad屏障将带来可观的运行效率的提升。从这里我们能够看到JMM在实现上的一个特点:首先确保正确性,然后再去追求运行效率。

以下是在保守策略下。volatile读插入内存屏障后生成的指令序列示意图:

《深入理解Java内存模型——volatile》

上图中的LoadLoad屏障用来禁止处理器把上面的volatile读与以下的普通读重排序。LoadStore屏障用来禁止处理器把上面的volatile读与以下的普通写重排序。

上述volatile写和volatile读的内存屏障插入策略很保守。

在实际运行时,仅仅要不改变volatile写-读的内存语义。编译器能够依据详细情况省略不必要的屏障。

以下我们通过详细的演示样例代码来说明:

class VolatileBarrierExample {
    int a;
    volatile int v1 = 1;
    volatile int v2 = 2;

    void readAndWrite() {
        int i = v1;           //第一个volatile读
        int j = v2;           // 第二个volatile读
        a = i + j;            //普通写
        v1 = i + 1;          // 第一个volatile写
        v2 = j * 2;          //第二个 volatile写
    }

    …                    //其它方法
}

针对readAndWrite()方法。编译器在生成字节码时能够做例如以下的优化:

《深入理解Java内存模型——volatile》

注意,最后的StoreLoad屏障不能省略。由于第二个volatile写之后,方法马上return。此时编译器可能无法准确断定后面是否会有volatile读或写,为了安全起见,编译器经常会在这里插入一个StoreLoad屏障。

上面的优化是针对随意处理器平台。因为不同的处理器有不同“松紧度”的处理器内存模型。内存屏障的插入还能够依据详细的处理器内存模型继续优化。

以x86处理器为例。上图中除最后的StoreLoad屏障外,其他的屏障都会被省略。

前面保守策略下的volatile读和写。在 x86处理器平台能够优化成:

《深入理解Java内存模型——volatile》

前文提到过,x86处理器仅会对写-读操作做重排序。

X86不会对读-读,读-写和写-写操作做重排序。因此在x86处理器中会省略掉这三种操作类型相应的内存屏障。

在x86中,JMM仅需在volatile写后面插入一个StoreLoad屏障就可以正确实现volatile写-读的内存语义。这意味着在x86处理器中,volatile写的开销比volatile读的开销会大非常多(由于运行StoreLoad屏障开销会比較大)。

JSR-133为什么要增强volatile的内存语义

在JSR-133之前的旧Java内存模型中,尽管不同意volatile变量之间重排序,但旧的Java内存模型同意volatile变量与普通变量之间重排序。在旧的内存模型中,VolatileExample演示样例程序可能被重排序成下列时序来运行:

《深入理解Java内存模型——volatile》

在旧的内存模型中。当1和2之间没有数据依赖关系时,1和2之间就可能被重排序(3和4类似)。其结果就是:读线程B运行4时,不一定能看到写线程A在运行1时对共享变量的改动。

因此在旧的内存模型中 ,volatile的写-读没有监视器的释放-获所具有的内存语义。为了提供一种比监视器锁更轻量级的线程之间通信的机制,JSR-133专家组决定增强volatile的内存语义:严格限制编译器和处理器对volatile变量与普通变量的重排序,确保volatile的写-读和监视器的释放-获取一样。具有同样的内存语义。从编译器重排序规则和处理器内存屏障插入策略来看,仅仅要volatile变量与普通变量之间的重排序可能会破坏volatile的内存语意,这样的重排序就会被编译器重排序规则和处理器内存屏障插入策略禁止。

因为volatile只保证对单个volatile变量的读/写具有原子性,而监视器锁的相互排斥运行的特性能够确保对整个临界区代码的运行具有原子性。

在功能上,监视器锁比volatile更强大。在可伸缩性和运行性能上,volatile更有优势。假设读者想在程序中用volatile取代监视器锁,请一定慎重。

參考文献

  1. Concurrent Programming in Java™: Design Principles and Pattern
  2. JSR 133 (Java Memory Model) FAQ
  3. JSR-133: Java Memory Model and Thread Specification
  4. The JSR-133 Cookbook for Compiler Writers
  5. Java 理论与实践: 正确使用 Volatile 变量
  6. Java theory and practice: Fixing the Java Memory Model, Part 2

转载自
点击打开链接l-4/

    原文作者:zsychanpin
    原文地址: https://www.cnblogs.com/zsychanpin/p/7398757.html
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞