Was ist ein Garbage Collector und wie funktioniert er?

Der Garbage Collector (GC) ist ein Mechanismus zur automatischen Speicherverwaltung, der Speicher zuweist und freigibt, der vom Programm nicht mehr verwendet wird.

Funktionsprinzip:

1. Speicherzuweisung: Wenn ein Programm Objekte erstellt, weist der Garbage Collector ihnen Speicher im Heap zu.
2. Erkennung der Erreichbarkeit: Der Garbage Collector bestimmt, welche Objekte von den "Wurzeln" (root) des Programms aus zugänglich sind. Wurzeln können lokale Variablen in laufenden Funktionen, statische Variablen, Referenzen aus Threads usw. sein.
3. Müllsammlung: Objekte, die von den Wurzeln aus nicht erreichbar sind, gelten als "Müll" und ihr Speicher kann freigegeben werden.

Es gibt verschiedene Algorithmen für die Müllsammlung, z.B.:

• Markieren und Säubern (Mark-and-Sweep): Der Collector durchläuft den Graph der erreichbaren Objekte, markiert sie und säubert anschließend den Heap, indem er die markierten Objekte freigibt.
• Kopieren: Der Heap wird in zwei Teile aufgeteilt. Erreichbare Objekte werden von einem Teil in den anderen kopiert, der alte Teil wird gereinigt.
• Generational: Objekte werden in Generationen eingeteilt. Neue Objekte kommen in die junge Generation, alte in die reife. Die Müllsammlung erfolgt in der Regel häufiger in der jungen Generation, da die meisten Objekte eine kurze Lebensdauer haben.

Beispiel für Java (vereinfacht):

// Das Programm erstellt Objekte im Heap
Object obj1 = new Object();
Object obj2 = new Object();

// obj1 wird unzugänglich
obj1 = null;

// Der Garbage Collector kann den von obj1 belegten Speicher freigeben