¿Es posible que una planificación no fuerce a una goroutine a ceder la ejecución?

En Go, el planificador de goroutines (scheduler) generalmente gestiona la conmutación entre goroutines para garantizar la ejecución concurrente. Sin embargo, puede ocurrir que una goroutine no ceda el paso si realiza una operación sincrónica prolongada sin llamar a funciones que puedan provocar una conmutación del planificador (por ejemplo, llamadas al sistema, operaciones de entrada/salida o llamadas a runtime.Gosched()).

Esto se debe a que Go utiliza multitarea cooperativa a nivel de goroutines: la conmutación ocurre en puntos específicos, como llamadas a operaciones bloqueantes o runtime.Gosched(). Si una goroutine ejecuta un ciclo infinito sin estos puntos, puede «bloquear» el planificador, sin ceder el control a otras goroutines.

Ejemplo:

for {
    // si aquí no hay llamadas que puedan ceder al planificador,
    // la goroutine puede no ceder la ejecución a otras
}

Por lo tanto, se recomienda insertar llamadas a runtime.Gosched() o usar canales/operaciones bloqueantes para permitir que el planificador cambie entre goroutines.