今天再看 timer 源码的时候，在函数 clearDeletedTimers() 里看到一段对切片的处理代码，实现目的就是对一个切片内容进行缩容。

// src/runtime/time.go

// The caller must have locked the timers for pp.
func clearDeletedTimers(pp *p) {
	timers := pp.timers
	......
	// 对无用的切片元素赋值 nil
	for i := to; i < len(timers); i++ {
		timers[i] = nil
	}

	atomic.Xadd(&pp.deletedTimers, -cdel)
	atomic.Xadd(&pp.numTimers, -cdel)
	atomic.Xadd(&pp.adjustTimers, -cearlier)

	timers = timers[:to]
	pp.timers = timers
	updateTimer0When(pp)

	......
}

to 变量指新切片的长度， len(timers)指原来切片的长度。

这里在其进行 timers = timers[:to] 操作前，先是将 to 数组索引后的值进行了赋值 nil。按照我们平常的用法，是没有必要执行这一步的，那为什么这里要加这一步呢？其实这里与GC 有关。

在日常开发中很少注意到这个细节，虽然最终实现的结果是一样的，但如果考虑GC的话，差别可就大多了。

对于gc的介绍主要位于 src/runtime/mgc.go，以下内容是对注释的翻译。

GC 四个阶段

通过源文件注释得知GC共分四个阶段：

1. GC 清理终止 (GC performs sweep termination）
   a. Stop the world, 每个P 进入GC safepoint（安全点），从此刻开始，万物静止。
   b. 清理未被清理的span，如果GC被强制执行时才会出现这些未清理的span
2. GC 标记阶段（GC performs the mark phase）
   a. 将gc标记从 _GCoff 修改为 _GCmark，开启写屏障（write barries）和 协助助手（mutator assists），将根对象放入队列。 在STW期间，在所有P都启用写屏障之前不会有什么对象被扫描。
   b. Start the world（恢复STW）。标记工作线程和协助助手并发的执行。对于任何指针的写操作和指针值，都会被写屏障覆盖，使新分配的对象标记为黑色。
   c. GC 执行根标记工作。包括扫描所有的栈，全局对象和不在堆数据结构中的堆指针。每扫描一个栈就会导致goroutine停止，把在栈上找到的所有指针置灰色，然后再恢复goroutine运行。
   d. GC 遍历队列中的每个灰色对象，扫描完以后将灰色对象标记为黑色，并将其指向的对象标记为灰色。
   e. 由于GC工作在分布本地缓存中，采用了一种 “分布式终止算法（distributed termination algorithm）” 来检测什么时候没有根对象或灰色对象。在这个时机GC会转为标记中止（mark termination）。
3. 标记终止（GC performs mark termination）
   a. Stop the world，从此刻开始，万物静止
   b. 设置阶段为 _GCmarktermination，并禁用 工作线程worker和协助助手
   c. 执行清理，flush cache
4. 清理阶段（GC performs the sweep phase）
   a. 设置清理阶段标记为 _GCoff，设置清理状态禁用写屏障
   b. Start the world（恢复STW），从现在开始，新分配的对象是白色的。如有必要，请在请在使用前扫描清理
   c. GC在后台执行并发扫描，并响应分配

整个GC共四个阶段，每次开始时从上到下执行。第一步是清理上次未清理完的span，而不是直接标记阶段。具体的流程可以参考 runtime.GC() 函数

Golang采用了三色标记法来进行垃圾回收，那么在什么场景下会触发这个GC动作呢？

源码主要位于文件 src/runtime/mgc.go go version 1.16

触发条件从大方面来说，分为 手动触发 和 系统触发 两种方式。手动触发一般很少用，主要通过开发者调用 runtime.GC() 函数来实现，而对于系统自动触发是 运行时 根据一些条件自行维护的，这也正是本文要介绍的内容。

不管哪种触发方式，底层回收机制是一样的，所以我们先看一下手动触发，看看能否根据它来找GC触发所需的条件。

// src/runtime/mgc.go

// GC runs a garbage collection and blocks the caller until the
// garbage collection is complete. It may also block the entire
// program.
func GC() {
	n := atomic.Load(&work.cycles)

	// 等待上一轮的标记终止
	gcWaitOnMark(n)

	// We're now in sweep N or later. Trigger GC cycle N+1, which
	// will first finish sweep N if necessary and then enter sweep
	// termination N+1.
	// 触发GC
	gcStart(gcTrigger{kind: gcTriggerCycle, n: n + 1})

	// Wait for mark termination N+1 to complete.
	// 等待本轮 标记终止
	gcWaitOnMark(n + 1)

	......
}

可以看到开始执行GC的是 gcStart() 函数，它有一个 gcTrigger 参数，是一个触发条件结构体，它的结构体也很简单。