Как работает планировщик Go

Планировщик Go реализует M:N: множество горутин G на нескольких потоках ОС M. Чтобы выполнять Go-код, поток должен держать P, логический процессор, их ровно GOMAXPROCS. У каждого P есть локальная очередь на 256 горутин и слот runnext, плюс есть общая глобальная очередь. go f() создаёт G и кладёт в runnext текущего P, вытесненная оттуда уходит в локальную очередь, а при её переполнении половина переносится в глобальную. Когда горутина блокируется на канале, мьютексе или таймере, она паркуется в структуре ожидания, а M сразу берёт следующую G: переключение дешёвое, без ядра. Если горутина ушла в блокирующий syscall, P отвязывается и передаётся другому M, чтобы очередь не стояла. Сетевые операции не блокируют поток: сокеты неблокирующие, netpoller на epoll будит горутины по готовности. Когда работы нет, P смотрит глобальную очередь, netpoller и крадёт половину очереди у другого P. Раз в 61 тик планировщик проверяет глобальную очередь, чтобы она не голодала. Фоновый поток sysmon вытесняет горутины, работающие дольше 10 мс, сигналом (с Go 1.14), отбирает P у застрявших syscall и будит netpoller.