Pode explicar o funcionamento do coletor de lixo em linguagens de programação gerenciadas?

O Garbage Collector (GC) em linguagens de programação gerenciadas libera automaticamente a memória ocupada por objetos que não são mais utilizados pelo programa.

Princípios básicos de funcionamento:

• Acompanhamento da alcançabilidade dos objetos: O GC determina quais objetos estão acessíveis a partir de pontos raiz (por exemplo, variáveis globais, pilha de chamadas). Se um objeto não for acessível, é considerado lixo.
• Liberação de memória: Objetos inacessíveis são removidos, e a memória que ocupavam é devolvida ao sistema.

Em Go, o coletor de lixo funciona por meio de rastreamento com contagem de alcançabilidade. Ele é executado periodicamente, suspendendo a execução do programa por um curto período (stop-the-world) para determinar quais objetos estão vivos.

Go usa um GC concorrente e paralelo com baixa latência, o que minimiza o impacto na performance.

Assim, o programador não precisa gerenciar manualmente a memória, o que reduz erros relacionados a vazamentos e dupla liberação.