Quais são os seus conhecimentos sobre o coletor de lixo na linguagem Go?

O Golang utiliza um coletor de lixo paralelo e de baixa latência baseado no algoritmo mark-sweep.

Características principais:

1. Algoritmo de três cores (Three-color algorithm): Marca os objetos com três cores: branco (potencial lixo), cinza (objeto alcançável, mas seus descendentes não inspecionados) e preto (objeto e seus descendentes alcançáveis).
2. Paralelismo (Parallel): Funciona em paralelo com as goroutines do utilizador em múltiplos núcleos, minimizando o tempo de paragem.
3. Concorrência (Concurrent): A maior parte do trabalho do GC é realizada simultaneamente com a execução do programa.
4. Minimização do tempo de paragem (Low-latency Stop-The-World): O tempo de paragem de todas as goroutines (STW) é extremamente curto, utilizado apenas para a fase "início da marcação" (start of marking) e "fim da marcação" (end of marking), para garantir a coerência do grafo de objetos.
5. Escaneamento de pilhas reutilizável (Stack scanning): O escaneamento de pilhas também é realizado em paralelo e de forma concorrente com o STW.
6. Meta de crescimento do heap (Heap growth target): O GC tenta manter uma percentagem determinada de preenchimento do heap após cada ciclo, para evitar ciclos demasiado frequentes ou demasiado raros. Este limiar pode ser controlado através da variável GOGC. Por padrão, GOGC=100, o que significa que o GC inicia quando o tamanho do heap duplica.

O ciclo de trabalho do GC consiste nas seguintes fases:

1. GCstart: Fase STW curta. São determinados os objetos raiz para marcação.
2. GCmark: Fase concorrente. O GC percorre o grafo de objetos, marcando os objetos alcançáveis (cor cinza -> preto). Utiliza uma barreira de escrita para rastrear alterações no grafo durante a marcação.
3. GCmarktermination: Fase STW curta. Termina a marcação e muda de barreira de escrita para varredura.
4. GCsweep: Fase concorrente. Os objetos inalcansáveis (brancos) são libertados. Esta fase pode ocorrer em segundo plano ou conforme necessário ao alocar nova memória.

O GC em Go é gerido automaticamente e não requer chamadas manuais na maioria dos casos. O desempenho do GC pode ser monitorizado com as variáveis de ambiente GODEBUG=gctrace=1.

Exemplo de monitorização:

$ GODEBUG=gctrace=1 go run your_program.go

A saída de gctrace fornece informações sobre cada ciclo de GC, incluindo tempos de fases, tamanho do heap e tempo STW.

Para otimizar o GC, além de configurar GOGC, pode considerar-se:

• Reduzir a quantidade de alocações (por exemplo, reutilizando buffers, evitando conversões desnecessárias).
• Perfilamento para "escape analysis" para entender quais objetos são alocados no heap.
• Utilizar pools (sync.Pool) para objetos criados e libertados frequentemente.