Fale sobre os métodos de funcionamento do coletor de lixo (Garbage Collector).

O coletor de lixo é um processo de gestão automática de memória que liberta a memória ocupada por objetos que já não são utilizados pelo programa.

Os principais métodos de funcionamento do coletor de lixo:

1. Contador de referências:

   • Cada objeto tem um contador que armazena o número de referências a ele.
   • Ao criar uma referência a um objeto, o contador aumenta.
   • Quando uma referência desaparece (por exemplo, uma variável sai do escopo), o contador diminui.
   • Quando o contador chega a zero, o objeto é considerado inacessível e sua memória é libertada.
   • Problemas: Não consegue lidar com referências cíclicas, quando dois ou mais objetos referenciam-se mutuamente, mas são inacessíveis de fora.

2. Recolha de lixo de rastreamento:

   • Funciona em duas etapas: marcação e varredura ou compactação.
   • Etapa de marcação: Começa a partir das "raízes" (conjunto raiz) - objetos garantidamente acessíveis (por exemplo, variáveis globais, objetos na pilha). O GC percorre todos os objetos acessíveis a partir das raízes, marcando-os como "vivos".
   • Etapa de varredura: O GC percorre toda a heap. Os objetos não marcados são considerados "lixo" e sua memória é libertada.
   • Compactação (opcional): Após a varredura, o GC pode mover os objetos "vivos" para eliminar a fragmentação de memória.
   • Vantagens: Pode lidar com referências cíclicas.
   • Desvantagens: Pode causar pausas na execução do programa (stop-the-world) enquanto o GC trabalha.

Os algoritmos mais comuns de coletores de lixo de rastreamento:

• Mark-and-Sweep: Marca os objetos vivos e depois recolhe o lixo.
• Mark-and-Compact: Marca os objetos vivos e depois move-os para desfragmentar.
• Copying: Divide a heap em duas metades. Durante a recolha, o GC copia os objetos vivos de uma metade para a outra e depois liberta a metade original.
• Geração: Baseado na hipótese de que a maioria dos objetos morre jovem. A heap é dividida em gerações (por exemplo, jovem e velho). O GC recolhe lixo com mais frequência na geração jovem, o que reduz as pausas.

O método específico de funcionamento do coletor de lixo depende da linguagem de programação utilizada e da sua implementação. Por exemplo, Java e C# usam diferentes variantes de coletores de lixo de rastreamento, incluindo generacional. Python tradicionalmente usava contagem de referências com um mecanismo adicional para detectar referências cíclicas, e em versões mais recentes também são utilizados elementos de recolha de rastreamento.