Em que casos e para onde o estado de uma goroutine é salvo ao chamar uma syscall em Go?

Em Go, ao fazer uma chamada ao sistema (syscall), a goroutine pode ser suspensa, pois a chamada ao sistema pode bloquear a execução.

O estado da goroutine (pilha, registros, contexto de execução) é salvo numa estrutura relacionada com essa goroutine, para que após a chamada ao sistema terminar, a execução possa continuar do mesmo ponto.

As goroutines são geridas pelo escalonador do Go (scheduler), que ao bloquear uma goroutine, muda para outras goroutines. O estado é guardado na memória do processo, na estrutura g (goroutine), que contém toda a informação necessária para retomar o trabalho.

Desta forma, o estado da goroutine é guardado na memória do processo na estrutura que descreve a goroutine, e é restaurado pelo escalonador após a chamada ao sistema terminar.