Kaip vyksta automatinis šiukšlių surinkimas valdomuose programavimo kalbose?

Automatinis šiukšlių surinkimas (Garbage Collection, GC) valdomose kalbose, tokiuose kaip C#, įgyvendinamas per specialų mechanizmą, kuris stebi atmintyje esančius objektus ir laisvąja juos, kai nėra jokių nuorodų į juos.

GC pagrindiniai principai:

• Nuorodų stebėjimas: GC nustato, kurie objektai yra pasiekiami iš šakninių nuorodų (pvz., vietinių kintamųjų, statinių laukų).
• Nepasiekiamų objektų aptikimas: Objektai be nuorodų laikomi šiukšlėmis.
• Atminties laisvavimas: GC laisvina atmintį, užimamą nepastebimų objektų.
• Kartos: Norint optimizuoti šiukšlių surinkimą, jis yra padalintas į kartas (Gen 0, Gen 1, Gen 2), leidžiant dažniau rinkti jaunus objektus ir rečiau — ilgalaikius.

Pavyzdys C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // objekto naudojimas
        obj = null; // objektas tampa nepastebimas
        GC.Collect(); // priverstinis šiukšlių surinkėjo iškvietimas (retai naudojama realiose programose)
    }
}

Šiuo būdu programuotojas yra atleidžiamas nuo rankinio atminties valdymo, kas sumažina klaidų, susijusių su atminties nutekėjimu, skaičių.