读书笔记《JAVA并发编程的艺术》第三章 Java内存模型 3.4 volatile的内存语义

最新推荐文章于 2022-09-28 15:13:32 发布

原创最新推荐文章于 2022-09-28 15:13:32 发布 · 244 阅读

0 ·

CC 4.0 BY-SA版权

《Java并发编程的艺术》专栏收录该内容

15 篇文章

订阅专栏

本文解析了volatile关键字的可见性和原子性特点，并探讨了它如何通过建立happens-before关系实现线程间的通信。此外，还介绍了volatile的内存语义及其实现机制。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

3.4 volatile的内存语义

3.4.1 volatile的特性

理解volatile特性的一个好方法是对volatile变量的单个读、写，看成是使用同一个锁对这些单个读、写操作做了同步。

class VolatileFeaturesExample{
    volatile long v1 = 0L;   //使用volatile声明64位的long型变量

    public void set(long l){
        v1 = l;              //单个volatile变量的写
    }
    public void getAndIncrement(){
        v1++;               //复合（多个）volatile变量的读、写
    }

    public long get(){
        return v1;          //单个volatile变量的读
    }
}

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

class VolatileFeaturesExample(){
    long v1 = 0L;

    public synchronized void set(long l){   //对单个的普通变量的写用一个锁同步
        v1 = l;
    }

    public void getAndIncrement(){          //普通方法调用
        long temp = get();                  // 调用已经同步的读方法
        temp += 1L;                         // 普通的写操作
        set(temp);                          // 调用已经同步的写方法
    }

    public synchronzied long get(){
        return v1;
    }

}

简而言之，volatile变量自身具有如下特性：

可见性：对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量的最后的写入
原子性：对任意**单个**volatile变量的读、写具有原子性

3.4.2 volatile写-读建立的happens-before关系

从JSR-133(即JDK5开始)，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关系的图形化表现形式如下：

这里写图片描述