Каким образом центральный процессор управляет распределением задач между внутренней и глобальной очередями задач?

В языке Go планировщик (scheduler) управляет распределением горутин между системными потоками (M) с помощью двух уровней очередей задач: глобальной и локальных очередей (per-P). Каждый процессор (P) имеет свою локальную очередь горутин, из которой он выбирает задачи для выполнения. Если локальная очередь пуста, P пытается взять задачи из глобальной очереди или у других P (work stealing).

Таким образом, центральный процессор (P) сначала обрабатывает задачи из своей локальной очереди, обеспечивая локальность данных и эффективность, а при необходимости балансирует нагрузку, забирая задачи из глобальной очереди или у других P, что позволяет эффективно распределять задачи и использовать ресурсы системы.