Разкажете за методите на работа на събирача на отпадъци (Garbage Collector).

Събирачът на боклук е процес на автоматично управление на паметта, който освобождава паметта, заета от обекти, които вече не се използват от програмата.

Основните методи на работа на събирача на боклук:

1. Брояч на препратки (Reference Counting):

   • Всеки обект има брояч, който съхранява броя на препратките към него.
   • При създаване на препратка към обект броячът се увеличава.
   • При изчезване на препратка (например, променлива излизаща от обхвата) броячът се намалява.
   • Когато броячът достигне нула, обектът се счита за недостъпен и паметта му се освобождава.
   • Проблеми: Не може да обработва циклични препратки, когато два или повече обекта се препращат един към друг, но са недостъпни отвън.

2. Трасериращ събирач на боклук (Tracing Garbage Collector):

   • Работи на два етапа: маркиране (marking) и събиране (sweeping) или компресиране (compacting).
   • Етап маркиране: Започва с "корените" (root set) - обекти, които са гарантирано достъпни (например, глобални променливи, обекти на стека). GC обхожда всички достижими от корените обекти, маркирайки ги като "живи".
   • Етап събиране: GC преглежда цялата купчина. Непометнатите обекти се считат за "мръсотия" и паметта им се освобождава.
   • Етап компресиране (по желание): След събиране GC може да преместват "живите" обекти, за да премахнат фрагментацията на паметта.
   • Предимства: Може да обработва циклични препратки.
   • Недостатъци: Може да предизвика паузи в изпълнението на програмата (стоп-мир), докато GC работи.

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

• Mark-and-Sweep: Маркира живите обекти, след това събира мръсотия.
• Mark-and-Compact: Маркира живите обекти, след това ги премества за дефрагментация.
• Copying: Разделя купчината на две половини. По време на събиране GC копира живите обекти от една половина в друга. След това освобождава цялата първоначална половина.
• Generational: Основава се на хипотезата, че повечето обекти умират млади. Купчината се дели на поколения (например, младо и старо). GC по-често събира мръсотия в младото поколение, което води до по-малки паузи.

Конкретният метод на работа на събирача на боклук зависи от използвания програмен език и неговата реализация. Например, Java и C# използват различни варианти на трасериращи събирачи на боклук, включително generational. Python традиционно използваше Reference Counting с допълнителен механизъм за откриване на циклични препратки, а в по-новите версии също се прилагат елементи от трасериращия събирач.