Happens-Before 原则:如何在不使用显式锁的情况下利用 8 条先行发生原则判定操作的并发安全性

夜芳吖_8309

夜芳吖_8309

2026-05-11

529人浏览

原创

判断并发安全性关键在于是否存在可靠的happens-before关系:只要两个有数据依赖的操作能通过程序次序、volatile变量、线程启动/终止等8条规则之一或链式推导出顺序性,即可保证可见性与有序性,无需显式加锁。

happens-before 原则:如何在不使用显式锁的情况下利用 8 条先行发生原则判定操作的并发安全性

判断并发安全性,关键不是“有没有加锁”,而是“操作之间是否存在可靠的 happens-before 关系”。只要两个有数据依赖的操作(比如写后读)能通过 8 条先行发生原则中的任意一条或几条链式推导出顺序性,就能保证可见性和有序性,无需显式加锁。

程序次序规则:单线程内的天然保障

同一线程中,控制流上先执行的语句,其结果必然对后续语句可见。比如:

  • // 线程 A 内
    int x = 42;
    boolean flag = true;

这里 x = 42 happens-before flag = true,因为它们在同一线程、按控制流顺序执行。即使 JVM 重排序了指令,也不会破坏这个语义——这是 JMM 对单线程 as-if-serial 的承诺。

volatile 变量规则:轻量级的跨线程同步

对 volatile 字段的写,happens-before 后续任意线程对该字段的读。它不阻止重排序,但插入内存屏障,确保写值立即刷入主存、读值强制从主存加载。

  • // 线程 A
    ready = false;
    data = 100;
    ready = true; // volatile 写
  • // 线程 B
    if (ready) { // volatile 读
      System.out.println(data); // data 的值一定能看到 100
    }

因为 ready = true happens-before if(ready),而 volatile 写读的传递性又保证了 data = 100 的写对线程 B 可见(前提是写在 volatile 写之前,且无其他干扰)。

线程启动与终止规则:生命周期自带顺序

调用 thread.start() 就建立了主线程与子线程之间的 happens-before 链;而 thread.join() 返回,则意味着子线程所有操作都 happens-before 主线程后续动作。

  • 子线程内修改共享变量 → join() 返回 → 主线程可安全读取该变量,无需额外同步
  • 适用于一次性初始化场景,例如后台加载配置后通知主线程使用

锁规则与传递性:组合推导更灵活

虽然题目要求“不使用显式锁”,但理解锁规则有助于识别隐式同步点。更重要的是,happens-before 具有传递性:A → B 且 B → C ⇒ A → C。

  • 线程 A 释放锁 L → 线程 B 获取锁 L(满足管程锁定规则)
  • 线程 B 写 volatile 变量 v → 线程 C 读 v(满足 volatile 规则)
  • 那么线程 A 的写操作,间接通过 A→B→C 链,对线程 C 可见

这种链式推导是实际编码中规避锁、保障安全的核心技巧,尤其适合分阶段协作的并发流程。

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

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

下载

相关标签:

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

相关专题

更多
Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

2026.10.22

60

11

Gradle Wrapper配置教程
Gradle Wrapper配置教程

本专题介绍Gradle Wrapper的基本作用,涵盖文件组成、生成方法、版本配置和任务调用,帮助你理解项目如何使用指定的Gradle版本,减少不同开发环境带来的构建差异。

2026.10.22

40

10

Golangci-lint检查器使用教程
Golangci-lint检查器使用教程

本专题整理Golangci-lint常用Linters的用途与配置方法,覆盖错误处理、无效代码、安全、复杂度、命名和依赖检查,帮助项目合理选规则。

2026.10.22

40

15

Gradle怎么构建Java项目
Gradle怎么构建Java项目

本专题介绍Gradle Java项目构建方法,涵盖Java插件配置、依赖声明、源码编译、测试执行和打包检查,帮助你理解各阶段的任务关系,逐步完成项目构建。

2026.10.22

20

10

PHP时间戳漏洞修复教程
PHP时间戳漏洞修复教程

本专题汇总PHP常见时间戳漏洞,包括2038年溢出、时区漂移、时间戳伪造、重放攻击、时间盲注与日志审计失效等,并给出升级64位环境、使用 DateTimeImmutable、统一UTC、严格超时校验、预处理绑定、hash_equals 比对等修复方案,帮助开发者快速排查和加固时间相关代码。

2026.10.22

20

25

Golangci-lint配置文件与规则设置
Golangci-lint配置文件与规则设置

本专题聚焦Golangci-lint YAML配置文件,讲清运行参数、规则启停、目录排除、问题过滤及严重级别设置,便于团队统一检查标准。

2026.10.22

20

15

Golangci-lint安装与入门教程
Golangci-lint安装与入门教程

本专题讲解Golangci-lint的安装、初始化、基础命令和首次代码检查,覆盖本地环境、Docker及多平台用法,帮助Go开发者快速上手。

2026.10.22

20

15

PHP2Shell高危漏洞修复教程
PHP2Shell高危漏洞修复教程

PHP2Shell漏洞是什么,哪些PHP版本和运行环境会受到影响,服务器应该如何检测与修复?本专题提供版本自查脚本、Linux与Docker升级命令、PHP-FPM和Apache排查步骤,以及修复验证、临时缓解和应急响应方案。

2026.10.22

160

12

剧云人物设定与关系管理教程
剧云人物设定与关系管理教程

本专题介绍剧云人物设定与关系管理,讲解角色小传、性格职业、人物目标、背景资料和关系网络的创建及维护方法。

2026.10.22

20

16

热门下载

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

精品课程

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

共6课时 | 54.7万人学习

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

共89课时 | 134万人学习