Как устроен планировщик горутин в Go и какую роль играют GOMAXPROCS и ядра ОС?

Как устроен планировщик горутин в Go и какую роль играют GOMAXPROCS и ядра ОС

• В Go используется M:N модель: большое количество горутин распределяется между меньшим числом системных потоков (OS threads).
• За распределение горутин по потокам отвечает встроенный в runtime планировщик.
• GOMAXPROCS — переменная среды/параметр, определяющий число OS потоков (P), которые планировщик может выполнять одновременно.
• Как правило, GOMAXPROCS соответствует числу логических ядер CPU, доступных ОС. Это позволяет эффективно загружать процессор и не создавать избыточную конкуренцию.
• Для каждого P предусмотрена собственная очередь горутин, из которой планировщик получает задачи для запуска.
• Планировщик обеспечивает многозадачность: он переключает горутины между потоками с учетом их блокировок и состояния ожидания.
• Если системный вызов блокирует поток, планировщик переводит исполнение другой горутины на иной поток, сохраняя высокую параллельность.
• Изменить GOMAXPROCS можно и после запуска программы, тем самым регулируя степень параллелизма и производительность.
• Планировщик рассчитан на современные многоядерные процессоры и умеет эффективно распределять между ними нагрузку.

Итак, планировщик Go распределяет горутины между ограниченным числом потоков. Это число задается GOMAXPROCS, ориентированным на количество ядер ОС для эффективного параллельного выполнения.

Подробный ответ

Основной ответ

Планировщик горутин Go представляет собой многоуровневый рантайм-компонент, управляющий выполнением легковесных "нитей" — горутин. Он организует их конкурентную работу на доступных системных потоках (M — machine thread), которые исполняются на ядрах ОС. Параметр GOMAXPROCS задает максимальное число системных потоков, работающих одновременно, а значит, и предельное количество горутин, способных реально выполняться параллельно на уровне ОС. По умолчанию значение этой переменной равно числу логических ядер процессора, доступных ОС.

Ключевые моменты

• При Модели M:N горутины (G) мультиплексируются на меньшем количестве системных потоков (M), распределением которых занимается ОС. Планировщик Go управляет этим соответствием и при необходимости создает дополнительные потоки, но в пределах ограничения GOMAXPROCS.
• Параметр GOMAXPROCS задает число потоков, способных одновременно выполнять код Go параллельно. Так, при GOMAXPROCS=1 все горутины по очереди используют один ОС поток. При большем значении задействуется больше ядер. Динамически изменить параметр можно через runtime.GOMAXPROCS().
• Связь с ядрами ОС заключается в том, что эффективное использование большего числа потоков, чем доступно физических или логических ядер, затруднено и приводит к лишним переключениям контекста. ОС размещает потоки на ядрах, а Go-рантайм распределяет горутины внутри этих потоков.

Практический контекст

В актуальных версиях Go (1.5 и выше) планировщик встроен в рантайм и оптимизирован для многопроцессорных систем, включая конфигурации с гиперпоточностью. Для CPU-bound задач обычно устанавливают GOMAXPROCS равным числу ядер, чтобы максимально использовать ресурсы: например, на сервере с 8 ядрами задают GOMAXPROCS=8. Для IO-bound задач такое значение может оказаться избыточным. Понимание принципов работы планировщика помогает повышать производительность и избегать ненужных переключений контекста.