上一篇博客总结了Go调度器的设计以及go调度器解决如何解决了用户态线程典型问题,这一篇就跟踪下Goroutine的源码实现。Go1.5源码剖析 已经写的非常详细了,我只把我觉得重要的地方集中总结一下。
Go程序初始化过程
C程序的入口地址通常是C运行库的_start函数,它完成了初始化堆栈、命令行参数设置、环境变量初始化、IO初始化、线程相关初始化或者还有全局构造。Go的入口函数整个初始化过程也完成了类似的工作。
runtime.args // 整理命令行参数 设置环境变量
runtime.osinit // 确定CPU的core数目 调整procs的值
runtime.schedinit // 初始化栈 内存分配器 垃圾回收器和并发调度器
初始化过程之后进入了runtime.main
。这时启动了后台监控线程sysmon
。执行了runtime包和用户包所有初始化init函数之后进入用户的main
函数。
func main() {
// new os thread for sysmon
systemstack(func() {
newm(sysmon, nil)
})
runtime_init() // must be before defer
gcenable()
main_init()
main_main()
}
需要注意的是runtime.main是通过newproc
和mstart
创建的。也就是说main对应的是goroutine而不是线程,所以它的地位还没有sysmon
高啊。
runtime.newproc
runtime.mstart
P与G的创建
schedinit
schedinit中与调度器相关的操作包括,设置最大的M数量10000;初始化当前的m;初始化P的数目默认为CPU核数,可以通过环境变量GOMAXPROCS设置;最后调整P的大小。
func schedinit() {
...
sched.maxmcount = 10000
mcommoninit(_g_.m)
procs := int(ncpu)
if n := atoi(gogetenv("GOMAXPROCS")); n > 0 {
if n > _MaxGomaxprocs {
n = _MaxGomaxprocs
}
procs = n
}
if procresize(int32(procs)) != nil {
throw("unknown runnable goroutine during bootstrap")
}
...
}
调整P大小是因为P保存在全局数组allp
中,它在.data段就分配了空间 [_MaxGomaxprocs + 1]*p
,这对应着256+1个指针空间。在schedinit
中通过procresize
将这个空间里的nprocs
个指针初始化,其余的删除。
- freeUnused P时要处理P里面原始的G队列,将他们放到全局schedt中。当然schedinit时不存在这个操作,这个逻辑是startTheWorld修改P数目准备的。
- 如果当前的P是被释放的那一拨,则将当前P与M分离,将M与allp[0]绑定。
- 处理allp[0-nprocs],将没有本地G的P放入schedt的全局idleP链表,将有本地G队列的作为runnalblePs链表返回。
func procresize(nprocs int32) *p {
...
// initialize new P's
for i := int32(0); i < nprocs; i++ {
pp := allp[i]
if pp == nil {
pp = new(p)
pp.id = i
pp.status = _Pgcstop ...
atomicstorep(unsafe.Pointer(&allp[i]), unsafe.Pointer(pp))
}
if pp.mcache == nil {
pp.mcache = allocmcache()
}
}
// free unused P's
for i := nprocs; i < old; i++ {
p := allp[i]
// move all runnable goroutines to the global queue
for p.runqhead != p.runqtail {
p.runqtail--
gp := p.runq[p.runqtail%uint32(len(p.runq))]
globrunqputhead(gp)
}
freemcache(p.mcache)
p.mcache = nil
p.status = _Pdead
// can't free P itself because it can be
// referenced by an M in syscall
}
_g_ := getg()
if _g_.m.p != 0 && _g_.m.p.ptr().id < nprocs {
// continue to use the current P
_g_.m.p.ptr().status = _Prunning
} else {
// release the current P and acquire allp[0]
_g_.m.p = 0
_g_.m.mcache = nil
p := allp[0]
p.m = 0
p.status = _Pidle
acquirep(p)
}
var runnablePs *p
for i := nprocs - 1; i >= 0; i-- {
p := allp[i]
if _g_.m.p.ptr() == p {
continue
}
p.status = _Pidle
if runqempty(p) {
pidleput(p)
} else {
p.m.set(mget())
p.link.set(runnablePs)
runnablePs = p
}
}
atomicstore((*uint32)(unsafe.Pointer(int32p)), uint32(nprocs))
return runnablePs
}
newproc
go编译器将go func()
翻译成runtime.newproc()
。为了go func的执行,从右到左入栈了调用方的PC寄存器,返回值数目,参数数目,第一个参数的地址以及函数地址。
func newproc(siz int32, fn *funcval) {
argp := add(unsafe.Pointer(&fn), ptrSize)
pc := getcallerpc(unsafe.Pointer(&siz))
systemstack(func() {
newproc1(fn, (*uint8)(argp), siz, 0, pc)
})
}
newproc1
创建了G实例。从gfget()
获取空闲的G对象,若获取失败则malg
新建G对象。设置栈空间和保存现场的sched域以及初始状态Grunnable,runqput放入待运行队列,如果有空闲的P则尝试唤醒它来执行。
gfget
是从p的gfree列表或全局sched的gfree链表中获取可以复用的G对象。当goroutine结束时调用goexit0
时会将当前的G对象gfput到p本地的gfree队列中。malg
用默认的2KB栈空间来将new(g)
创建的新G对象初始化。主要是通过stackalloc
初始化newg.stack。- go func指定的执行参数会被拷贝到G的栈空间,因为它跟main所在的栈不再有任何关系,各自使用独立的栈空间。
- 创建好的G优先放入P.runnext,或者放入数组实现的循环队列P.runq,若本地队列
runq [256]*g
已满则加锁放入全局队列Sched.runq。 - 如果本地队列满会通过
runqputslow
将P本地一半的任务G放到全局队列中。使得别的P可以去执行,这也是最后wakeP去唤醒其他M/P执行任务的原因。
func newproc1(fn *funcval, argp *uint8, narg int32,
nret int32, callerpc uintptr) *g {
_g_ := getg()
_p_ := _g_.m.p.ptr()
newg := gfget(_p_) // 获取空闲的可复用的G对象
if newg == nil {
newg = malg(_StackMin) // 新建栈空间为2KB的G对象
casgstatus(newg, _Gidle, _Gdead) // 设置G状态位Gdead
allgadd(newg)
}
...
// 确定栈顶位置 并且入栈参数列表和参数个数
memmove(unsafe.Pointer(spArg), unsafe.Pointer(argp), uintptr(narg))
// 初始化用于保存执行现场的sched域
memclr(unsafe.Pointer(&newg.sched), unsafe.Sizeof(newg.sched))
newg.sched.sp = sp
// 指定了G任务函数的返回地址 goexit
newg.sched.pc = funcPC(goexit) + _PCQuantum
newg.sched.g = guintptr(unsafe.Pointer(newg))
gostartcallfn(&newg.sched, fn)
//设置status和id域
newg.gopc = callerpc
newg.startpc = fn.fn
casgstatus(newg, _Gdead, _Grunnable)
...
newg.goid = int64(_p_.goidcache)
_p_.goidcache++
// 将G放入待运行队列
runqput(_p_, newg, true)
// 如果有全局空闲的P 则尝试唤醒waitP来执行
// 如果有M处于自旋等待P或G的状态 放弃
// 如果当前创建的是 runtime.main 放弃
if atomicload(&sched.npidle) != 0 &&
atomicload(&sched.nmspinning) == 0 &&
unsafe.Pointer(fn.fn) != unsafe.Pointer(funcPC(main)) {
wakep()
}
...
return newg
}
M的创建和G的执行
从上一节可见runtime.newproc
只是创建了G并放入当前P的G队列或全局G队列。如果是main goroutine,则显示调用mstart
;其他goroutine则尝试wakeP去启动M的创建和G的执行。
wakeP+startm
首先G创建后会尝试通过pidleget
去Sched.pidle链表获取空闲的P来执行,若没有的话就继续排队等待现有的P执行。获取到P后需要绑定M来执行,这时可以从shec.midle中获取可复用的m,通过notewakeup
唤醒M;若没有空闲的M则重建newm
。
func wakep() {
// be conservative about spinning threads
if !cas(&sched.nmspinning, 0, 1) {
return
}
startm(nil, true)
}
func startm(_p_ *p, spinning bool) {
lock(&sched.lock)
// 如果startm没有指定P则尝试获取空闲的P
if _p_ == nil {
_p_ = pidleget()
if _p_ == nil {
unlock(&sched.lock)
if spinning {
xadd(&sched.nmspinning, -1)
}
return
}
}
mp := mget() //获取闲置的M若无则新建newM
unlock(&sched.lock)
if mp == nil {
var fn func()
if spinning {
fn = mspinning
}
newm(fn, _p_)
return
}
mp.spinning = spinning
mp.nextp.set(_p_)
notewakeup(&mp.park)
}
newM
allocm
主要就是初始化了m自带的名为g0的栈,默认8KB栈内存。它的栈内存地址会被传给newosproc
,作为系统线程默认的栈空间。mcommoninit
检查M数目是否超过默认的10000,然后将m添加到allm
链表且不会释放。newosproc
表示创建OS线程,Linux调用的是clone
,并指定了以下flags表示哪些进程资源可以共享,最后CLONE_THREAD表示clone出来的是线程,与当前进程显示同一个pid。同时指定了OS线程对应的启动函数是mstart
。
CLONE_VM| CLONE_FS | CLONE_FILES| CLONE_SIGHAND | CLONE_THREAD
func newm(fn func(), _p_ *p) {
mp := allocm(_p_, fn)
// 设置p设置到m的nextp域
mp.nextp.set(_p_)
msigsave(mp)
...
newosproc(mp, unsafe.Pointer(mp.g0.stack.hi))
}
func allocm(_p_ *p, fn func()) *m {
...
mp := new(m)
mp.mstartfn = fn
mcommoninit(mp)
mp.g0 = malg(8192 * stackGuardMultiplier)
mp.g0.m = mp
...
return mp
}
func newosproc(mp *m, stk unsafe.Pointer) {
ret := clone(cloneFlags, stk, unsafe.Pointer(mp),
unsafe.Pointer(mp.g0), unsafe.Pointer(funcPC(mstart)))
}
mstart
无论是main goroutine还是其他goroutine,最终G执行的起点都是mstart。mstart主要设置了G的stack空间边界以及将m与它的nextp进行绑定。绑定过程acquirep
,即m获取p的mcache并设置P的状态为prunning。
func mstart() {
_g_ := getg()
// Initialize stack guards so that we can start calling
// both Go and C functions with stack growth prologues.
_g_.stackguard0 = _g_.stack.lo + _StackGuard
_g_.stackguard1 = _g_.stackguard0
mstart1()
}
func mstart1() {
_g_ := getg()
// 初始化g0执行现场
gosave(&_g_.m.g0.sched)
_g_.m.g0.sched.pc = ^uintptr(0) // make sure it is never used
asminit()
minit()
// 执行启动函数 通常是mspinning() sched.nmspinning--
if fn := _g_.m.mstartfn; fn != nil {
fn()
}
// 将m与它的nextp绑定
if _g_.m.helpgc != 0 {
_g_.m.helpgc = 0
stopm()
} else if _g_.m != &m0 {
acquirep(_g_.m.nextp.ptr())
_g_.m.nextp = 0
}
// 进入任务调度循环 不再返回
schedule()
}
schedule
总结G的执行过程:从各种渠道获取G任务+执行execute这个G任务。执行G时需要从当前g0栈切换到G的栈执行,返回时执行goexit清理现场,然后重新进入schedule。
- 获取G任务优先从本地P队列中runqget获取,另外每处理n个任务就要去全局获取G任务,如果本地G和全局G,甚至网络任务netpoll都没有,则从其它的P队列steal。
- execute任务是最终调用的是
gogo
函数。它完成了g0栈道G栈的切换,JMP到G任务函数代码执行。 - G任务返回时执行的是
goexit
,因为在newproc1初始化G时,它的栈空间入栈的返回地址是goexit。goexit
完成了G状态的清理,将G放回复用链表重新进入调度循环。
func schedule() {
_g_ := getg()
top:
var gp *g
var inheritTime bool
if gp == nil {
// 处理n个任务后就去全局队列中获取G任务,以确保公平
if _g_.m.p.ptr().schedtick%61 == 0 && sched.runqsize > 0 {
lock(&sched.lock)
gp = globrunqget(_g_.m.p.ptr(), 1)
unlock(&sched.lock)
if gp != nil {
resetspinning()
}
}
}
// 从P本地队列获取G任务
if gp == nil {
gp, inheritTime = runqget(_g_.m.p.ptr())
if gp != nil && _g_.m.spinning {
throw("schedule: spinning with local work")
}
}
// 从其它可能的地方获取G 若获取失败则block M进入休眠状态
if gp == nil {
gp, inheritTime = findrunnable()
resetspinning()
}
// 执行G
execute(gp, inheritTime)
}
func execute(gp *g, inheritTime bool) {
_g_ := getg()
casgstatus(gp, _Grunnable, _Grunning)
gp.waitsince = 0
gp.preempt = false
gp.stackguard0 = gp.stack.lo + _StackGuard
if !inheritTime {
_g_.m.p.ptr().schedtick++
}
_g_.m.curg = gp
gp.m = _g_.m
gogo(&gp.sched)
}
func goexit0(gp *g) {
_g_ := getg()
casgstatus(gp, _Grunning, _Gdead)
gp.m = nil
...
gfput(_g_.m.p.ptr(), gp)
schedule()
}
状态变迁
P与G的状态变迁
P创建于schedinit程序初始化时,除了当前对应main goroutine的P,其他npcrocs-1个P都放进空闲P链表中等待使用,状态为Pidle。当m与p绑定时调用acquirep
会将P状态设置为Prunning。Psyscall只有进入系统调用时发生。Pdead只有调整prosize大小时用到。
const (
_Pidle = iota
_Prunning // Only this P is allowed to change from _Prunning.
_Psyscall
_Pgcstop
_Pdead
)
G创建于newproc即通过go关键字调用函数时初始为Gidle。在给G分配栈空间之前G为Gdead,初始化后放进队列之前状态改为Grunnable。m真正执行到G后状态才是Grunning。
const (
_Gidle = iota // 0
_Grunnable // 1 runnable and on a run queue
_Grunning // 2
_Gsyscall // 3
_Gwaiting // 4
_Gmoribund_unused // 5 currently unused, but hardcoded in gdb scripts
_Gdead // 6
_Genqueue // 7 Only the Gscanenqueue is used.
_Gcopystack // 8 in this state when newstack is moving the stack
)
gopark+goready
Gwaiting只有park_m
才会出现,这时除非发生runtime.ready
否则G永远不会执行。因为Gwaiting并不出现在待运行队列中。channel操作 定时器 网络poll都有可能park goroutine。
func park_m(gp *g) {
_g_ := getg()
casgstatus(gp, _Grunning, _Gwaiting)
dropg()
if _g_.m.waitunlockf != nil {
fn := *(*func(*g, unsafe.Pointer) bool)(unsafe.Pointer(&_g_.m.waitunlockf))
ok := fn(gp, _g_.m.waitlock)
_g_.m.waitunlockf = nil
_g_.m.waitlock = nil
if !ok {
casgstatus(gp, _Gwaiting, _Grunnable)
execute(gp, true) // Schedule it back, never returns.
}
}
schedule()
}
midle与gsyscall
当陷入系统调用的G返回时,首先要dropg与原始的M分开,因为原始的M已经没有P给它提供内存了。之后G要重新pidleget找到一个空闲的P入队,若没有则入队全局队列。最后stopm停止当前m并继续schedule。
func exitsyscall0(gp *g) {
_g_ := getg()
casgstatus(gp, _Gsyscall, _Grunnable)
dropg()
lock(&sched.lock)
_p_ := pidleget()
if _p_ == nil {
globrunqput(gp)
} else if atomicload(&sched.sysmonwait) != 0 {
atomicstore(&sched.sysmonwait, 0)
notewakeup(&sched.sysmonnote)
}
unlock(&sched.lock)
if _p_ != nil {
acquirep(_p_)
execute(gp, false) // Never returns.
}
if _g_.m.lockedg != nil {
// Wait until another thread schedules gp and so m again.
stoplockedm()
execute(gp, false) // Never returns.
}
stopm()
schedule() // Never returns.
}
当M从系统调用退出时exitsyscall0
会调用stopm
把m放进空闲m链表,陷入休眠等待被唤醒。startm时所谓空闲的M的来源就是从系统调用中恢复的M。startm发生在两个时候:有新的G加入wakeP时,handOffP时P还有别的G任务。这时都会触发空闲M重用,对应notewakeup
。
func stopm() {
_g_ := getg()
retry:
lock(&sched.lock)
mput(_g_.m)
unlock(&sched.lock)
notesleep(&_g_.m.park)
noteclear(&_g_.m.park)
acquirep(_g_.m.nextp.ptr())
_g_.m.nextp = 0
}