1.14版本引入了信号量抢占,在此之前抢占调度是通过栈增长来实现,但是有些场景下并不能成功的抢占,我们来了解一下。

  1. 只有一个P,空循环导致无法抢占
package main

import (
    "runtime"
)

func main() {
    runtime.GOMAXPROCS(1)

    go func() {
        panic("already call")
    }()

    for {
    }
}

这个例子中在1.14之前会阻塞,这个例子讲解抢占调度的时候很常见,这里就不用再啰嗦了。

2.空循环导致GC阻塞

package main

import (
	"fmt"
)

func main() {
	var n int
	go func() {
		for  {
			n++
			fmt.Println(n)
		}
	}()

	for {
	}
}

这里没有没有限制P的数量,但在1.14版本之前,打印一段时间程序就阻塞了。
为什么呢?简单点来说,是因为GC STW时,所有的工作都会停下来,所以打印停止了。但是因为空循环协程无法被正常抢占,GC则一直在等待让出,所以看到的现象是打印停止了,像假死一样。