在 Go 语言中，实现并发标记清除垃圾回收算法时，主要面临哪些技术难点？请结合其设计原理进行说明。
考察说明
考查对 Go 并发标记清除垃圾回收机制及其核心难点的理解。
回答思路
- 【回答框架 1】并发标记清除的核心难点在于标记阶段与应用线程并发执行时，如何确保堆上对象引用的完整性和一致性，避免误回收或漏回收。
- 【回答框架 2】难点一：写屏障。为维持三色不变式（黑色对象不能直接引用白色对象），必须引入写屏障，在指针写入时记录引用变化，确保扫描期间修改的引用不会导致存活对象被错误清除。
- 【回答框架 3】难点二：标记与扫描的并发协调。GC 扫描需与用户代码的执行同步，Go 使用启发式规则（如 gcpercent）触发 GC，并通过工作池和协作调度，在 STW 与并发运行间平衡，尽量减少暂停时间。
- 【回答框架 4】难点三：内存分配与 GC 的交互。并发标记期间新分配的对象需被正确跟踪，防止其被遗漏（如使用黑色分配策略），且需处理内存屏障的额外开销。
- 【回答框架 5】难点四：性能与复杂度的权衡。并发标记增加了实现复杂度，可能引入缓存伪共享、同步开销等，需通过优化（如写屏障的批处理、工作窃取调度）来降低对吞吐量和延迟的影响。
- 【关键点 1】写屏障是确保三色标记正确性的核心机制，防止并发修改导致存活对象被误收。
- 【关键点 2】并发标记需在 StW 时间和程序运行性能间做平衡，Go 采用增量式与并发式结合策略。
- 【关键点 3】新分配对象采用黑色分配策略，避免被标记过程遗漏。
- 【关键点 4】并发带来额外的同步和开销，需要通过工作池、批处理等优化手段缓解。
- 【易错点 1】不可认为并发标记完全无暂停，实际仍需短暂 Stw 进行栈扫描等操作。
- 【易错点 2】写屏障并非零开销，实现细节影响整体 GC 和程序性能，需合理设计。
- 【易错点 3】不要简单将并发标记与低延迟划等号，在极端分配场景下仍可能发生卡顿。