讲师中心 微信公众号
AI工具推荐 视频效率加速

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

落婷君_3673

落婷君_3673

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

|

597人浏览过

|

来源于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免费学习笔记(深入)”;

Alibabacloud Sdk Client Initialization For Java
Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

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

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

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工具

更多
二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

相关专题

更多
counta和count的区别
counta和count的区别

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

2468

2023.11.20

string转int
string转int

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

5279

2023.08.02

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

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

2685

2024.08.29

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

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

3288

2025.08.29

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

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

2365

2025.08.29

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

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

674

2025.10.23

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

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

3558

2023.08.10

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

523

2025.12.01

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

80

2026.09.23

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn