Как в Go runtime работает механизм preemption для принудительного вытеснения горутин?

Как устроен preemption в Go runtime?

• механизм принудительного вытеснения горутин
• является частью Go scheduler (планировщика)
• останавливает горутину, не позволяя ей монополизировать CPU
• применяется при длительных системных вызовах и выполнении циклов
• задействует асинхронные сигналы и стековую инъекцию
• даёт планировщику возможность выполнять переключение контекста без ожидания
• повышает отзывчивость и справедливость планирования

Развёрнутый ответ

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

Механизм preemption, то есть принудительного вытеснения, в рантайме Go обеспечивает эффективное переключение горутин. Благодаря ему выполнение не зависит исключительно от блокирующих системных вызовов или добровольной кооперативной многозадачности. Это важная часть конкурентной модели Go, поддерживающая высокую отзывчивость системы и равномерное распределение CPU между горутинами.

Ключевые аспекты

• Начиная с версии Go 1.14+, в планировщик горутин, построенный на GMP модели, был добавлен preemption. Он позволяет прервать горутину, выполняющуюся даже в "горячем цикле", без необходимости явно достигать точки уступки.
• Для реализации preemption используются сигналы (SIGURG). Они асинхронно останавливают поток на низком уровне, после чего рантайм получает возможность передать управление планировщику.
• Получив сигнал, рантайм устанавливает для текущей горутины признак "принудительно вытесняемой" via флаг и переключает выполнение на другую готовую горутину. Благодаря этому latency переключения уменьшается до десятков микросекунд.
• Наиболее типичный случай применения preemption — длительный CPU-bound цикл, в котором горутина не вызывает блокирующие функции. Принудительное вытеснение не даёт такой задаче надолго "зависнуть" и занять процессор.
• По сравнению с прежним кооперативным подходом эта модель делает планирование заметно более предсказуемым: раньше горутина должна была самостоятельно и добровольно освободить CPU.

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

В крупных высоконагруженных сервисах на Go preemption поддерживает масштабируемость и справедливое распределение ресурсов. Например, при наличии тысяч и более горутин система не позволяет одной из них чрезмерно долго "зависать", даже если она постоянно загружает CPU. Это особенно важно для уменьшения tail latency и соблюдения SLA в системах реального времени.