Como é que o mecanismo de recolha automática de lixo determina que um objeto já não está acessível e deve ser removido?

O mecanismo de recolha automática de lixo (GC) em Go determina que um objeto não está acessível com base na sua alcançabilidade a partir dos pontos raiz (conjunto raiz). Os pontos raiz são variáveis globais, variáveis locais das goroutines atuais e pilhas de chamadas. Se um objeto não for acessível através da cadeia de referências a partir desses pontos raiz, é considerado 'morto' e pode ser removido.

Por exemplo: se uma variável referencia um objeto, o GC considera-o vivo. Se a referência for removida ou sair do escopo, o objeto torna-se inacessível e pode ser coletado.

Assim, o GC percorre periodicamente o grafo de objetos, começando pelas raízes, e marca todos os objetos acessíveis. Todos os outros objetos são considerados lixo e liberados.