全局变量

Go scheduler 在源码中的结构体为 schedt,保存调度器的状态信息、全局的可运行 G 队列等。源码如下:

  1. // 保存调度器的信息
  2. type schedt struct {
  3. // accessed atomically. keep at top to ensure alignment on 32-bit systems.
  4. // 需以原子访问访问。
  5. // 保持在 struct 顶部,以使其在 32 位系统上可以对齐
  6. goidgen uint64
  7. lastpoll uint64
  8. lock mutex
  9. // 由空闲的工作线程组成的链表
  10. midle muintptr // idle m's waiting for work
  11. // 空闲的工作线程数量
  12. nmidle int32 // number of idle m's waiting for work
  13. // 空闲的且被 lock 的 m 计数
  14. nmidlelocked int32 // number of locked m's waiting for work
  15. // 已经创建的工作线程数量
  16. mcount int32 // number of m's that have been created
  17. // 表示最多所能创建的工作线程数量
  18. maxmcount int32 // maximum number of m's allowed (or die)
  19. // goroutine 的数量,自动更新
  20. ngsys uint32 // number of system goroutines; updated atomically
  21. // 由空闲的 p 结构体对象组成的链表
  22. pidle puintptr // idle p's
  23. // 空闲的 p 结构体对象的数量
  24. npidle uint32
  25. nmspinning uint32 // See "Worker thread parking/unparking" comment in proc.go.
  26. // Global runnable queue.
  27. // 全局可运行的 G队列
  28. runqhead guintptr // 队列头
  29. runqtail guintptr // 队列尾
  30. runqsize int32 // 元素数量
  31. // Global cache of dead G's.
  32. // dead G 的全局缓存
  33. // 已退出的 goroutine 对象,缓存下来
  34. // 避免每次创建 goroutine 时都重新分配内存
  35. gflock mutex
  36. gfreeStack *g
  37. gfreeNoStack *g
  38. // 空闲 g 的数量
  39. ngfree int32
  40. // Central cache of sudog structs.
  41. // sudog 结构的集中缓存
  42. sudoglock mutex
  43. sudogcache *sudog
  44. // Central pool of available defer structs of different sizes.
  45. // 不同大小的可用的 defer struct 的集中缓存池
  46. deferlock mutex
  47. deferpool [5]*_defer
  48. gcwaiting uint32 // gc is waiting to run
  49. stopwait int32
  50. stopnote note
  51. sysmonwait uint32
  52. sysmonnote note
  53. // safepointFn should be called on each P at the next GC
  54. // safepoint if p.runSafePointFn is set.
  55. safePointFn func(*p)
  56. safePointWait int32
  57. safePointNote note
  58. profilehz int32 // cpu profiling rate
  59. // 上次修改 gomaxprocs 的纳秒时间
  60. procresizetime int64 // nanotime() of last change to gomaxprocs
  61. totaltime int64 // ∫gomaxprocs dt up to procresizetime
  62. }

在程序运行过程中,schedt 对象只有一份实体,它维护了调度器的所有信息。
在 proc.go 和 runtime2.go 文件中,有一些很重要全局的变量,我们先列出来:

  1. // 所有 g 的长度
  2. allglen uintptr
  3. // 保存所有的 g
  4. allgs []*g
  5. // 保存所有的 m
  6. allm *m
  7. // 保存所有的 p,_MaxGomaxprocs = 1024
  8. allp [_MaxGomaxprocs + 1]*p
  9. // p 的最大值,默认等于 ncpu
  10. gomaxprocs int32
  11. // 程序启动时,会调用 osinit 函数获得此值
  12. ncpu int32
  13. // 调度器结构体对象,记录了调度器的工作状态
  14. sched schedt
  15. // 代表进程的主线程
  16. m0 m
  17. // m0 的 g0,即 m0.g0 = &g0
  18. g0 g

在程序初始化时,这些全局变量都会被初始化为零值:指针被初始化为 nil 指针,切片被初始化为 nil 切片,int 被初始化为 0,结构体的所有成员变量按其类型被初始化为对应的零值。因此程序刚启动时 allgs,allm 和allp 都不包含任何 g,m 和 p。
不仅是 Go 程序,系统加载可执行文件大概都会经过这几个阶段:

  • 从磁盘上读取可执行文件,加载到内存
  • 创建进程和主线程
  • 为主线程分配栈空间
  • 把由用户在命令行输入的参数拷贝到主线程的栈
  • 把主线程放入操作系统的运行队列等待被调度

