很抱歉，目前（2022年）没有 Golang 1.20 版本。关于三色标记法在栈空间的工作原理，请允许我提供一个基于最新版本的 Golang（1.17）的说明。
Golang 使用三色标记法进行垃圾回收，其中包括根对象、灰色对象和黑色对象。在栈空间中，当一个 Goroutine 调用函数时，它的局部变量和函数参数都存储在栈上。
垃圾回收器会从根对象开始遍历整个对象图，并标记可达的对象为黑色。在这个过程中，遇到未被访问到的对象则会将其标记为灰色，并放入待处理队列。
当所有可达对象都被标记为黑色后，垃圾回收器会继续处理待处理队列中的灰色对象，即从队列中取出一个灰色对象并对其进行递归扫描。如果该灰色对象引用了其他尚未被访问到的白色对象，则将其标记为黑色并加入已处理集合；否则将其保持为灰色状态。
这个过程重复执行直到待处理队列为空，表示所有可达对象都已经被正确地标记为黑色。此时，所有不可达的白色对象可以被安全地清除。
需要注意的是，在进行垃圾回收过程中，Golang 会暂停程序的执行。为了减少停顿时间，Golang 还引入了并发标记和压缩等技术，以在尽量短的时间内完成垃圾回收操作。
希望这个简要的解释能对你理解 Golang 垃圾回收器在栈空间上的工作原理有所帮助。如果你对具体实现细节或其他相关内容感兴趣，建议查阅官方文档或深入的技术资料。
内容由零声教学AI助手提供，问题来源于学员提问
