Расскажи про планировщик в Go — для чего нужен, из чего состоит?

Планировщик в Go (scheduler) отвечает за управление выполнением горутин — легковесных потоков, которые Go использует для конкурентного выполнения кода.

Он нужен для эффективного распределения горутин по системным потокам (OS threads), чтобы максимально использовать ресурсы процессора и при этом не создавать слишком много тяжёлых потоков.

Основные компоненты планировщика:

• G (Goroutine) — структура, описывающая горутину, её состояние, стек и контекст выполнения.
• M (Machine) — системный поток ОС, на котором выполняются горутины.
• P (Processor) — логический процессор, который связывает G и M. P содержит очередь готовых к выполнению горутин.

Планировщик работает по модели M:P:G, где количество P ограничено (обычно равно числу доступных CPU), M создаются и уничтожаются динамически, а G переключаются между M через P.

Это позволяет Go эффективно управлять тысячами горутин с минимальными накладными расходами по сравнению с системными потоками.