> Что такое GPM модель планировщика в Go и как она работает? (Go)

Короткий ответ

GPM - это модель планировщика в Go, где G - goroutine, P - processor (логический процессор), M - machine (поток ОС). Планировщик распределяет goroutine по потокам через локальные очереди процессоров, обеспечивая эффективное выполнение конкурентного кода. Работает по принципу work-stealing: если у одного P пустая очередь, он забирает задачи у других. Это позволяет Go эффективно использовать многоядерные системы без ручного управления потоками.

Подробное объяснение

Модель GPM - это архитектура рантайма Go для планирования goroutine. Разберём три компонента:

• G (goroutine) - лёгкая единица выполнения, которая содержит стек, состояние и инструкции. Goroutine не привязана к конкретному потоку и может мигрировать между ними.
• P (processor) - логический процессор, который хранит локальную очередь готовых goroutine (run queue). Количество P по умолчанию равно GOMAXPROCS (обычно числу ядер CPU). P - это контекст выполнения, который связывает G с M.
• M (machine) - поток операционной системы, который фактически выполняет код. M захватывает P, берёт из его очереди goroutine и выполняет её.

Планировщик работает по следующему принципу:

1. При старте программы создаётся GOMAXPROCS процессоров P.
2. Каждый M должен быть привязан к P, чтобы выполнять goroutine.
3. Когда goroutine блокируется (например, на системном вызове или канале), M может освободить P и перейти в спящий режим, а P передаётся другому M.
4. Если у P заканчиваются goroutine в локальной очереди, он пытается "украсть" работу из глобальной очереди или из локальных очередей других P (work-stealing).

Ключевые механизмы:

• Глобальная очередь - хранит goroutine, которые не попали в локальные очереди (например, при создании большого числа goroutine).
• Work-stealing - позволяет балансировать нагрузку между процессорами.
• Hand-off - если M блокируется, P передаётся другому M, чтобы не простаивать.
• Syscall handling - при системном вызове M с P может быть отсоединён, а P переходит к другому M, чтобы продолжать выполнение других goroutine.

Планировщик не является вытесняющим в классическом смысле: до Go 1.14 goroutine выполнялись до тех пор, пока сами не уступят управление (например, через каналы или runtime.Gosched()). Начиная с Go 1.14, добавлена асинхронная вытесняемость - планировщик может принудительно остановить долго выполняющуюся goroutine.

На практике

Для junior-разработчика важно понимать практические следствия модели GPM:

• Не нужно создавать потоки вручную - goroutine дешевле, их можно создавать тысячами.
• GOMAXPROCS - не количество goroutine, а количество параллельно выполняющихся потоков. Увеличение не всегда ускоряет программу, если задачи не CPU-bound.
• Блокирующие операции - если goroutine делает системный вызов, это не блокирует весь процесс: M отсоединяется, P переходит к другому M.
• Каналы и мьютексы - при блокировке на них goroutine уходит в спящий режим, а P продолжает выполнять другие goroutine.
• Не стоит полагаться на порядок выполнения - планировщик не гарантирует FIFO, порядок зависит от текущего состояния очередей.

Пример из практики: если вы запускаете 1000 goroutine на машине с 4 ядрами, одновременно выполняются только 4 (по числу P), остальные ждут в очередях. Это нормально и эффективно.

Пример кода

GO
package main

import (
	"fmt"
	"runtime"
	"sync"
)

func main() {
	// Показываем количество процессоров (P)
	fmt.Println("GOMAXPROCS:", runtime.GOMAXPROCS(0))

	var wg sync.WaitGroup
	for i := 0; i < 10; i++ {
		wg.Add(1)
		go func(id int) {
			defer wg.Done()
			// Каждая goroutine выполняется на одном из P
			fmt.Printf("goroutine %d на M %d\n", id, runtime.GOMAXPROCS(0))
		}(i)
	}
	wg.Wait()
}

Этот код демонстрирует, что goroutine выполняются конкурентно, но количество одновременно работающих ограничено числом P.

Как отвечать на собеседовании

Начните с краткого определения: G - goroutine, P - processor, M - machine. Затем объясните связь: P - это посредник между G и M, который держит локальную очередь. Расскажите про work-stealing и глобальную очередь. Упомяните, что планировщик решает проблему блокировок через hand-off. Если спросят про GOMAXPROCS - скажите, что это количество P, а не потоков. Для junior достаточно понимать базовую схему и не углубляться в детали реализации.

Что проверяет интервьюер

Интервьюер проверяет:

• Понимаете ли вы разницу между goroutine и потоком ОС.
• Знаете ли вы, что такое P и зачем он нужен.
• Понимаете ли вы, как планировщик балансирует нагрузку (work-stealing).
• Понимаете ли вы, что блокирующие операции не блокируют весь процесс.
• Умеете ли вы объяснить, почему goroutine дешевле потоков.

Для junior достаточно уверенно объяснить базовую схему и ответить на уточняющие вопросы.

Типичные ошибки

• Путать P с ядром CPU - P это логический процессор, их количество задаётся GOMAXPROCS, но это не обязательно физические ядра.
• Думать, что goroutine выполняется на одном и том же M всегда - goroutine может мигрировать между M.
• Считать, что увеличение GOMAXPROCS всегда ускоряет программу - для I/O-bound задач это может быть бесполезно.
• Не упоминать work-stealing - это ключевой механизм балансировки, его отсутствие в ответе говорит о поверхностном понимании.
• Говорить, что планировщик вытесняющий - до Go 1.14 это было не так, и даже сейчас вытеснение асинхронное, а не как в ОС.