我们从一个 Hello World 的例子来回顾一下 Go 程序初始化的过程:

  1. package main
  2. import "fmt"
  3. func main() {
  4. fmt.Println("hello world")
  5. }

在项目根目录下执行:go build -gcflags “-N -l” -o hello src/main.go
-gcflags "-N -l" 是为了关闭编译器优化和函数内联,防止后面在设置断点的时候找不到相对应的代码位置。
得到了可执行文件 hello,执行:

  1. [qcrao@qcrao hello-world]$ gdb hello

进入 gdb 调试模式,执行 info files,得到可执行文件的文件头,列出了各种段:、
image.png
同时,我们也得到了入口地址:0x450e20。

  1. (gdb) b *0x450e20
  2. Breakpoint 1 at 0x450e20: file /usr/local/go/src/runtime/rt0_linux_amd64.s, line 8.

这就是 Go 程序的入口地址,我是在 linux 上运行的,所以入口文件为 src/runtime/rt0_linux_amd64.s,runtime 目录下有各种不同名称的程序入口文件,支持各种操作系统和架构,代码为:

  1. TEXT _rt0_amd64_linux(SB),NOSPLIT,$-8
  2. LEAQ 8(SP), SI // argv
  3. MOVQ 0(SP), DI // argc
  4. MOVQ $main(SB), AX
  5. JMP AX

主要是把 argc,argv 从内存拉到了寄存器。这里 LEAQ 是计算内存地址,然后把内存地址本身放进寄存器里,也就是把 argv 的地址放到了 SI 寄存器中。最后跳转到:

  1. TEXT main(SB),NOSPLIT,$-8
  2. MOVQ $runtime·rt0_go(SB), AX
  3. JMP AX

继续跳转到 runtime·rt0_go(SB),完成 go 启动时所有的初始化工作。
位于 /usr/local/go/src/runtime/asm_amd64.s

初始化g0

注意:这里的g0是一个全局变量,是主线程m0的g0,也需要注意每一个m中也有一个g0,只有m0创建才需要用到一个全局变量g0,其它的m创建时直接m.g0 = xxx 即可
继续看后面的代码,下面开始初始化全局变量g0,前面我们说过,g0的主要作用是提供一个栈供runtime代码执行,因此这里主要对g0的几个与栈有关的成员进行了初始化,从这里可以看出g0的栈大约有64K,地址范围为 SP - 64*1024 + 104 ~ SP。
runtime/asm_amd64.s : 96

  1. // create istack out of the given (operating system) stack.
  2. // _cgo_initmay update stackguard.
  3. //下面这段代码从系统线程的栈空分出一部分当作g0的栈,然后初始化g0的栈信息和stackgard
  4. MOVQ $runtime·g0(SB), DI //g0的地址放入DI寄存器
  5. LEAQ (-64*1024+104)(SP), BX//BX=SP- 64*1024 + 104
  6. MOVQ BX, g_stackguard0(DI) //g0.stackguard0 =SP- 64*1024 + 104
  7. MOVQ BX, g_stackguard1(DI) //g0.stackguard1 =SP- 64*1024 + 104
  8. MOVQ BX, (g_stack+stack_lo)(DI) //g0.stack.lo =SP- 64*1024 + 104
  9. MOVQ SP, (g_stack+stack_hi)(DI) //g0.stack.hi =SP

运行完上面这几行指令后g0与栈之间的关系如下图所示:
image.png

主线程与m0绑定

设置好g0栈之后,我们跳过CPU型号检查以及cgo初始化相关的代码,直接从164行继续分析。
runtime/asm_amd64.s : 164

  1. //下面开始初始化tls(thread local storage,线程本地存储)
  2. LEAQ runtime·m0+m_tls(SB), DI//DI=&m0.tls,取m0tls成员的地址到DI寄存器
  3. CALL runtime·settls(SB) //调用settls设置线程本地存储,settls函数的参数在DI寄存器中
  4. // store through it, to make sure it works
  5. //验证settls是否可以正常工作,如果有问题则abort退出程序
  6. get_tls(BX) //获取fs段基地址并放入BX寄存器,其实就是m0.tls[1]的地址,get_tls的代码由编译器生成
  7. MOVQ $0x123, g(BX) //把整型常量0x123拷贝到fs段基地址偏移-8的内存位置,也就是m0.tls[0] =0x123
  8. MOVQ runtime·m0+m_tls(SB), AX//AX=m0.tls[0]
  9. CMPQ AX, $0x123 //检查m0.tls[0]的值是否是通过线程本地存储存入的0x123来验证tls功能是否正常
  10. JEQ 2(PC)
  11. CALL runtime·abort(SB) //如果线程本地存储不能正常工作,退出程序

