- 并发的垃圾回收
- STW 安全的回收
- 并发的垃圾回收
- 插入写屏障
- 伪代码
- 对象丢失的必要条件
- 写屏障是怎么解决问题?
并发的垃圾回收
golang 语言设计的根本性追求就是高并发,低延迟,所以golang 的垃圾回收也是持续在优化。golang 的垃圾回收是并发垃圾回收设计,业务运行和回收器运行并发,这种设计的初衷是降低垃圾回收停顿时间。
之前提过一个例子,如果你要安全的实现回收垃圾,那么简单的就是回收垃圾的时候,把所有的业务操作都停止,这个术语是STW(stop the world)。下面用一些术语:
- 赋值器:这个就是程序的业务代码
- 回收器:垃圾回收器
STW 安全的回收
下面画了一个图,表示了这种简单例子的一个演进:
- 灰色表示一次垃圾回收操作
- 黑色表示下一次
图里我们看到:
- 在单处理器的场景,赋值器和回收器的代码是交替运行的,回收器回收的时间即为赋值器停顿的时间;
- 多处理器的时候,多个赋值器线程并行执行,但是每次回收器回收的时候,还是要挂起多个赋值器;
- 第三种,就是让多个处理器并行的执行回收器的任务,