Wie hängt die Ausführung einer Goroutine mit den Prozessor-Threads zusammen und wie wird sie einem bestimmten Thread zugewiesen?

In Go sind Goroutines leichte Threads, die vom Go-Laufzeitumfeld verwaltet werden und nicht direkt vom Betriebssystem. Sie laufen innerhalb von Betriebssystem-Threads, aber Go verwendet einen eigenen Scheduler, der viele Goroutines auf eine begrenzte Anzahl von Threads (M — OS-Threads) verteilt.

Die Zuweisung einer Goroutine zu einem Thread erfolgt nach dem M:N-Modell, wobei M die Anzahl der Betriebssystem-Threads und N die Anzahl der Goroutines ist. Der Go-Scheduler wechselt dynamisch die Ausführung der Goroutines zwischen den Threads, um die Ressourcen des Prozessors effizient zu nutzen.

Daher ist eine Goroutine nicht an einen bestimmten Prozessor-Thread gebunden, sondern der Go-Scheduler entscheidet, auf welchem Thread und wann sie ausgeführt wird. Dies ermöglicht die Ausführung von Tausenden von Goroutines mit minimalem Overhead im Vergleich zu OS-Threads.

Beispiel:

func main() {
    go func() {
        fmt.Println("Goroutine läuft")
    }()
    time.Sleep(time.Second)
}

Hier wird eine Goroutine gestartet, und der Go-Scheduler weist ihr die Ausführung auf einem der verfügbaren OS-Threads zu.