这段代码首先调用settls函数初始化主线程的线程本地存储(TLS),目的是把m0与主线程关联在一起,设置了线程本地存储之后接下来的几条指令在于验证TLS功能是否正常,如果不正常则直接abort退出程序
下面我们详细来详细看一下settls函数是如何实现线程私有全局变量的。
runtime/sys_linx_amd64.s : 606

  1. // set tls base to DI
  2. TEXT runtime·settls(SB),NOSPLIT,$32
  3. //......
  4. //DI寄存器中存放的是m.tls[0]的地址,mtls成员是一个数组,读者如果忘记了可以回头看一下m结构体的定义
  5. //下面这一句代码把DI寄存器中的地址加8,为什么要+8呢,主要跟ELF可执行文件格式中的TLS实现的机制有关
  6. //执行下面这句指令之后DI寄存器中的存放的就是m.tls[1]的地址了
  7. ADDQ $8, DI// ELF wants to use -8(FS)
  8. //下面通过arch_prctl系统调用设置FS段基址
  9. MOVQ DI, SI//SI存放arch_prctl系统调用的第二个参数
  10. MOVQ $0x1002, DI// ARCH_SET_FS //arch_prctl的第一个参数
  11. MOVQ $SYS_arch_prctl, AX//系统调用编号
  12. SYSCALL
  13. CMPQ AX, $0xfffffffffffff001
  14. JLS 2(PC)
  15. MOVL $0xf1, 0xf1 // crash //系统调用失败直接crash
  16. RET

从代码可以看到,这里通过archprctl系统调用把m0.tls[1]的地址设置成了fs段的段基址。CPU中有个叫fs的段寄存器与之对应,而每个线程都有自己的一组CPU寄存器值,操作系统在把线程调离CPU运行时会帮我们把所有寄存器中的值保存在内存中,调度线程起来运行时又会从内存中把这些寄存器的值恢复到CPU,这样,在此之后,工作线程代码就可以通过fs寄存器来找到m.tls,读者可以参考上面初始化tls之后对tls功能验证的代码来理解这一过程。
下面继续分析rt0_go,
_runtime/asm_amd64.s : 174

  1. ok:
  2. // set the per-goroutine and per-mach "registers"
  3. get_tls(BX) //获取fs段基址到BX寄存器
  4. LEAQ runtime·g0(SB), CX//CX=g0的地址
  5. MOVQ CX, g(BX) //把g0的地址保存在线程本地存储里面,也就是m0.tls[0]=&g0
  6. LEAQ runtime·m0(SB), AX//AX=m0的地址
  7. //把m0g0关联起来m0->g0 =g0g0->m =m0
  8. // save m->g0 =g0
  9. MOVQ CX, m_g0(AX) //m0.g0 =g0
  10. // save m0 to g0->m
  11. MOVQ AX, g_m(CX) //g0.m =m0

上面的代码首先把g0的地址放入主线程的线程本地存储中,然后通过
m0.g0 = &g0
g0.m = &m0
把m0和g0绑定在一起,这样,之后在主线程中通过get_tls可以获取到g0,通过g0的m成员又可以找到m0,于是这里就实现了m0和g0与主线程之间的关联。从这里还可以看到,保存在主线程本地存储中的值是g0的地址,也就是说工作线程的私有全局变量其实是一个指向g的指针而不是指向m的指针,目前这个指针指向g0,表示代码正运行在g0栈。此时,主线程,m0,g0以及g0的栈之间的关系如下图所示:
image.png

初始化m0

下面代码开始处理命令行参数,这部分我们不关心,所以跳过。命令行参数处理完成后调用osinit函数获取CPU核的数量并保存在全局变量ncpu之中,调度器初始化时需要知道当前系统有多少个CPU核。
runtime/asm_amd64.s : 189

  1. //准备调用args函数,前面四条指令把参数放在栈上
  2. MOVL 16(SP), AX// AX = argc
  3. MOVL AX, 0(SP) // argc放在栈顶
  4. MOVQ 24(SP), AX// AX = argv
  5. MOVQ AX, 8(SP) // argv放在SP + 8的位置
  6. CALL runtime·args(SB) //处理操作系统传递过来的参数和env,不需要关心
  7. //对于linx来说,osinit唯一功能就是获取CPU的核数并放在global变量ncpu中,
  8. //调度器初始化时需要知道当前系统有多少CPU
  9. CALL runtime·osinit(SB) //执行的结果是全局变量 ncpu = CPU核数
  10. CALL runtime·schedinit(SB) //调度系统初始化

