Qual é a diferença entre a pilha usada para goroutines e a pilha tradicional do fluxo de execução do sistema?

A pilha de goroutines em Go difere da pilha tradicional de um thread do sistema em vários aspetos-chave:

1. Tamanho dinâmico: A pilha de uma goroutine começa com um tamanho muito pequeno (geralmente cerca de 2 KB) e pode expandir-se e contrair-se dinamicamente conforme necessário. A pilha de um thread do sistema tradicional costuma ter um tamanho fixo (por exemplo, 1 MB).

2. Leveza: Graças ao seu pequeno tamanho inicial e gestão dinâmica, as goroutines consomem muito menos memória, permitindo executar milhares e até milhões de goroutines simultaneamente.

3. Gestão em tempo de execução: O runtime do Go gere automaticamente a pilha da goroutine, movendo dados quando necessário ao expandir a pilha, de forma transparente para o programador.

4. Isolamento: Cada thread do sistema tem a sua própria pilha de tamanho fixo, enquanto que as goroutines usam pilhas separadas que podem estar localizadas em um ou vários threads do sistema.

Exemplo: se uma goroutine começar a executar uma função com recursão profunda, a sua pilha será automaticamente expandida, enquanto que um thread do sistema pode simplesmente falhar com um erro de estouro de pilha.