Какво е събирач на отпадъци и как работи?

Събирачът на боклук (Garbage Collector, GC) е механизъм за автоматично управление на паметта, който разпределя и освобождава памет, която вече не се използва от програмата.

Принцип на работа:

1. Разпределение на памет: Когато програмата създава обекти, събирачът на боклук им предоставя място в купчината (heap).
2. Определяне на достъпността: Събирачът определя кои обекти са достъпни от "корените" (root) на програмата. Корените могат да бъдат локални променливи в изпълняващите се функции, статични променливи, препратки от нишки и др.
3. Събиране на боклука: Обектите, които не са достъпни от корените, се считат за "боклук" и тяхната памет може да бъде освободена.

Съществуват различни алгоритми за събиране на боклука, например:

• Маркиране и почистване (Mark-and-Sweep): Събирачът преминава по графа на достъпните обекти, маркирайки ги. След това преминава през цялата купчина и освобождава паметта на маркираните обекти.
• Копиране: Купчината се дели на две части. Достъпните обекти се копират от едната част в другата, а старата част се почиства.
• Генерационен: Обектите се делят на поколения. Новите обекти попадат в младото поколение, старите — в зрялото. Събиране на боклука се извършва по-често в младото поколение, тъй като повечето обекти имат кратък живот.

Пример за работа в Java (опростено):

// Програмата създава обекти в купчината
Object obj1 = new Object();
Object obj2 = new Object();

// obj1 става недостъпен
obj1 = null;

// Събирачът на боклук може да освободи паметта, заета от obj1