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

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

夜芳吖_8309

夜芳吖_8309

发布时间:2026-05-11 06:42:26

|

529人浏览过

|

来源于php中文网

原创

判断并发安全性关键在于是否存在可靠的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 可见

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

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

热门AI工具

更多
立刻MV
立刻MV Hot

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

豆包大模型

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

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

DeepSeek

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

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

WorkBuddy

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

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

相关专题

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

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

80

2026.10.22

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

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

40

2026.10.22

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

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

40

2026.10.22

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

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

20

2026.10.22

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

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

40

2026.10.22

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

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

20

2026.10.22

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

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

40

2026.10.22

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

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

240

2026.10.22

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

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

20

2026.10.22

热门下载

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

精品课程

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

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