接下来继续看调度器是如何初始化的。
runtime/proc.go : 526

  1. func schedinit() {
  2.   // raceinit must be the first call to race detector.
  3.   // In particular, it must be done before mallocinit below calls racemapshadow.
  4. //getg函数在源代码中没有对应的定义,由编译器插入类似下面两行代码
  5. //get_tls(CX)
  6. //MOVQ g(CX), BX; BX存器里面现在放的是当前g结构体对象的地址
  7. _g_ := getg() // _g_ = &g0
  8. ......
  9. //设置最多启动10000个操作系统线程,也是最多10000M
  10. sched.maxmcount=10000
  11. ......
  12. mcommoninit(_g_.m) //初始化m0,因为从前面的代码我们知道g0->m = &m0
  13. ......
  14. sched.lastpoll = uint64(nanotime())
  15. procs := ncpu //系统中有多少核,就创建和初始化多少个p结构体对象
  16. if n, ok: = atoi32(gogetenv("GOMAXPROCS")); ok && n > 0 {
  17. procs = n//如果环境变量指定了GOMAXPROCS,则创建指定数量的p
  18. }
  19. if procresize(procs) != nil {//创建和初始化全局变量allp
  20. throw("unknown runnable goroutine during bootstrap")
  21. }
  22. ......
  23. }

前面我们已经看到,g0的地址已经被设置到了线程本地存储之中,schedinit通过getg函数(getg函数是编译器实现的,我们在源代码中是找不到其定义的)从线程本地存储中获取当前正在运行的g,这里获取出来的是g0,然后调用mcommoninit函数对m0(g0.m)进行必要的初始化,对m0初始化完成之后调用procresize初始化系统需要用到的p结构体对象,按照go语言官方的说法,p就是processor的意思,它的数量决定了最多可以有都少个goroutine同时并行运行。schedinit函数除了初始化m0和p,还设置了全局变量sched的maxmcount成员为10000,限制最多可以创建10000个操作系统线程出来工作。
这里我们需要重点关注一下mcommoninit如何初始化m0以及procresize函数如何创建和初始化p结构体对象。首先我们深入到mcommoninit函数中一探究竟。这里需要注意的是不只是初始化的时候会执行该函数,在程序运行过程中如果创建了工作线程,也会执行它,所以我们会在函数中看到加锁和检查线程数量是否已经超过最大值等相关的代码。
runtime/proc.go : 596

  1. func mcommoninit(mp*m) {
  2. _g_ := getg() //初始化过程中_g_ = g0
  3. // g0 stack won't make sense for user (and is not necessary unwindable).
  4. if _g_ != _g_.m.g0 { //函数调用栈traceback,不需要关心
  5. callers(1, mp.createstack[:])
  6. }
  7. lock(&sched.lock)
  8. if sched.mnext + 1 < sched.mnext {
  9. throw("runtime: thread ID overflow")
  10. }
  11. mp.id = sched.mnext
  12. sched.mnext++
  13. checkmcount() //检查已创建系统线程是否超过了数量限制(10000)
  14. //random初始化
  15. mp.fastrand[0] = 1597334677*uint32(mp.id)
  16. mp.fastrand[1] = uint32(cputicks())
  17. if mp.fastrand[0]|mp.fastrand[1] ==0{
  18. mp.fastrand[1] =1
  19. }
  20. //创建用于信号处理的gsignal,只是简单的从堆上分配一个g结构体对象,然后把栈设置好就返回了
  21. mpreinit(mp)
  22. if mp.gsignal!=nil {
  23. mp.gsignal.stackguard1=mp.gsignal.stack.lo+_StackGuard
  24. }
  25. //把m挂入全局链表allm之中
  26. // Add to allm so garbage collector doesn't free g->m
  27. // when it is just in a register or thread-local storage.
  28. mp.alllink = allm
  29. // NumCgoCall() iterates over allm w/o schedlock,
  30. // so we need to publish it safely.
  31. atomicstorep(unsafe.Pointer(&allm), unsafe.Pointer(mp))
  32. unlock(&sched.lock)
  33. // Allocate memory to hold a cgo traceback if the cgo call crashes.
  34. if iscgo || GOOS == "solaris" || GOOS == "windows" {
  35. mp.cgoCallers = new(cgoCallers)
  36. }
  37. }

