Wie erfolgt die automatische Speicherbereinigung in verwalteten Programmiersprachen?

Automatisches Sammeln von Müll (Garbage Collection, GC) in verwalteten Sprachen wie C# wird durch einen speziellen Mechanismus realisiert, der Objekte im Speicher verfolgt und diejenigen freigibt, auf die keine Referenzen mehr bestehen.

Grundprinzipien des GC:

• Verfolgung von Referenzen: Der GC bestimmt, welche Objekte von den Wurzeln (z.B. lokale Variablen, statische Felder) erreichbar sind.
• Erkennung unzugänglicher Objekte: Objekte ohne Referenzen gelten als Müll.
• Freigabe von Speicher: Der GC gibt den Speicher frei, der von unzugänglichen Objekten belegt ist.
• Generationen: Zur Optimierung der Müllsammlung wird in Generationen (Gen 0, Gen 1, Gen 2) unterteilt, was es ermöglicht, jüngere Objekte häufiger und langlebige seltener zu sammeln.

Beispiel in C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // Verwendung von obj
        obj = null; // Objekt wird unzugänglich
        GC.Collect(); // erzwungener Aufruf des Müllsammlers (selten in echten Anwendungen)
    }
}

Auf diese Weise muss der Programmierer den Speicher nicht manuell verwalten, was Fehler im Zusammenhang mit Speicherlecks reduziert.