标记-清除算法从gc roots出发遍历对象图并标记可达对象，gc roots包括虚拟机栈局部变量、方法区静态字段、常量池字符串、jni引用及同步锁对象；遍历支持dfs或bfs，仅设存活位不修改引用结构；弱引用不参与标记，虚引用不影响可达性。

标记-清除算法通过从 GC Roots 出发，沿引用链递归或迭代遍历对象图，并对所有可达对象打上存活标记。它不关心引用数量或方向，只判断“能否从根到达”。

遍历起点：GC Roots 是唯一入口

算法不扫描整个堆来“找引用”，而是固定从一组可信的活跃入口开始——即 GC Roots。这些包括：

• 虚拟机栈中正在使用的方法的局部变量
• 方法区中类的静态字段所引用的对象
• 常量池中字符串字面量等引用的对象
• 本地方法栈（JNI）中持有的 Java 对象引用
• 被同步锁（synchronized）持有的对象

遍历方式：深度或广度优先均可

一旦选定 Roots，回收器会按引用关系展开访问。常见实现是：

蛙蛙写作——超级AI智能写作助手

一款AI视频创作工具，主要用于蛙蛙写作辅助AI写文，帮助获取创意灵感，提供拆书、小说转剧本、视频生成等功能，是一款功能全面的AI智能写作工具，适合需要提升相关任务效率的用户。

下载

• 用栈模拟递归，做深度优先遍历（DFS），适合避免函数调用开销
• 用队列实现广度优先遍历（BFS），便于并发或增量标记
• 每个对象被首次访问时，立即在对象头或独立位图中标记为“已访问”
• 已标记的对象不再重复入栈/入队，防止无限循环或重复处理

标记本质：仅设一个“存活”位，不修改引用结构

标记过程不移动对象、不调整指针、不增删字段，只是设置一个轻量级状态位：

• 通常复用对象头中未使用的比特位，或维护独立的位图（bit-map）
• 标记动作本身是原子的，避免多线程竞争导致漏标
• 只要对象能从任一 Root 经一条或多条引用路径抵达，就必被标记
• 即使 A↔B 形成循环引用，只要二者都不可达于任何 Root，就不会被标记

不处理“断开引用”或“弱引用”的特殊逻辑

标准标记-清除算法默认将所有强引用纳入遍历范围。对其他引用类型需额外约定：

• 软引用（SoftReference）：通常在内存不足时才被忽略，标记阶段仍视作有效路径
• 弱引用（WeakReference）：标记阶段不视为可达依据，其 referent 若无其他强引用，会被标记为垃圾
• 虚引用（PhantomReference）：不影响对象可达性，不参与标记遍历
• Finalizer 引用：JVM 可能将其加入特殊 Roots，确保 finalize() 有机会执行