从这个函数的源代码可以看出,这里并未对m0做什么关于调度相关的初始化,所以可以简单的认为这个函数只是把m0放入全局链表allm之中就返回了。
m0完成基本的初始化后,继续调用procresize创建和初始化p结构体对象,在这个函数里面会创建指定个数(根据cpu核数或环境变量确定)的p结构体对象放在全变量allp里, 并把m0和allp[0]绑定在一起,因此当这个函数执行完成之后就有
m0.p = allp[0]
allp[0].m = &m0
到此m0, g0, 和m需要的p完全关联在一起了。

初始化allp

下面我们来看procresize函数,考虑到初始化完成之后用户代码还可以通过 GOMAXPROCS()函数调用它重新创建和初始化p结构体对象,而在运行过程中再动态的调整p牵涉到的问题比较多,所以这个函数的处理比较复杂,但如果只考虑初始化,相对来说要简单很多,所以这里只保留了初始化时会执行的代码:
runtime/proc.go : 3902

  1. func procresize(nprocsint32) *p {
  2. old := gomaxprocs//系统初始化时 gomaxprocs = 0
  3. ......
  4. // Grow allp if necessary.
  5. if nprocs > int32(len(allp)) { //初始化时 len(allp) == 0
  6. // Synchronize with retake, which could be running
  7. // concurrently since it doesn't run on a P.
  8. lock(&allpLock)
  9. if nprocs <= int32(cap(allp)) {
  10. allp = allp[:nprocs]
  11. } else { //初始化时进入此分支,创建allp 切片
  12. nallp:=make([]*p, nprocs)
  13. // Copy everything up to allp's cap so we
  14. // never lose old allocated Ps.
  15. copy(nallp, allp[:cap(allp)])
  16. allp=nallp
  17. }
  18. unlock(&allpLock)
  19. }
  20. // initialize new P's
  21. //循环创建nprocs个p并完成基本初始化
  22. for i := int32(0); i<nprocs; i++{
  23. pp := allp[i]
  24. if pp == nil{
  25. pp=new(p)//调用内存分配器从堆上分配一个struct p
  26. pp.id=i
  27. pp.status=_Pgcstop
  28. ......
  29. atomicstorep(unsafe.Pointer(&allp[i]), unsafe.Pointer(pp))
  30. }
  31. ......
  32. }
  33. ......
  34. _g_:=getg() // _g_ = g0
  35. if _g_.m.p != 0 && _g_.m.p.ptr().id < nprocs {//初始化时m0->p还未初始化,所以不会执行这个分支
  36. // continue to use the current P
  37. _g_.m.p.ptr().status=_Prunning
  38. _g_.m.p.ptr().mcache.prepareForSweep()
  39. } else {//初始化时执行这个分支
  40. // release the current P and acquire allp[0]
  41. if _g_.m.p != 0 {//初始化时这里不执行
  42. _g_.m.p.ptr().m=0
  43. }
  44. _g_.m.p=0
  45. _g_.m.mcache = nil
  46. p := allp[0]
  47. p.m = 0
  48. p.status = _Pidle
  49. acquirep(p) //把p和m0关联起来,其实是这两个strct的成员相互赋值
  50. if trace.enabled {
  51. traceGoStart()
  52. }
  53. }
  54. //下面这个for 循环把所有空闲的p放入空闲链表
  55. var runnablePs *p
  56. for i := nprocs-1; i >= 0; i-- {
  57. p := allp[i]
  58. if _g_.m.p.ptr() == p {//allp[0]跟m0关联了,所以是不能放任
  59. continue
  60. }
  61. p.status = _Pidle
  62. if runqempty(p) {//初始化时除了allp[0]其它p全部执行这个分支,放入空闲链表
  63. pidleput(p)
  64. } else {
  65. ......
  66. }
  67. }
  68. ......
  69. return runnablePs
  70. }

这个函数代码比较长,但并不复杂,这里总结一下这个函数的主要流程:

  1. 使用make([]p, nprocs)初始化全局变量allp,即allp = make([]p, nprocs)
  2. 循环创建并初始化nprocs个p结构体对象并依次保存在allp切片之中
  3. 把m0和allp[0]绑定在一起,即m0.p = allp[0], allp[0].m = m0
  4. 把除了allp[0]之外的所有p放入到全局变量sched的pidle空闲队列之中

procresize函数执行完后,调度器相关的初始化工作就基本结束了,这时整个调度器相关的各组成部分之间的联系如下图所示:
image.png