È obbligatorio che in Go avvenga un cambio automatico del contesto di esecuzione tra le goroutine?

In Go, il cambio automatico di contesto tra le goroutine avviene, ma non nel senso classico del multitasking preemptive, come nei sistemi operativi.

Le goroutine sono thread leggeri gestiti dal runtime di Go. Il scheduler di Go alterna l'esecuzione tra le goroutine per utilizzare in modo efficiente i thread di sistema.

Caratteristiche:

• Il scheduler di Go utilizza il multitasking cooperativo: la goroutine deve cedere il controllo, ad esempio, chiamando operazioni bloccanti o funzioni che esplicitamente fanno yield.
• Dalla versione Go 1.14, è stato aggiunto un supporto limitato alla preemption, che permette al scheduler di interrompere una goroutine se non cede il controllo per molto tempo.

In questo modo, il cambio di contesto tra le goroutine avviene automaticamente e in modo trasparente per lo sviluppatore, anche se con alcune caratteristiche che differiscono dai sistemi operativi classici.