Que tipo de multitarefa o agendador de goroutines na linguagem Go implementa?

O agendador de goroutines na linguagem Go implementa multitarefa cooperativa com elementos de preempção. Uma goroutine pode ser considerada uma thread leve, que o agendador alterna entre si, permitindo usar de forma eficiente os threads do sistema (M) e os núcleos do processador.

O runtime do Go usa um modelo M:N, onde M são os threads do sistema e N são as goroutines. O agendador troca entre goroutines em operações bloqueantes ou em chamadas explícitas ao agendador (por exemplo, runtime.Gosched()), garantindo a cooperação. No entanto, em alguns casos, o agendador pode interromper uma goroutine para fazer a troca, aproximando-se da multitarefa preemptiva.

Assim, o agendador de goroutines é um híbrido de multitarefa cooperativa e preemptiva, otimizado para alto desempenho e escalabilidade.