Kas yra šiukšlių surinkėjas ir kaip jis veikia?

Šiukšlių rinkėjas (Garbage Collector, GC) yra automatinės atminties valdymo mechanizmas, kuris paskirsto ir atlaisvina atmintį, kurią programa nebeturi naudojimo.

Veikimo principas:

1. Atminties paskirstymas: Kai programa kuria objektus, šiukšlių rinkėjas jiems skiria vietą krūvoje (heap).
2. Prieinamumo nustatymas: Šiukšlių rinkėjas nustato, kurie objektai yra pasiekiami iš programos "šaknų" (root). Šaknys gali būti vietinės kintamosios vykdomose funkcijose, statinės kintamosios, nuorodos iš gijų ir kt.
3. Šlamšto surinkimas: Objektai, kurie nėra pasiekiami iš šaknų, laikomi "šiukštais" ir jų atmintis gali būti atlaisvinta.

Yra įvairių šlamšto surinkimo algoritmų, pavyzdžiui:

• Žymėjimas ir valymas (Mark-and-Sweep): Rinkėjas pereina per pasiekiamų objektų grafą iš šaknų, žymi juos. Tada jis pereina per visą krūvą ir atlaisvina žymėtus objektus.
• Kopijavimas: Krūva padalijama į dvi dalis. Pasiekiami objektai kopijuojami iš vienos dalies į kitą, o sena dalis valoma.
• Generacinis: Objektai skirstomi į kartas. Nauji objektai patenka į jaunos kartos, seni — į brandžią. Šlamšto surinkimas dažniau vyksta jaunos kartos, nes dauguma objektų turi trumpą gyvavimo laiką.

Pavyzdys Java kalba (supaprastintas):

// Programa kuria objektus krūvoje
Object obj1 = new Object();
Object obj2 = new Object();

// obj1 tampa neprieinamas
obj1 = null;

// Šlamšto surinkėjas gali atlaisvinti obj1 užimamą atmintį