golang 垃圾回收（三）插入写屏障 2020年6月14日

• 并发的垃圾回收
• STW 安全的回收
• 并发的垃圾回收
• 插入写屏障
  • 伪代码
  • 对象丢失的必要条件
  • 写屏障是怎么解决问题？

并发的垃圾回收

golang 语言设计的根本性追求就是高并发，低延迟，所以golang 的垃圾回收也是持续在优化。golang 的垃圾回收是并发垃圾回收设计，业务运行和回收器运行并发，这种设计的初衷是降低垃圾回收停顿时间。

之前提过一个例子，如果你要安全的实现回收垃圾，那么简单的就是回收垃圾的时候，把所有的业务操作都停止，这个术语是STW（stop the world）。下面用一些术语：

1. 赋值器：这个就是程序的业务代码
2. 回收器：垃圾回收器

STW 安全的回收

下面画了一个图，表示了这种简单例子的一个演进：

1. 灰色表示一次垃圾回收操作
2. 黑色表示下一次

图里我们看到：

1. 在单处理器的场景，赋值器和回收器的代码是交替运行的，回收器回收的时间即为赋值器停顿的时间；
2. 多处理器的时候，多个赋值器线程并行执行&