È possibile che un pianificatore non costringa una goroutine a cedere l'esecuzione?

In Go, il scheduler delle goroutine (scheduler) gestisce generalmente il passaggio tra le goroutine per garantire l'esecuzione concorrente. Tuttavia, può verificarsi che una goroutine non ceda il passo se esegue un'operazione sincrona prolungata senza chiamare funzioni che possano provocare un cambio di pianificatore (ad esempio, chiamate di sistema, operazioni di input/output o chiamate a runtime.Gosched()).

Questo perché Go utilizza il multitasking cooperativo a livello di goroutine: il cambio avviene in punti specifici, come chiamate a operazioni bloccanti o runtime.Gosched(). Se una goroutine esegue un ciclo infinito senza questi punti, può «bloccare» il pianificatore, senza cedere il controllo ad altre goroutine.

Esempio:

for {
    // se qui non ci sono chiamate che possano cedere al pianificatore,
    // la goroutine potrebbe non cedere l'esecuzione ad altre
}

Pertanto, si consiglia di inserire chiamate a runtime.Gosched() o di usare canali/opereazioni bloccanti per permettere al pianificatore di alternare tra le goroutine.