Какво знаеш за събирача на боклук в Dart?

Dart използва еднопоточен събирач на отпадъци, базиран на поколенческо събиране.

Ключови характеристики:

• Поколенческо събиране: Обектите се делят на две поколения:
  • Младо поколение: Нови, краткотрайни обекти. Се събират често.
  • Старо поколение: Дълготрайни обекти, които са оцелели след няколко събирания в младото поколение. Се събират по-рядко.
• Stop-the-World: За изпълнение на събирането на отпадъци е необходимо да се спре изпълнението на програмата (Dart Isolates). Въпреки това, благодарение на еднопоточността и оптимизациите, закъсненията са минимални.
• Mark-and-Sweep: В старото поколение се използва алгоритъмът Mark-and-Sweep. Първо се маркират достижимите обекти, след това се премахват недостъпните. За младото поколение се използва алгоритъмът Copying Collector, който бързо преместват живите обекти в друго пространство за памет.
• Без цикли в събирането на отпадъци: Разработчикът не трябва да управлява ръчно паметта или да извиква GC. Системата го прави автоматично.
• Оптимизации: Включват inline на функции, специализация на типове и разпределение на обектите в стека, което намалява натоварването на събирача.

Например, при създаване на нов обект:

// Създаване на нов обект в "младото" поколение памет
var myObject = MyClass();

Ако myObject остане в паметта и е достъпен, с времето ще бъде преместен в "старото" поколение. Ако престане да бъде достъпен, събирачът ще го освободи.

// myObject вече не е достъпен, може да бъде събран от събирача
myObject = null;

Важно е да се разбере, че събирачът на отпадъци в Dart е ефективен, но не е панацея срещу течове на памет, които могат да възникнат поради запазване на силни препратки към обекти, които вече не са нужни (например, непотвърдени абонаменти).