¿Cómo gestiona el procesador central la distribución de tareas entre las colas de tareas internas y globales?

En el lenguaje Go, el planificador (scheduler) gestiona la distribución de las goroutines entre los hilos del sistema (M) mediante dos niveles de colas de tareas: colas globales y locales (per-P). Cada procesador (P) tiene su propia cola local de goroutines, de la cual selecciona tareas para ejecutar. Si la cola local está vacía, P intenta tomar tareas de la cola global o de otros P (work stealing).

De esta manera, el procesador central (P) primero procesa las tareas de su cola local, asegurando la localidad de los datos y la eficiencia, y cuando es necesario, equilibra la carga tomando tareas de la cola global o de otros P, lo que permite distribuir las tareas de manera eficiente y aprovechar los recursos del sistema.