Какви са характеристиките на събирача на отпадъци (Garbage Collector)?

Основни характеристики на събирача на отпадъци (Garbage Collector):

• Автоматизация на управлението на паметта: Освобождава разработчика от ръчното разпределяне/освобождаване на памет, намалявайки риска от грешки като "memory leaks" или "dangling pointers".
• Откриване на "мъртви" обекти: Използва алгоритми за идентифициране на обекти, които вече не се използват (недостъпни от кореновите препратки).
• Различни алгоритми за събиране:
  • Mark-and-Sweep: Маркира използваните обекти (Mark), след това премахва немаркираните (Sweep). Може да доведе до фрагментация на паметта.
  • Copying: Разделя паметта на две пространства. Премества живите обекти от активното пространство в неактивното, след което почиства активното. Ефективен при много "мъртви" обекти, но изисква повече памет.
  • Mark-and-Compact: Маркира използваните обекти (Mark), след това ги пренася в началото на купчицата (Compact), освобождавайки непрекъснат блок памет. Предотвратява фрагментацията.
  • Генерационен: Разделя купчицата на поколения (Млад, Стар). Често събира отпадъци в "младото" поколение, където обектите живеят по-кратко. Намалява натоварването.
• Stop-the-World (STW) паузи: Някои алгоритми изискват спиране на изпълнението на програмата за правилна работа, което може да причини забавяния. Модерните GC се стремят да минимизират тези паузи (например G1, ZGC).
• Непредсказуемост на момента на събиране: Обикновено разработчикът не контролира точния момент, в който се активира събирачът на отпадъци, въпреки че може да влияе косвено.
• Влияние върху производителността: Процесът на събиране на отпадъци консумира CPU и RAM ресурси. Изборът на алгоритъм и настройките на GC влияят върху производителността на приложението.