标记阶段的并发干扰:分析三色标记过程中处理“新增引用”变量的各种屏障策略

夜墨姑娘_8337

夜墨姑娘_8337

2026-05-10

771人浏览

原创

三色标记需写屏障防漏标:插入屏障拦截新增引用将白色对象标灰,删除屏障(SATB)冻结将删的白色对象,混合屏障统一处理增删操作,增量更新则在标记后重扫黑色→白色引用。

标记阶段的并发干扰:分析三色标记过程中处理“新增引用”变量的各种屏障策略

三色标记本身不排斥并发,但用户线程在标记过程中修改引用关系,会导致漏标——即本该存活的对象被误判为白色而回收。核心风险在于:黑色对象新增指向白色对象的引用,同时灰色对象到该白色对象的原有引用又被删除。要阻断这个组合,屏障策略就围绕“怎么拦”和“拦哪边”展开。

插入写屏障:拦截新引用,把白色变灰

当赋值器执行 a.field = b(a 是黑色,b 是白色)时,插入写屏障会立即把 b 标记为灰色,并加入待扫描队列。相当于告诉回收器:“这个刚被黑对象拉过来的白对象,我还没扫过,得补上。”它直接破坏“黑色→白色”这一危险路径,让白色对象不会静默滞留。

注意两点:

  • 只作用于堆对象,栈上新赋值不触发(所以 Go 在 GC 开始前需短暂 STW 扫描栈)
  • 开销较轻,但会带来一定冗余扫描(比如 b 后来又被其他灰色对象扫到)

删除写屏障(SATB):冻结旧快照,保留灰色链

它不拦新增,而是拦删除。在赋值器准备删掉 g.field = w(g 是灰色,w 是白色)前,屏障先将 w 记录进一个“已删但需保留”的集合,并标记为灰色。这样即使 g 不再指向 w,w 也不会丢失——因为回收器后续会以这些记录为起点重新扫描。

本质是“拍快照”:以标记开始时刻的引用图为基础,把所有将被断开的白色对象提前保下来。适合写多读少场景,但需额外内存存快照日志。

混合写屏障:Go 1.8 起的折中方案

Go 同时启用插入 + 删除逻辑,但做了简化:只要发生写操作(无论 a.field = b 还是 a.field = nil),都把被写入的对象(b 或原值)标记为灰色。它放弃严格区分“增/删”,转而用统一动作覆盖两种风险。

优势明显:

  • 栈无需 STW 扫描——新分配对象直接标黑,栈上写操作也触发屏障,保证一致性
  • 避免 SATB 的日志膨胀,也减少纯插入带来的重复扫描
  • 实际运行中 STW 可压至百微秒级

增量更新:JVM 常用的后置兜底

不实时拦截,而是在并发标记结束后、进入清除前,检查所有“黑色→白色”的引用记录(由写屏障收集)。然后以这些黑色对象为新根,做一次小范围重扫。相当于“先放行,再补漏”。

它对用户线程干扰最小,但延长了 GC 总耗时;适用于对延迟敏感度低于吞吐量的系统,比如后台批处理服务。

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万人学习