Shenandoah垃圾回收后的内存布局分析

夜磊同学_9984

夜磊同学_9984

2026-06-11

553人浏览

原创

shenandoah回收后堆仍保持region分区且无代际边界,空闲region分散存在;存活对象被并发复制至其他region并立即释放原region;转发指针保障引用一致性而不改变布局;连接矩阵替代卡表降低元数据开销。

shenandoah垃圾回收后的内存布局分析

Shenandoah回收后,堆内存仍保持Region分区结构,但整体不再按代划分,所有Region逻辑上平等,既可存放新对象,也可承载晋升对象。它不设固定年轻代/老年代边界,而是依据对象生命周期和回收价值动态调度Region——这直接决定了回收后内存的“物理连续性”与“逻辑碎片感”并存的特点。

Region分区持续存在,但无代际边界

Shenandoah沿用G1的堆分区模型,将整个堆划分为大小相等(默认2MB)、物理连续的Region。回收完成后,这些Region并未被合并或重排,而是继续以独立单元存在。关键区别在于:它取消了逻辑上的分代设计——没有Eden、Survivor或Old Generation的标签。对象分配不依赖代际策略,而是由分配器根据Region可用空间和回收优先级实时选择。这意味着回收后的空闲Region可能散落在堆中任意位置,不会聚集成大片连续区域。

存活对象被并发复制,旧Region立即可重用

在并发回收阶段(Concurrent Evacuation),Shenandoah将回收集(Collection Set)中所有存活对象复制到其他空闲Region中。复制完成后,原Region即被清空,标记为“可用”,可立即用于后续新对象分配。这种“复制+立即释放”的机制避免了标记-清除带来的碎片累积,也不同于G1需等待整理完成才释放空间。因此,回收后的内存布局表现为:一部分Region完全空闲(刚被清理),一部分含新复制的存活对象,还有一部分正被用户线程写入新对象——三者共存且动态切换。

Typeless
Typeless

Typeless是一款AI文本写作工具,AI语音输入工具,智能上下文润色。

下载

转发指针维持引用一致性,不改变布局结构

为支持并发复制,每个对象头前插入Brooks Pointer(转发指针)。当对象被复制后,该指针指向新地址;未复制时则指向自身。用户线程通过读屏障自动解析该指针访问正确副本。这一机制完全在对象粒度上运作,不涉及页级或Region级的地址重映射,因此对内存布局本身无扰动——Region的起始地址、大小、状态标识均保持不变,仅内部对象引用关系经重定向后生效。

连接矩阵替代卡表,降低元数据开销

Shenandoah用连接矩阵(Connection Matrix)代替G1的记忆集(Remembered Set)来记录Region间跨区引用。该矩阵是稀疏二维结构,仅记录“Region A → Region B”是否存在引用,不追踪具体字段或对象。它大幅减少元数据内存占用(尤其在大堆场景),但代价是扫描时需遍历整个目标Region而非精确卡页。回收后,连接矩阵会随Region状态更新而动态调整,不影响Region物理布局,只影响GC下次标记时的扫描范围和效率。

相关文章

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

20

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

0

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