¿En qué caso y cómo pueden los hilos acceder a la cola global para obtener tareas y lanzar goroutines?

En Go, el runtime utiliza un modelo M:N, donde M son los hilos del sistema (threads) y N son las goroutines. Las goroutines no están vinculadas directamente a hilos específicos, sino que se ejecutan en un grupo de hilos.

La cola global de tareas es una cola de goroutines listas para ejecutarse, pero aún no asignadas a un hilo en particular. Cuando un hilo se libera, consulta esta cola global para obtener la siguiente goroutine para ejecutar.

Esto sucede aproximadamente así:

• Cuando se crea una goroutine (a través de go), se coloca en la cola global.
• Un hilo libre toma una goroutine de la cola global y comienza a ejecutarla.
• Si el hilo no encuentra tareas en su cola local, consulta la global.

De esta manera, los hilos obtienen dinámicamente tareas de la cola global y ejecutan las goroutines correspondientes, asegurando un equilibrio de carga y un uso eficiente de los recursos del sistema.

Ejemplo (simplificado):

// Creamos varias goroutines
for i := 0; i < 10; i++ {
    go func(n int) {
        fmt.Println("Goroutine", n)
    }(i)
}

El runtime coloca estas goroutines en la cola global, y los hilos del sistema las toman para su ejecución.