Кто управляет горутинами в языке Go?

Планировщик Go runtime.

Он не является частью операционной системы, а реализован внутри самого Go-приложения. Управляет выполнением горутин, отображая их на потоки операционной системы (OS threads) по модели M:N (многие-ко-многим).

Ключевые компоненты планировщика:

• G (Goroutine): Абстракция горутины. Содержит стек, указатель на выполняемую функцию и другую метаинформацию.
• M (Machine): Поток операционной системы. Именно на нем выполняются горутины.
• P (Processor): Логический процессор. Представляет собой контекст, который связывает горутины с потоками ОС. Каждый P имеет локальную очередь горутин, готовых к выполнению.

Взаимодействие:

M должен быть привязан к P для выполнения кода. Когда горутина готова к выполнению, она помещается в локальную очередь P. M, привязанный к P, берет горутину из очереди и выполняет ее. Если локальная очередь P пуст