Почему Go runtime использует “work stealing” модель и как она работает?

Question

Work stealing — это механизм, при котором бездействующие worker-потоки «крадут» задачи из очередей других потоков. Это снижает простои и улучшает баланс нагрузки.

YeaHub · Accepted Answer

Go имеет модель M:N (горунтины мапятся на системные потоки).Каждый P (processor) имеет свою очередь готовых goroutine.Если P заканчивает свои задачи:он ищет задачу в локальной очереди;если пусто — крадёт от других P (обычно половину очереди);если и там пусто — берёт задачу от global queue.Это обеспечивает:равномерное распределение нагрузки;отсутствие глобальной точки блокировки;предсказуемое выполнение.В отличие от других моделей, где есть одна глобальная очередь (bottleneck), work stealing масштабируется лучше.Вывод:Work stealing — ключевой фактор масштабируемости Go-планировщика.