Wie verhält sich ein Programm in der Programmiersprache Go, wenn GOMAXPROCS auf 1 gesetzt ist und eine Goroutine mit einer Endlosschleife gestartet wird, wenn gleichzeitig versucht wird, einen anderen Teil des Codes auszuführen?

Wenn GOMAXPROCS=1 in einem Go-Programm gesetzt wird, beschränkt sich die Anzahl der gleichzeitig laufenden System-Threads auf eins. Wenn eine Goroutine mit einer Endlosschleife gestartet wird, ohne Funktionen aufzurufen, die es dem Scheduler ermöglichen, den Kontext zu wechseln (z.B. time.Sleep, runtime.Gosched), dann belegt diese Goroutine den einzigen Thread und blockiert die Ausführung anderer Goroutines.

Infolgedessen kann ein anderer Teil des Codes, der in anderen Goroutines läuft, nicht parallel ausgeführt werden und wartet darauf, dass die Endlosschleife die Kontrolle abgibt. Dies liegt daran, dass der Goroutine-Scheduler von Go auf Benutzerebene die Ausführung zwischen Goroutines wechselt, aber bei GOMAXPROCS=1 nur ein OS-Thread vorhanden ist, und wenn die Goroutine keinen Wechsel zulässt, blockieren die anderen.

Beispiel:

package main

import (
	"fmt"
	"runtime"
	"time"
)

func main() {
	runtime.GOMAXPROCS(1)

	go func() {
		for {
			// Endlosschleife ohne Yield
		}
	}()

	time.Sleep(time.Second) // Zeit geben, damit die Goroutine starten kann

	fmt.Println("Ein anderer Teil des Codes") // wird vielleicht nie ausgeführt
}

Um Blockierungen zu vermeiden, sollte in der Endlosschleife Aufrufe eingefügt werden, die dem Scheduler einen Wechsel ermöglichen, z.B. runtime.Gosched() oder time.Sleep.