Golang GC垃圾回收原理是怎样的_Golang GC原理教程【实战】

秋强同学_3941

秋强同学_3941

2026-03-28

656人浏览

原创

go 的 gc 不会漏掉循环引用的对象,它基于可达性分析而非引用计数,只要对象无法从 gc roots 到达,即使形成闭合环也会被回收。

golang gc垃圾回收原理是怎样的_golang gc原理教程【实战】

Go 的 GC 不会漏掉循环引用的对象

Go 的垃圾回收器从不靠引用计数判断对象生死,所以循环引用根本不是问题。它只看一个东西:这个对象能不能从 GC roots(比如全局变量、当前 goroutine 的栈帧、寄存器)出发,顺着指针链“走”到。走不到,哪怕 A←→B←→C 形成一个闭合环,整个环也会被一锅端掉。

常见错误现象:
— 写了个树节点结构,父子互相持有指针,担心内存不释放
— 用 sync.Pool 缓存了带内部引用的对象,以为要手动断开才能回收
— 把 Go 的 GC 和 Python/PHP 的引用计数机制混为一谈

  • 只要没有外部变量还指向这个环里的任意一个节点,整个环在下一次 GC 周期就会被标记为白色并清除
  • 不需要你手动置 nil、清 map、断 channel 引用——除非你真想提前让对象不可达(比如大对象早释放)
  • 逃逸分析决定对象是否上堆;上了堆,才归 GC 管;没上堆(栈上分配),函数返回就自动消失,跟 GC 无关

GC 是谁在跑?不是虚拟机,是 Go runtime 自己

Go 编译出来的二进制文件里,已经静态链接了运行时(runtime),里面包含用 C 和汇编写的 GC 实现。它不是 JVM 那种独立进程,也不是靠外部服务驱动,而是程序启动时就内置的、用户态的调度+内存管理中枢。

这意味着:

Golang Spf13 Viper
Golang Spf13 Viper

Go 配置库,使用 spf13/viper — 分层优先级(flag > env >file > KV > default),提供 BindPFlag/BindPFlags、SetEnvPrefix + SetEnvKeyReplace 等功能。

下载
  • runtime.GC() 是强制触发一次完整 GC,但日常 GC 完全是自动的,由 sysmon goroutine 主动监控和发起
  • GC 触发条件有两个主路径:堆分配量增长超过上一次 GC 时的 100%(默认 GOGC=100),或距离上次 GC 超过 forcegcperiod(默认 2 分钟)
  • 你改环境变量 GOGC=50,会让 GC 更频繁(更早触发),适合内存敏感但 CPU 充裕的场景;设成 off 或极大值(如 10000)则可能拖慢响应,尤其在长连接服务中容易 OOM

三色标记法不是理论,它直接影响你写代码的方式

Go 1.5 起用的并发三色标记(concurrent tri-color marking),核心是靠写屏障(write barrier)保证标记过程不漏对象。这听起来底层,但它直接决定了你在哪些地方会“踩坑”。

典型场景:
— 在 GC 标记过程中,你往一个正在遍历的 map 里新增 key
— 或者在 goroutine 中快速创建大量小对象,同时主线程在做深度结构体赋值

  • 写屏障会捕获这些“新引用”,把目标对象重新标灰,确保不会误删——但这有微小开销,所以高吞吐写入场景(如日志缓冲、metrics collector)建议预分配容量,避免频繁扩容触发写屏障
  • 不要在 finalizer 函数里再创建新 goroutine 或分配堆对象,finalizer 运行时机不确定,且可能在 GC sweep 阶段执行,容易引发竞态或延迟回收
  • unsafe.Pointer 或反射绕过类型系统时,可能让 GC “看不见”某些引用(比如用 reflect.Value.Addr().Pointer() 拿到地址后自己管理),这种情况下必须用 runtime.KeepAlive() 显式延长生命周期

回收 ≠ 还给操作系统,空闲内存可能“赖着不走”

GC 清掉对象后,对应内存页(span)只是被 runtime 标记为空闲,供后续分配复用,并不马上调用 madvise(MADV_DONTNEED) 或 sysUnused 还给 OS。这是为了减少系统调用开销,但会导致 top 或 ps 看到的 RSS 居高不下。

  • 空闲 span 最多保留 scavengelimit 时间(默认 5 分钟),之后才会被 scavenger 后台任务清理并返还
  • 如果你的服务内存使用有明显波峰波谷(比如批处理作业),可以调低 GODEBUG=madvdontneed=1 强制立即归还,但会增加系统调用频率
  • 用 runtime.ReadMemStats() 查看 HeapReleased 字段,它反映已还给 OS 的字节数;HeapInuse 才是当前被 runtime 占用的堆内存(含空闲 span)

真正难处理的,是那些“半死不活”的长期存活对象:比如缓存没设淘汰策略、日志句柄一直打开、HTTP client 的 transport keep-alive 连接池无限膨胀——GC 对它们完全无能为力,因为它们始终可达。这时候得靠你自己的逻辑控制生命周期,而不是等 GC。

golang免费学习笔记(深入):立即使用
在学习笔记中,你将探索golang的核心概念和高级技巧!

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

2749

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2148

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1140

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1058

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1276

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

1978

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

3060

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

13375

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

529

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程