JVM中Shenandoah收集器并发清理(Concurrent Evacuation)时的线程竞争与硬件CAS保护

夏浩酱_2802

夏浩酱_2802

2026-06-07

989人浏览

原创

shenandoah的concurrent evacuation阶段是并发搬迁存活对象至空闲region,而非清理;清理由concurrent cleanup阶段完成,其核心依赖brooks指针与硬件cas原子更新保障多线程竞争下的安全搬迁。

jvm中shenandoah收集器并发清理(concurrent evacuation)时的线程竞争与硬件cas保护

Shenandoah 的 Concurrent Evacuation(并发回收) 阶段并非“清理”,而是将回收集(Collection Set)中存活对象 并发地复制搬迁 到空闲 Region 中。真正负责“清理无用内存”的阶段是 Concurrent Cleanup。你提到的“并发清理”若指 Evacuation 阶段,那它本质上是高竞争、需强同步保障的搬迁过程——线程竞争与硬件 CAS 保护正是其稳定运行的关键支撑。

并发搬迁中的核心竞争点

多个 GC 线程和所有应用线程同时访问同一对象:GC 线程要读取旧对象、复制内容、更新转发指针;应用线程可能正通过旧引用读写该对象。这种读-写-改的混合访问天然引发竞态。典型竞争场景包括:

  • 两个 GC 线程几乎同时尝试为同一个对象执行搬迁,导致重复复制或指针覆盖
  • 应用线程在 GC 线程写入转发指针前读取对象头,拿到未初始化的指针值
  • 应用线程正在写入对象字段,而 GC 线程已开始复制——需保证复制的是“一致快照”

Brooks Pointer + CAS 是协同机制,不是替代关系

Shenandoah 在对象头前插入 Brooks Pointer(一个额外的引用字段),默认指向对象自身。搬迁时,GC 线程需原子地将该指针从“指向自己”改为“指向新副本”。这个修改必须是原子的,否则应用线程可能看到中间态(如 null 或半写入地址)。因此:

Mark Copy
Mark Copy

Mark Copy是一款AI文本写作工具,SEO 写作与营销文案工具。

下载
  • JVM 底层使用 硬件 CAS(Compare-and-Swap)指令 执行指针更新,例如 x86 上的 CMPXCHG,ARM 上的 LDXR/STXR
  • CAS 失败说明有其他线程抢先完成搬迁,当前线程可直接读取新指针并跳过复制
  • 所有对 Brooks Pointer 的读取都受 读屏障(Load Barrier) 拦截,屏障内会检查指针是否已重定向,未完成则触发等待或协助搬迁

为什么不能只靠软件锁或顺序化?

全局锁或区域锁会严重抵消并发收益,违背低延迟设计目标。而 CAS 提供无锁(lock-free)保障:

  • 单次 CAS 延迟在纳秒级,远低于毫秒级 STW 成本
  • 失败重试开销可控,实践中绝大多数对象只需一次 CAS 即可成功
  • 现代 CPU 对 CAS 有良好优化(如缓存行锁定、快速重试路径),多核扩展性好

实际部署需关注的硬件与 JVM 层面协同

CAS 效能依赖底层支持。若运行环境不满足,可能退化或报错:

  • 启用 Shenandoah 必须确保 CPU 支持对应原子指令(如 x86_64、AArch64),32 位 ARMv7 不支持
  • 开启 -XX:+UseShenandoahGC 后,JVM 会在启动时校验 CAS 可用性;若检测到不安全的虚拟化环境(如某些嵌套虚拟机),可能拒绝启用
  • 高争用场景下(如大量短命大对象集中晋升),可配合 -XX:ShenandoahGuaranteedGCInterval=1000 控制回收节奏,间接缓解 CAS 冲突密度

相关文章

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

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

下载

相关标签:

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

相关专题

更多
线程和进程的区别
线程和进程的区别

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

2023.08.10

3918

6

C++运算符基础入门
C++运算符基础入门

本专题详细讲解了C++运算符的类型、语法与使用方法,涵盖算术运算符、关系运算符、逻辑运算符、位运算符、赋值运算符、条件运算符及其他特殊运算符,并通过代码示例解析优先级与结合性。

2026.10.09

0

11

PixPix官网入口合集
PixPix官网入口合集

本专题汇总了PixPix官网在线使用入口及平台功能详解,涵盖文生图、图生图、AI图片编辑、AI视频创作等核心能力,并整理了AI爆款图片复刻、商品套图、详情页生成、视频变清晰与去水印等电商专项工具的使用教程。同时收录了PixPix MCP接入Codex、Claude Code等主流Agent的操作指南,助您一站式完成AI图片与视频创作。

2026.10.09

0

11

FrankenPHP集成Laravel详细教程
FrankenPHP集成Laravel详细教程

本专题提供FrankenPHP集成Laravel的详细配置指南,全面解析运行原理、开发环境搭建、Caddyfile配置、Octane工作模式、数据库连接、队列任务、定时任务和生产环境优化,解决部署过程中常见的报错与兼容性问题。

2026.10.08

60

20

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

160

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

140

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

100

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

100

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

120

15

热门下载

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

精品课程

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

共6课时 | 54.6万人学习

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

共89课时 | 133.4万人学习