G1 筛选回收阶段:解释为什么 G1 的最后一步回收 Region 必须 STW 而不是并发执行

阿墨小哥_8827

阿墨小哥_8827

2026-06-01

628人浏览

原创

g1筛选回收阶段必须stw,因其对象移动需原子完成搬移与引用更新,避免并发导致的数据不一致;rset无法拦截实时访问,且g1缺乏zgc/shenandoah级的并发转移机制,故依赖可控短暂停顿保障状态一致性。

g1 筛选回收阶段:解释为什么 g1 的最后一步回收 region 必须 stw 而不是并发执行

G1 的筛选回收(Evacuation)阶段必须 STW,核心原因在于对象移动过程需要保证引用关系的绝对一致性,而并发移动会破坏这一前提。

对象复制与引用更新必须原子完成

在筛选回收阶段,G1 会把选定 Region 中的存活对象复制到新的空闲 Region,并更新所有指向这些对象的引用。这个过程包含两个不可分割的动作:对象搬移 + 所有旧引用重定向到新地址。如果允许用户线程并发执行,就可能出现以下竞态:

  • 用户线程正在读取或修改某个对象 A 的字段,而该对象 A 正被 GC 线程从旧地址复制到新地址;
  • 引用尚未全部更新完成时,用户线程通过旧引用访问了已失效的内存位置;
  • 更严重的是,若用户线程在复制中途修改了对象 A 的某个字段,而该修改只作用于旧副本,新副本未同步,就会导致数据不一致。

RSet 无法覆盖全部跨 Region 引用场景

G1 用 Remembered Set(RSet)记录跨 Region 的写操作,用于快速定位 GC Roots。但它只记录“谁可能引用我”,不能实时反映“我当前正被谁访问”。在并发移动中,RSet 不足以拦截或转发正在进行中的读/写请求——它不是锁机制,也不提供内存屏障级别的保护。

OpenClaw
OpenClaw

一款AI开发辅助工具,主要用于开源的自托管AI智能体助手,曾用名Clawdbot、Moltbot,适合需要提升相关任务效率的用户。

下载

转移阶段缺乏安全的并发协议支持

不同于 ZGC 或 Shenandoah 使用着色指针(colored pointers)和加载屏障(load barrier)在运行时动态重定向引用,G1 没有这类硬件或 JVM 层级的并发转移基础设施。它的引用更新依赖一次性的、可控的全局暂停,确保所有线程看到的堆状态是迁移前后两个明确快照之一,而非中间混乱态。

STW 是代价可控的确定性选择

G1 的设计目标是在延迟可控的前提下兼顾吞吐量。筛选回收虽然 STW,但只处理已标记为高收益的少量 Region,且复制范围受限。相比 CMS 因浮动垃圾和并发失败导致的不可预测长停顿,G1 将不确定性转移到可预测的短暂停顿中,整体更稳定可靠。

相关文章

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

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

下载

相关标签:

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

相关专题

更多
PixTV官网入口地址合集
PixTV官网入口地址合集

本专题汇总了 PixTV AI 一站式视频创作平台的官方入口与使用教程。无需下载软件,浏览器直接访问即可使用。平台将剧本、图像、视频、声音与剪辑整合在“无限画布”中,接入 GPT Image 2.5、Seedance 2.5 等头部模型。本专题整理了从新建画布、角色锚定、分镜拆分到视频生成与导出的完整操作指南,助你快速上手 AI 短剧与漫剧创作。

2026.10.10

40

15

Kratos框架HTTP与gRPC服务开发教程
Kratos框架HTTP与gRPC服务开发教程

本专题围绕Kratos框架双协议服务开发,涵盖HTTP路由与处理器编写、参数获取、gRPC服务实现与客户端调用、metadata上下文传递、encoding编解码注册、统一响应封装、超时控制与流式响应实现方法。

2026.10.10

20

15

Kratos框架Protobuf接口定义与代码生成合集
Kratos框架Protobuf接口定义与代码生成合集

本专题讲解Kratos框架接口定义体系,涵盖proto编写规范、proto add/client/server生成命令、http注解路由、validate校验、OpenAPI文档生成、跨服务proto复用与兼容性设计。

2026.10.10

0

15

C++虚函数怎么定义和调用
C++虚函数怎么定义和调用

C++虚函数是实现运行时多态的重要机制。本专题从virtual关键字的基本用法入手,介绍基类与派生类之间的函数重写、基类指针调用派生类方法,以及动态绑定的执行过程,帮助初学者掌握虚函数的核心语法。

2026.10.10

20

26

C++类与对象的封装方法教程
C++类与对象的封装方法教程

C++封装是面向对象编程的核心特性之一,通过类将数据与操作数据的函数组织在一起,并利用访问权限控制外部访问。本专题介绍类的定义、成员变量、成员函数以及public、private和protected的使用方法,帮助初学者掌握封装的基本原理。

2026.10.10

20

32

C++构造函数定义与调用方法
C++构造函数定义与调用方法

C++构造函数用于初始化类对象,是面向对象编程的重要基础。本专题从构造函数的定义、声明和调用入手,介绍默认构造函数、带参数构造函数、拷贝构造函数及成员初始化列表,帮助初学者掌握对象创建与初始化的基本方法。

2026.10.10

20

16

Kratos框架零基础入门教程
Kratos框架零基础入门教程

本专题整理Kratos框架入门内容,涵盖Go环境准备、kratos CLI安装升级、new命令创建项目、目录结构分层说明、服务启动与双协议端口、依赖下载报错排查,帮助开发者快速跑通第一个Kratos框架微服务应用。

2026.10.10

20

15

C++条件判断语句怎么写
C++条件判断语句怎么写

C++条件判断是控制程序执行流程的重要基础。本专题介绍if、if-else、else if和switch等常见分支语句,结合条件表达式、比较运算符与代码示例,帮助初学者掌握不同场景下的判断逻辑。

2026.10.10

0

13

C++变量怎么声明和赋值
C++变量怎么声明和赋值

C++变量是编写程序和存储数据的基础。本专题围绕变量声明、定义、初始化、赋值和类型选择等内容展开,帮助初学者理解不同变量的用法,并掌握在实际代码中定义和使用变量的方法。

2026.10.10

20

20

热门下载

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

精品课程

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

共6课时 | 54.6万人学习

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

共89课时 | 133.4万人学习