Est-il possible qu'un planificateur ne force pas une goroutine à céder l'exécution?

En Go, le planificateur de goroutines (scheduler) gère généralement la commutation entre goroutines pour assurer l'exécution concurrente. Cependant, il peut arriver qu'une goroutine ne cède pas la place si elle effectue une opération synchrone prolongée sans appeler des fonctions susceptibles de provoquer une commutation du planificateur (par exemple, des appels système, des opérations d'entrée/sortie ou l'appel à runtime.Gosched()).

Cela est dû au fait que Go utilise une multitâche coopérative au niveau des goroutines : la commutation se produit à des points précis, comme les appels à des opérations bloquantes ou runtime.Gosched(). Si une goroutine exécute une boucle infinie sans ces points, elle peut « bloquer » le planificateur, sans céder le contrôle à d'autres goroutines.

Exemple :

for {
    // s'il n'y a pas d'appels ici pouvant céder au planificateur,
    // la goroutine peut ne pas céder l'exécution aux autres
}

Il est donc recommandé d'insérer des appels à runtime.Gosched() ou d'utiliser des canaux/opérations bloquantes pour permettre au planificateur de basculer entre les goroutines.