文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

并发编程之Java内存模型volatile的内存语义

2024-04-02 19:55

关注

1、volatile的特性

理解volatile特性的一个好办法是把对volatile变量的单个读/写,看成是使用同一个锁对单个读/写操作做了同步。

代码示例:


package com.lizba.p1;


public class VolatileFeatureExample {

    
    volatile long v1 = 0l;

    
    public void set(long l) {
        v1 = l;
    }

    
    public void getAndIncrement() {
        v1++;
    }

    
    public long get() {
        return v1;
    }

}

假设有多个线程分别调用上面程序的3个方法,这个程序在语义上和下面程序等价。


package com.lizba.p1;


public class SynFeatureExample {

    
    long v1 = 0L;

    
    public synchronized void set(long l) {
        v1 = l;
    }


    
    public void getAndIncrement() {
        long temp = get();
        // v1加一
        temp += 1L;
        set(temp);
    }

    
    public synchronized long get() {
        return v1;
    }

}

如上两个程序所示,一个volatile变量的单个读\写操作,与一个普通变量的读\写操作都是使用同一个锁来同步,它们之间的执行效果相同。

上述代码总结:

锁的happens-before规则保证释放锁和获取锁的两个线程之间的内存可见性,这意味着对一个volatile变量的读,总能看到(任意线程)对这个volatile变量最后的写入。
锁的语义决定了临界区代码的执行具有原子性。这意味着,即使是64位的long型和double型变量,只要它是volatile变量,对该变量的读/写就具有原子性。如果是多个volatile操作或类似于volatile++这种复合操作,这些操作整体上不具备原子性。

总结volatile特性:

2、volatile写-读建立的happens-before关系

从JDK1.5(JSR-133)开始,volatile变量的写-读可以实现线程之间的通信。从内存语义的角度来说,volatile的写-读与锁的释放-获取有相同的内存效果。

代码示例:


package com.lizba.p1;


public 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
            System.out.println(i);
        }
    }
    
}

假设线程A执行writer()方法之后,线程B执行reader()方法。根据happens-before规则,

这个过程建立的happens-before关系如下:

图示上述happens-before关系:

总结:这里A线程写一个volatile变量后,B线程读同一个volatile变量。A线程在写volatile变量之前所有可见的共享变量,在B线程读同一个volatile变量后,将立即对B线程可见。

3、volatile写-读的内存语义

volatile写的内存语义

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

以上面的VolatileExample为例,假设A线程首先执行writer()方法,随后线程B执行reader()方法,初始时两个线程的本地内存中的flag和a都是初始状态。

A执行volatile写后,共享变量状态示意图。

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

volatile读的内存语义

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

B执行volatile读后,共享变量的状态示意图:

在读flag变量后,本地内存B包含的值已经被置为无效。此时,线程B必须从主内存中重新读取共享变量。线程B的读取操作将导致本地内存B与主内存中的共享变量的值变为一致。

总结volatile的写和volatile读的内存语义

4、volatile内存语义实现

程序的重排序分为编译器重排序和处理器重排序(我的前面的博文内容有写哈)。为了实现volatile内存语义,JMM会分别禁止这两种类型的重排序。

volatile重排序规则表:

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

上图举例:第一行最后一个单元格意思是,在程序中第一个操作为普通读/写时,如果第二个操作为volatile写,则编译器不能重排序。

总结上图:

为了实现volatile的内存语义,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

JMM采取的是保守策略内存屏障插入策略,如下:

保守策略可以保证在任意处理器平台上,任意程序中都能得到正确的volatile内存语义。

保守策略下,volatile写插入内存屏障后生成的指令序列图:

解释:

StoreStore屏障可以保证在volatile写之前,其前面所有普通写操作已经对任意处理器可见了。这是因为StoreStore屏障将保障上面所有普通写在volatile写之前刷新到主内存。

保守策略下,volatile读插入内存屏障后生成的指令序列图:

解释:

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

上述volatile写和volatile读的内存屏障插入策略非常保守。在实际执行时,只要不改变volatile写-读的内存语义,编译器可以根据具体情况省略不必要的屏障。

代码示例:


package com.lizba.p1;


public class VolatileBarrierExample {

    int a;
    volatile int v1 = 1;
    volatile int v2 = 2;

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

    // ... 其他方法

}

针对VolatileBarrierExample的readAndWrite(),编译器生成字节码时可以做如下优化:

注意:最后的StoreLoad屏障无法省略。因为第二个volatile写之后,程序return。此时编译器无法准确断定后面是否会有volatile读写操作,为了安全起见,编译器通常会在这里插入一个StoreLoad屏障。

上面的优化可以针对任意处理器平台,但是由于不同的处理器有不同的“松紧度”的处理器内存模型,内存屏障的插入还可以根据具体的处理器内存模型继续优化。

X86处理器平台优化

X86处理器仅会对写-读操作做重排序。X86不会对读-读、读-写和写-写重排序,因此X86处理器会省略掉这3种操作类型对应的内存屏障。在X86平台中,JMM仅需要在volatile写后插入一个StoreLoad屏障即可正确实现volatile写-读内存语义。同时这样意味着X86处理器中,volatile写的开销会远远大于读的开销。

5、volatile和锁的比较

功能上:

锁比volatile更强大

可伸缩性和执行性能上:

volatile更具有优势

到此这篇关于并发编程之Java内存模型volatile的内存语义的文章就介绍到这了,更多相关Java内存模型volatile的内存语义内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