Como é que o recolhedor de lixo determina que um objeto já não é utilizado pelo programa?

O coletor de lixo determina que um objeto não é mais utilizado pelo programa, com base na ausência de referências ativas a ele a partir de objetos raiz (conjunto raiz). Normalmente, isso significa que o objeto não é acessível a partir de pilhas de chamadas, variáveis globais ou outros pontos de acesso raiz. Se o objeto não for acessível, o programa não poderá acessá-lo e sua memória pode ser liberada.

Exemplo: no Android (Java/Kotlin), o coletor de lixo usa algoritmos de percurso do grafo de objetos, começando pelas raízes, e marca todos os objetos acessíveis. Tudo o que não estiver marcado é considerado lixo e é removido.