Go runtime 调度器精讲（五）：调度策略
原创文章，欢迎转载，转载请注明出处，谢谢。
0. 前言
在
第四讲
我们介绍了 main goroutine 是如何运行的。其中针对 main goroutine 介绍了调度函数 schedule 是怎么工作的，对于整个调度器的调度策略并没有介绍，这点是不完整的，这一讲会完善调度器的调度策略部分。
1. 调度时间点
runtime.schedule
实现了调度器的调度策略。那么对于调度时间点，查看哪些函数调用的
runtime.schedule
即可顺藤摸瓜理出调度器的调度时间点，如下图：
调度时间点不是本讲的重点，这里有兴趣的同学可以顺藤摸瓜，摸摸触发调度时间点的路径，这里就跳过了。
2. 调度策略
调度策略才是我们的重点，进到
runtime.schedule
：
// One round of scheduler: find a runnable goroutine and execute it.
// Never returns.
func schedule() {
mp := getg().m // 获取当前执行线程
top:
pp := mp.p.ptr() // 获取执行线程绑定的 P
pp.preempt = false
// Safety check: if we are spinning, the run queue should be empty.
// Check this before calling checkTimers, as that might call
// goready to put a ready goroutine on the local run queue.
if mp.spinning && (pp.runnext != 0 || pp.runqhead != pp.runqtail) {
throw("schedule: spinning with local work")
}
gp, inheritTime, tryWakeP := findRunnable() // blocks until work is available
...
execute(gp, inheritTime) // 执行找到的 goroutine
}
runtime.schedule
的重点在
findRunnable()
。
findRunnable()
函数很长，为避免影响可读性，这里对大部分流程做了注释，后面在有重点的加以介绍。进入
findRunnable()
：
// Finds a runnable goroutine to execute.
// Tries to steal from other P's, get g from local or global queue, poll network.
// tryWakeP indicates that the returned goroutine is not normal (GC worker, trace
// reader) so the caller should try to wake a P.
func findRunnable() (gp *g, inheritTime, tryWakeP bool) {
mp := getg().m // 获取当前执行线程
top:
pp := mp.p.ptr() // 获取线程绑定的 P
...
// Check the global runnable queue once in a while to ensure fairness.
// Otherwise two goroutines can completely occupy the local runqueue
// by constantly respawning each other.
if pp.schedtick%61 == 0 && sched.runqsize > 0 {
lock(&sched.lock)
gp := globrunqget(pp, 1)
unlock(&sched.lock)
if gp != nil {
return gp, false, false
}
}
// local runq
if gp, inheritTime := runqget(pp); gp != nil { // 从 P 的本地队列中获取 goroutine
return gp, inheritTime, false
}
// global runq
if sched.runqsize != 0 { // 如果本地队列获取不到就判断全局队列中有无 goroutine
lock(&sched.lock) // 如果有的话，为全局变量加锁
gp := globrunqget(pp, 0) // 从全局队列中拿 goroutine
unlock(&sched.lock) // 为全局变量解锁
if gp != nil {
return gp, false, false
}
}
// 如果全局队列中没有 goroutine 则从 network poller 中取 goroutine
if netpollinited() && netpollWaiters.Load() > 0 && sched.lastpoll.Load() != 0 {
...
}
// 如果 network poller 中也没有 goroutine，那么尝试从其它 P 中偷 goroutine
// Spinning Ms: steal work from other Ps.
//
// Limit the number of spinning Ms to half the number of busy Ps.
// This is necessary to prevent excessive CPU consumption when
// GOMAXPROCS>>1 but the program parallelism is low.
// 如果下面两个条件至少有一个满足，则进入偷 goroutine 逻辑
// 条件 1： 当前线程是 spinning 自旋状态
// 条件 2： 当前活跃的 P 要远大于自旋的线程，说明需要线程去分担活跃线程的压力，不要睡觉了
if mp.spinning || 2*sched.nmspinning.Load() < gomaxprocs-sched.npidle.Load() {
if !mp.spinning { // 因为是两个条件至少满足一个即可，这里首先判断当前线程是不是自旋状态
mp.becomeSpinning() // 如果不是，更新线程的状态为自旋状态
}
gp, inheritTime, tnow, w, newWork := stealWork(now) // 偷 goroutine
if gp != nil {
// Successfully stole.
return gp, inheritTime, false // 如果 gp 不等于 nil，表示偷到了，返回偷到的 goroutine
}
if newWork {
// There may be new timer or GC work; restart to
// discover.
goto top // 如果 gp 不等于 nil，且 network 为 true，则跳到 top 标签重新找 goroutine
}
now = tnow
if w != 0 && (pollUntil == 0 || w < pollUntil) {
// Earlier timer to wait for.
pollUntil = w
}
}
...
if sched.runqsize != 0 { // 偷都没偷到，还要在找一遍全局队列，防止偷的过程中，全局队列又有 goroutine 了
gp := globrunqget(pp, 0)
unlock(&sched.lock)
return gp, false, false
}
if !mp.spinning && sched.needspinning.Load() == 1 { // 在判断一遍，如果 mp 不是自旋状态，且 sched.needspinning == 1 则更新 mp 为自旋，调用 top 重新找一遍 goroutine
// See "Delicate dance" comment below.
mp.becomeSpinning()
unlock(&sched.lock)
goto top
}
// 实在找不到 goroutine，表明当前线程多， goroutine 少，准备挂起线程
// 首先，调用 releasep 取消线程和 P 的绑定
if releasep() != pp {
throw("findrunnable: wrong p")
}
...
now = pidleput(pp, now) // 将解绑的 P 放到全局空闲队列中
unlock(&sched.lock)
wasSpinning := mp.spinning // 到这里 mp.spinning == true，线程处于自旋状态
if mp.spinning {
mp.spinning = false // 设置 mp.spinning = false，这是要准备休眠了
if sched.nmspinning.Add(-1) < 0 { // 将全局变量的自旋线程数减 1，因为当前线程准备休眠，不偷 goroutine 了
throw("findrunnable: negative nmspinning")
}
...
}
stopm() // 线程休眠，直到唤醒
goto top // 能执行到这里，说明线程已经被唤醒了，继续找一遍 goroutine
}
看完线程的调度策略我都要被感动到了，何其的敬业，穷尽一切方式去找活干，找不到活，休眠之前还要在找一遍，真的是劳模啊。
大致流程是比较清楚的，我们把其中一些值得深挖的部分在单拎出来。
首先，从本地队列中找 goroutine，如果找不到则进入全局队列找，这里如果看
gp := globrunqget(pp, 0)
可能会觉得疑惑，从全局队列中拿 goroutine 为什么要把 P 传进去，我们看这个函数在做什么：
// Try get a batch of G's from the global runnable queue.
// sched.lock must be held. // 注释说的挺清晰了，把全局队列的 goroutine 放到 P 的本地队列
func globrunqget(pp *p, max int32) *g {
assertLockHeld(&sched.lock)
if sched.runqsize == 0 {
return nil
}
n := sched.runqsize/gomaxprocs + 1 // 全局队列是线程共享的，这里要除 gomaxprocs 平摊到每个线程绑定的 P
if n > sched.runqsize {
n = sched.runqsize // 执行到这里，说明 gomaxprocs == 1
}
if max > 0 && n > max {
n = max
}
if n > int32(len(pp.runq))/2 {
n = int32(len(pp.runq)) / 2 // 如果 n 比本地队列长度的一半要长，则 n == len(P.runq)/2
}
sched.runqsize -= n // 全局队列长度减 n，准备从全局队列中拿 n 个 goroutine 到 P 中
gp := sched.runq.pop() // 把全局队列队头的 goroutine 拿出来，这个 goroutine 是要返回的 goroutine
n-- // 拿出了一个队头的 goroutine，这里 n 要减 1
for ; n > 0; n-- {
gp1 := sched.runq.pop() // 循环拿全局队列中的 goroutine 出来
runqput(pp, gp1, false) // 将拿出的 goroutine 放到全局队列中
}
return gp
}
调用
globrunqget
说明本地队列没有 goroutine 要从全局队列拿，那么就可以把全局队列中的 goroutine 放到 P 中，提高了全局队列 goroutine 的优先级。
如果全局队列也没找到 goroutine，在从
network poller
找，如果
network poller
也没找到，则准备进入自旋，从别的线程的 P 那里偷活干。我们看线程是怎么偷活的：
// stealWork attempts to steal a runnable goroutine or timer from any P.
//
// If newWork is true, new work may have been readied.
//
// If now is not 0 it is the current time. stealWork returns the passed time or
// the current time if now was passed as 0.
func stealWork(now int64) (gp *g, inheritTime bool, rnow, pollUntil int64, newWork bool) {
pp := getg().m.p.ptr() // pp 是当前线程绑定的 P
ranTimer := false
const stealTries = 4 // 线程偷四次，每次都要随机循环一遍所有 P
for i := 0; i < stealTries; i++ {
stealTimersOrRunNextG := i == stealTries-1
for enum := stealOrder.start(fastrand()); !enum.done(); enum.next() { // 为保证偷的随机性，随机开始偷 P。随机开始，后面每个 P 都可以轮到
...
p2 := allp[enum.position()] // 从 allp 中获取 P
if pp == p2 {
continue // 如果获取的是当前线程绑定的 P，则继续循环下一个 P
}
...
// Don't bother to attempt to steal if p2 is idle.
if !idlepMask.read(enum.position()) { // 判断拿到的 P 是不是 idle 状态，如果是，表明 P 还没有 goroutine，跳过它，偷下一家
if gp := runqsteal(pp, p2, stealTimersOrRunNextG); gp != nil { // P 不是 idle，调用 runqsteal 偷它！
return gp, false, now, pollUntil, ranTimer
}
}
}
}
// No goroutines found to steal. Regardless, running a timer may have
// made some goroutine ready that we missed. Indicate the next timer to
// wait for.
return nil, false, now, pollUntil, ranTimer
}
线程随机的偷一个可偷的 P，偷 P 的实现在
runqsteal
，查看
runqsteal
怎么偷的：
// Steal half of elements from local runnable queue of p2
// and put onto local runnable queue of p.
// Returns one of the stolen elements (or nil if failed). // 给宝宝饿坏了，直接偷一半的 goroutine 啊，够狠的！
func runqsteal(pp, p2 *p, stealRunNextG bool) *g {
t := pp.runqtail // t 指向当前 P 本地队列的队尾
n := runqgrab(p2, &pp.runq, t, stealRunNextG) // runqgrab 把 P2 本地队列的一半 goroutine 拿到 P 的 runq 队列中
if n == 0 {
return nil
}
n--
gp := pp.runq[(t+n)%uint32(len(pp.runq))].ptr() // 把偷到的本地队列队尾的 goroutine 拿出来
if n == 0 {
return gp // 如果只偷到了这一个，则直接返回。有总比没有好
}
h := atomic.LoadAcq(&pp.runqhead) // load-acquire, synchronize with consumers
if t-h+n >= uint32(len(pp.runq)) {
throw("runqsteal: runq overflow") // 如果 t-h+n >= len(p.runq) 表示偷多了...
}
atomic.StoreRel(&pp.runqtail, t+n) // 更新 P 的本地队列的队尾
return gp
}
这个偷就是把“地主家”（P2）的余粮 (goroutine) 给它抢一半过来，没办法我也要吃饭啊。
如果连偷都没偷到（好吧，太惨了点...），那就准备休眠了，不干活了还不行嘛。不干活之前在去看看全局队列有没有 goroutine 了（口是心非的 M 人）。还是没活，好吧，准备休眠了。
准备休眠，首先解除和 P 的绑定：
func releasep() *p {
gp := getg()
if gp.m.p == 0 {
throw("releasep: invalid arg")
}
pp := gp.m.p.ptr()
if pp.m.ptr() != gp.m || pp.status != _Prunning {
print("releasep: m=", gp.m, " m->p=", gp.m.p.ptr(), " p->m=", hex(pp.m), " p->status=", pp.status, "\n")
throw("releasep: invalid p state")
}
...
gp.m.p = 0
pp.m = 0
pp.status = _Pidle
return pp
}
就是指针的解绑操作，代码很清晰，连注释都不用，我们也不讲了。
解绑之后，
pidleput
把空闲的 P 放到全局空闲队列中。
接着，更新线程的状态，从自旋更新为非自旋，调用
stopm
准备休眠：
// Stops execution of the current m until new work is available.
// Returns with acquired P.
func stopm() {
gp := getg() // 当前线程执行的 goroutine
...
lock(&sched.lock)
mput(gp.m) // 将线程放到全局空闲线程队列中
unlock(&sched.lock)
mPark()
acquirep(gp.m.nextp.ptr())
gp.m.nextp = 0
}
stopm
将线程放到全局空闲线程队列，接着调用
mPark
休眠线程：
// mPark causes a thread to park itself, returning once woken.
//
//go:nosplit
func mPark() {
gp := getg()
notesleep(&gp.m.park) // notesleep 线程休眠
noteclear(&gp.m.park)
}
func notesleep(n *note) {
gp := getg()
if gp != gp.m.g0 {
throw("notesleep not on g0")
}
ns := int64(-1)
if *cgo_yield != nil {
// Sleep for an arbitrary-but-moderate interval to poll libc interceptors.
ns = 10e6
}
for atomic.Load(key32(&n.key)) == 0 { // 这里通过 n.key 判断线程是否唤醒，如果等于 0，表示未唤醒，线程继续休眠
gp.m.blocked = true
futexsleep(key32(&n.key), 0, ns) // 调用 futex 休眠线程，线程会“阻塞”在这里，直到被唤醒
if *cgo_yield != nil {
asmcgocall(*cgo_yield, nil)
}
gp.m.blocked = false // “唤醒”，设置线程的 blocked 标记为 false
}
}
// One-time notifications.
func noteclear(n *note) {
n.key = 0 // 执行到 noteclear 说明，线程已经被唤醒了，这时候线程重置 n.key 标志位为 0
}
线程休眠是通过调用
futex
进入操作系统内核完成线程休眠的，关于
futex
的内容可以参考
这里
。
线程的 n.key 是休眠的标志位，当 n.key 不等于 0 时表示有线程在唤醒休眠线程，线程从休眠状态恢复到正常状态。唤醒休眠线程通过调用
notewakeup(&nmp.park)
函数实现：
func notewakeup(n *note) {
old := atomic.Xchg(key32(&n.key), 1)
if old != 0 {
print("notewakeup - double wakeup (", old, ")\n")
throw("notewakeup - double wakeup")
}
futexwakeup(key32(&n.key), 1) // 调用 futexwakeup 唤醒休眠线程
}
首先，线程是怎么找到休眠线程的？线程通过全局空闲线程队列找到空闲的线程，并且将空闲线程的休眠标志位 m.park 传给
notewakeup
，最后调用
futexwakeup
唤醒休眠线程。
值得一提的是，唤醒的线程在唤醒之后还是会继续找可运行的 goroutine 直到找到：
func stopm() {
...
mPark() // 如果 mPark 返回，表示线程被唤醒，开始正常工作
acquirep(gp.m.nextp.ptr()) // 前面休眠前，线程已经和 P 解绑了。这里在给线程找一个 P 绑定
gp.m.nextp = 0 // 线程已经绑定到 P 了，重置 nextp
}
基本这就是调度策略中很重要的一部分，线程如何找 goroutine。找到 goroutine 之后调用
gogo
执行该 goroutine。
3. 小结
本讲继续丰富了调度器的调度策略，下一讲，我们开始非 main goroutine 的介绍。