V8引擎通过栈帧自动弹出、GC期间STW冻结调用栈、增量标记配合写屏障三机制协同，确保堆回收安全可靠：栈帧销毁使引用失效，STW固化根引用快照，写屏障捕获运行时引用变更。
V8 引擎在垃圾回收过程中不直接保护堆栈完整性，因为堆栈（Call Stack）本身不需要“保护”——它的完整性由执行模型天然保障，而垃圾回收（GC）主要作用于堆（Heap），与栈的生命周期机制完全解耦。
真正关键的是：栈帧的自动弹出与堆对象的可达性判定之间存在强协同关系，这种协同间接确保了整个内存模型的一致性和安全性。
下面从三个实际层面说明 V8 是如何做到这一点的：
栈帧自动清理是 GC 的前提基础
函数执行完毕时，对应栈帧立即被弹出，其中所有局部变量（包括对堆对象的引用）随之消失。
这意味着：
- 若某个堆对象仅被该栈帧中的变量引用，栈帧一弹出，该对象立刻失去可达性，成为待回收垃圾；
- V8 的根对象（Roots）扫描始终包含当前调用栈上的所有活跃引用，确保 GC 不会误收“还在被栈使用”的对象。
GC 期间栈处于安全暂停状态（Stop-The-World）
在关键 GC 阶段（尤其是老生代的标记阶段），V8 会短暂暂停 JavaScript 主线程执行（即“STW”），此时：
Java Maven Common
下载
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
立即学习“Java免费学习笔记（深入）”；
- 调用栈冻结，不再有新函数调用或变量变更；
- 所有栈帧状态固化，GC 可以精确、原子地遍历全部活跃引用链；
- 避免了“边运行边回收”导致的引用关系错乱或对象被提前释放。
增量标记与写屏障维持栈-堆一致性
为减少 STW 时间，V8 在老生代采用增量标记（Incremental Marking）：
- 标记过程被拆成小任务，在 JS 执行间隙穿插进行；
- 但若 JS 代码在此期间修改了对象引用（如
obj.a = newObj），V8 通过写屏障（Write Barrier） 捕获这一变更，并将相关对象重新标记为“需再次扫描”，防止漏标； - 这保证了即使栈上变量动态更新引用，GC 仍能准确反映最新可达状态。
简而言之，V8 并非靠“保护”堆栈来实现安全，而是依靠：
- 栈的确定性生命周期（进栈/出栈严格匹配函数调用）；
- GC 对栈根的实时快照与冻结；
- 写屏障对运行时引用变更的兜底捕获。
三者配合，让堆回收既高效又可靠，无需开发者干预，也不会破坏执行上下文的完整性。
