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

Question

Go использует вытесняющую многозадачность на уровне потоков ОС, но кооперативную внутри самих горутин. Планировщик Go (GMP-модель) распределяет горутины по потокам (M), переключая их при блокировках (I/O, каналы) или через вызов runtime.Gosched().

YeaHub · Accepted Answer

1. Кооперативная vs вытесняющая многозадачностьКооперативная (Cooperative):Горутина сама передаёт управление (например, при блокировке).Плюс: меньше накладных расходов.Минус: если горутина не отдаст управление, другие "зависнут".Вытесняющая (Preemptive):ОС принудительно переключает потоки.В Go это работает на уровне потоков (M), но не горутин.2. GMP-модель в GoG (Goroutine) – легковесный поток.M (Machine) – поток ОС (1 M = 1 ядро CPU).P (Processor) – контекст выполнения (управляет очередью горутин).3. Когда горутина передаёт управление?При блокирующих операциях (каналы, системные вызовы).При вызове runtime.Gosched().Каждые ~10 мс (планировщик проверяет, не пора ли переключиться).Пример:func main() {
    go func() {
        for {
            runtime.Gosched() // Явно передаём управление
        }
    }()
}Вывод:Go сочетает эффективность кооперативной модели с надёжностью вытеснения на уровне потоков.