¿Es obligatorio que en Go se realice un cambio automático de contexto de ejecución entre goroutines?

En Go, el cambio automático de contexto entre goroutines ocurre, pero no en el sentido clásico de multitarea preemptive, como en los sistemas operativos.

Las goroutines son hilos ligeros gestionados por el runtime de Go. El planificador de Go cambia la ejecución entre goroutines para utilizar de manera eficiente los hilos del sistema.

Características:

• El planificador de Go utiliza multitarea cooperativa: la goroutine debe ceder el control, por ejemplo, al llamar a operaciones bloqueantes o funciones que explícitamente hacen yield.
• Desde la versión Go 1.14, se añadió soporte limitado para preemption, permitiendo al planificador interrumpir una goroutine si no cede el control durante mucho tiempo.

De este modo, el cambio de contexto entre goroutines ocurre automáticamente y de manera transparente para el desarrollador, aunque con algunas características que difieren de los sistemas operativos clásicos.