Cum este legată execuția unei goroutine de firele procesorului și cum este alocată unui fir specific?

În Go, goroutine-urile sunt fire ușoare gestionate de runtime-ul Go, nu direct de sistemul de operare. Ele rulează în interiorul firelor de sistem, dar Go folosește un planificator propriu care distribuie multe goroutine-uri pe un număr limitat de fire (M — fire OS).

Alocarea unei goroutine la un fir se face printr-un model M:N, unde M este numărul de fire OS, iar N este numărul de goroutine-uri. Planificatorul Go schimbă dinamic execuția goroutine-urilor între fire pentru a utiliza eficient resursele procesorului.

Astfel, o goroutine nu este legată de un anumit fir de procesor, ci planificatorul Go decide pe ce fir și când va fi executată. Acest lucru permite rularea a mii de goroutine-uri cu costuri minime comparativ cu firele OS.

Exemplu:

func main() {
    go func() {
        fmt.Println("Goroutine rulează")
    }()
    time.Sleep(time.Second)
}

Aici, goroutine-ul este pornit și planificatorul Go îi va atribui execuția pe unul dintre firele disponibile ale sistemului de operare.