如何通过 Happens-before 原则解释 volatile 变量的写操作为何能让其之前的普通变量写也变可见?

千雪姑娘_4143

千雪姑娘_4143

2026-04-24

406人浏览

原创

volatile写操作通过happens-before传递性“拖带”前面普通变量写,需同时满足:写线程中普通变量赋值在volatile写前、读线程先读到该volatile值、无破坏链路的操作。

如何通过 happens-before 原则解释 volatile 变量的写操作为何能让其之前的普通变量写也变可见?

volatile 写操作如何“拖带”前面的普通变量写?

关键不在 volatile 本身“广播”了什么,而在于 happens-before 的传递性强制建立了可见性链。只要满足规则,JVM 就必须确保读线程看到写线程在 volatile 写之前对普通变量的所有修改。

必须同时满足的三个条件

仅声明一个 volatile 变量远远不够,要让前面的普通变量写对读线程可见,需同时满足:

  • 写线程中,普通变量赋值语句必须出现在 volatile 写操作之前(程序顺序规则)
  • 读线程中,必须先读取该 volatile 变量,且读到的是写线程写入的值(volatile 变量规则)
  • 两个线程之间没有其他破坏链路的操作(比如中间插入非同步的共享变量读写)

为什么不是所有普通变量都自动可见?

因为 happens-before 不是全局广播,它只在满足规则的特定操作之间建立单向依赖。常见误区包括:

  • 误以为 volatile 字段声明后,它所在对象的**所有字段**都自动具备可见性 —— 实际上只有被明确写在它之前的、且未被重排序移出临界区的那些普通变量才受惠
  • 忽略编译器/JIT 的重排序:若没有 volatile 写作为“内存屏障锚点”,前面的普通变量写可能被移到它之后,从而断开 happens-before 链
  • 读线程没真正读到那个 volatile 值(比如用 while(!flag) 但 flag 从未被写入),则整个链不触发

一个典型失效场景示例

下面这段代码中,x 的写操作**不一定**对读线程可见:

class BadExample {
    int x = 0;
    volatile boolean ready = false;

    void writer() {
        x = 42;
        // 这里如果发生指令重排序,x=42 可能被延后执行
        ready = true; // volatile 写
    }

    void reader() {
        if (ready) { // volatile 读
            // 此时 x == 42 不保证成立
        }
    }
}

真正可靠的做法是确保写操作严格按序,且 JVM 无法合法重排序 —— 这正是 volatile 写提供的语义边界。实际编码中,别依赖“看起来顺序对”,要靠规则链本身说话。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

12137

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

9242

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

7892

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1284

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

1028

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1536

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

3169

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20431

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1395

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 134.1万人学习