Wat is het concept van garbage collection in C#?

De garbage collector (GC) beheert automatisch het geheugen door het vrij te maken van objecten die niet meer door het programma worden gebruikt. Het werkt automatisch, waardoor handmatig geheugenbeheer niet nodig is, wat het risico op geheugenlekken en pointer-gerelateerde fouten vermindert.

Het proces van garbage collection omvat de volgende fasen:

Markeren (Marking): De GC bepaalt welke objecten nog in gebruik zijn. Dit begint met een set van root-objecten (bijvoorbeeld globale variabelen of objecten op de stacks van de huidige threads) en markeert alle objecten die vanaf deze roots bereikbaar zijn.
Compacten (Compacting): De GC verplaatst de overlevende objecten in het geheugen om aaneengesloten blokken vrij te maken voor een efficiëntere verdeling van nieuw geheugen. Deze fase werkt ook de pointers bij naar de verplaatste objecten.
Schoonmaken (Sweeping): De GC maakt het geheugen vrij dat wordt ingenomen door objecten die niet meer als in gebruik gemarkeerd zijn.

In .NET is de GC generatief. Het geheugen is verdeeld in generaties:

Generatie 0 (Gen 0): Bevat kortlevende objecten. De verzameling van deze generatie gebeurt het vaakst.
Generatie 1 (Gen 1): Is een buffer voor objecten die de verzameling van Gen 0 hebben overleefd. Het wordt minder vaak verzameld dan Gen 0.
Generatie 2 (Gen 2): Bevat langdurige objecten. Het wordt het minst vaak verzameld en vereist hogere prestaties.

Objecten verplaatsen zich tussen generaties op basis van "overleving" tijdens garbage collection.

Bijvoorbeeld, het maken en gebruiken van een object:

// Object maken
MyObject obj = new MyObject();
// Object gebruiken
obj.DoSomething();
// Object wordt niet meer gebruikt, GC kan het verzamelen
obj = null;

Een geforceerde garbage collection kan worden uitgevoerd met GC.Collect(), maar dit wordt over het algemeen niet aanbevolen omdat de GC automatisch het optimale moment voor verzameling bepaalt.

// Geforceerde garbage collection (niet aanbevolen in de meeste gevallen)
GC.Collect();
GC.WaitForPendingFinalizers(); // Wacht op finalizers