0

0

Java里happens before规则怎么理解_Java并发顺序保证说明

P粉602998670

P粉602998670

发布时间:2025-12-29 19:18:31

|

577人浏览过

|

来源于php中文网

原创

happens-before 是 JMM 定义的逻辑先行关系,确保操作可见性与有序性;包括程序顺序、锁、volatile、线程启动等规则,并具有传递性。

java里happens before规则怎么理解_java并发顺序保证说明

happens-before 不是时间先后,而是 Java 内存模型(JMM)定义的“逻辑先行”关系:如果操作 A happens-before 操作 B,那么 A 的结果对 B 一定可见,且 JMM 保证这种可见性不被编译器重排序或 CPU 缓存优化破坏。

程序顺序规则:单线程里写啥就按啥看

同一根线程内,代码从上到下写的顺序,天然构成 happens-before 链。比如:

  • int x = 1; happens-before int y = x + 2;
  • flag = true; happens-before System.out.println(flag);

即使 JVM 把这两句指令物理上换序执行(只要结果不变),你读到的值也永远符合代码顺序的预期——这就是 as-if-serial 语义的保障。

锁规则:解锁之后,别人加锁才能看到你的改动

一个线程释放锁(synchronized 块结束),和另一个线程随后获取同一把锁,之间存在 happens-before 关系。

立即学习Java免费学习笔记(深入)”;

  • 线程 A 在同步块中修改了 count = 100,然后退出块(解锁)
  • 线程 B 进入同一把锁的同步块(加锁)时,一定能看见 count == 100

这就像交班:前一个人锁门离开(解锁),后一个人开门进来(加锁),桌上改过的数据必须摆在那儿,不能凭空消失。

标小智
标小智

智能LOGO设计生成器

下载

volatile 规则:写 volatile 就像发广播,读它就能收到最新信号

对 volatile 变量的写,happens-before 后续任意线程对该变量的读。

  • ready = false;data = 42;ready = true;ready 是 volatile)
  • 另一线程看到 ready == true,就一定能读到 data == 42,不会因为重排序或缓存延迟而看到旧值

注意:volatile 本身不保证原子性(比如 i++ 仍需同步),但它能确保写入的“发布动作”对读取者及时可见。

启动与传递性:线程一动,后续链就串起来了

主线程调用 thread.start(),该调用之前的所有操作,happens-before 子线程的任意操作;同理,线程 A 中 a = 1; b = a;,B 中 if (b == 1) { ... },只要通过锁、volatile 或 start 等建立一条 happens-before 链,A 的写就能传到 B。

  • happens-before 具有传递性:A → B,B → C ⇒ A → C
  • 没有显式同步时,跨线程读写共享变量可能“看不见”对方的更新——不是 bug,是 JMM 允许的合法行为

真正需要并发安全的地方,不是靠猜“应该先发生”,而是靠规则主动建立 happens-before 关系。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

847

2023.08.22

counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

203

2023.11.20

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1051

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

617

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

335

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

235

2025.08.29

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

76

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

786

2023.08.10

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

69

2026.03.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.4万人学习

C# 教程
C# 教程

共94课时 | 11.4万人学习

Java 教程
Java 教程

共578课时 | 82.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号