Как работает планировщик задач в Go (кооперативная vs вытесняющая многозадачность)?

1. Кооперативная vs вытесняющая многозадачность

• Кооперативная (Cooperative):

  • Горутина сама передаёт управление (например, при блокировке).

  • Плюс: меньше накладных расходов.

  • Минус: если горутина не отдаст управление, другие "зависнут".

• Вытесняющая (Preemptive):

  • ОС принудительно переключает потоки.

  • В Go это работает на уровне потоков (M), но не горутин.

2. GMP-модель в Go

• G (Goroutine) – легковесный поток.

• M (Machine) – поток ОС (1 M = 1 ядро CPU).

• P (Processor) – контекст выполнения (управляет очередью горутин).

3. Когда горутина передаёт управление?

• При блокирующих операциях (каналы, системные вызовы).

• При вызове runtime.Gosched().

• Каждые ~10 мс (планировщик проверяет, не пора ли переключиться).

Пример:

func main() {
    go func() {
        for {
            runtime.Gosched() // Явно передаём управление
        }
    }()
}

Вывод:
Go сочетает эффективность кооперативной модели с надёжностью вытеснения на уровне потоков.