说到根节点枚举，让停顿时间最小化

在 HotSpot 的 GC 中。GC Roots 是所有可达性分析的起点。典型的 GC Roots 包括栈帧中的局部变量、寄存器中的值、静态字段和常量引用。但在实际使用中，特别是大规模 Java 项目下查找 GC Roots 的耗时往往成为停顿时间的主要瓶颈。

为了解决这个痛点。HotSpot 引入了准确式垃圾收集

• 保守式 GC 会把所有“看起来像堆地址”的值都当作指针，导致误判存活对象和无法安全移动。
• 准确式 GC 的OopMap记录每个安全点上寄存器和栈帧中哪些位置保存的是对象引用，从而精准枚举根节点。

OopMap 的作用与实现

OopMap 是一张记录表，它描述了某个程序位置下 CPU 寄存器和栈帧中哪些单元保存着对象指针。借助 OopMap，GC 能够：

• 准确遍历线程栈中的每一帧，提取所有存活引用。
• 保证对象可以安全移动或回收。

从安全点来看。让 GC 能及时暂停线程

User Pain Point: 若 JVM 在任意指令处停顿，则需要为每条机器指令维护 OopMap，这在技术上不可行且性能灾难。HotSpot 通过安全点来解决：只有在特定代码位置才能安全挂起线程，从而保证 OopMap 的准确性。

抢先式中断 vs 主动式中断

• 抢先式中断：程序先中断所有使用者线程，再让它们跑到最近的安全点；如果当前不在安全点则继续执行后再中断。
• 主动式中断：线程持续轮询一个全局标志，一旦被置位就主动跑到最近的安全点挂起。

安全区域的观点是。解决阻塞线程导致停顿过长的问题

User Pain Point: Sleep 或 Blocked 状态下的线程无法快速响应 safepoint 请求，从而拖延整个 STW过程。HotSpot 定义了安全区域: 在这段代码内对象引用关系保持不变，即使线程处于阻塞也不会影响 GC 的正确性。

进入 & 离开安全区域的流程

1.  进入： 调用如 Thread.sleep 时标记为进入安全区域；随后即使长时间阻塞也不参与 safepoint 检查。
2.  离开： 阻塞结束后检查是否已完成 STW；若未完成则等待直到收到“可以离开”信号，以避免修改引用与正在进行的 GC 冲突。

记忆集 & 卡表：高效跨代引用扫描机制

记忆集概念及卡表实现细节

User Pain Point: 若在 Minor GC 时需要扫描整块老年代，会造成巨大额外负担。记忆集通过CARD TABLEa只记录含有跨代指针的内存块，从而显著降低扫描范围。不过，

CARD TABLE 本质是一个字节数组，每个元素对应堆内存的一块“卡页”。当卡页内存在跨代指针时该元素被标记为 “脏”，否则为 “干”。Minor GC 时仅扫描脏卡页就可以完成老年代对新生代的引用检查。

从写屏障来看。确保卡表同步更新与并发可达性分析支持

写屏障基本形式与作用域

• writes‑before screen barrier ：记录旧值，为原始快照做准备。
• writes‑after screen barrier ：更新卡表或将相关对象重新标记为灰色，以便增量更新。

• void oop_field_store {
  // 写前操作
  post_write_barrier;// 写后屏障
  }

伪共享问题及调整方法

• Pseudo‑sharing occurs when multiple threads frequently modify adjacent bytes in card table,causing cache invalidation.
• A common optimization is to check if a card page is already dirty before attempting to write it again.

• The initial root enumeration phase typically incurs short pauses due to OopMaps.
• The time-consuming part is traversing object graph from se roots.
• Mature low‑latency collectors parallelize this traversal to keep STW time minimal.

漏标触发条件

1. A black object adds a reference to a white object.
2. A gray object drops its reference to that white object.

方法

• # 增量更新：利用写屏障把新增白引用加入待处理列表或重新将相关对象变灰；此方案依赖写后屏障，# 原始快照：利用写前屏障记录旧值。让当前白对象暂时保留直到下一轮收集，此方案会产生浮动垃圾，但能防止误回收。# 两种方案皆需借助写屏障确保 GC 能感知并发期间对引用关系的改变。

• The following chain shows how all mechanisms fit toger: “GC Roots → Accurate enumeration via OopMaps → Safepoints/Safe Regions → Remembered Set / Card Table → Write Barriers → Concurrent reachability analysis → Three‑color marking → Incremental update / Snapshot isolation.” Each step addresses specific pain points of high‑performance garbage collection: - Root enumeration without excessive pause. - Accurate stack/register snapshot via OopsMaps at safe locations. - Quick thread suspension without scanning every instruction. - Avoiding deadlocks with blocked threads via Safe Regions. - Scanning only relevant cards instead of entire heap. - Maintaining card state during concurrent updates through Write Barriers. - Representing intermediate traversal state in concurrent marking using three colors. - Preventing lost marks by incremental updates or original snapshots. Overall,se mechanisms ensure correct garbage collection while keeping stop‑‑world pauses as short as possible.

This concludes an end-to-end view of how HotSpot implements garbage collection with minimal disruption and maximum correctness.»