Kā notiek automātiskā atkritumu savākšana pārvaldītajās programmēšanas valodās?

Automātiskā atkritumu savākšana (Garbage Collection, GC) pārvaldītās valodās, piemēram, C#, tiek īstenota ar īpašu mehānismu, kas uzrauga atmiņā esošos objektus un atbrīvo tos, kam vairs nav atsauces.

GC galvenie principi:

• Atsauces uzraudzība: GC nosaka, kuri objekti ir sasniedzami no saknes atsaucēm (piemēram, vietējām mainīgajām, statiskajiem laukiem).
• Nepieejamu objektu atklāšana: Objekti bez atsaucēm tiek uzskatīti par atkritumiem.
• Atmiņas atbrīvošana: GC atbrīvo atmiņu, ko aizņem nepiekļūstamie objekti.
• Paaudzes: Lai optimizētu atkritumu savākšanu, tā ir sadalīta pa paaudzēm (Gen 0, Gen 1, Gen 2), ļaujot biežāk savākt jaunus objektus un retāk — ilgdzīvojošus.

Piemērs C#:

class Program
{
    static void Main()
    {
        var obj = new object();
        // objekta izmantošana
        obj = null; // objekts kļūst nepieejams
        GC.Collect(); // piespiedu atkritumu savācējs (retāk lietots reālās lietojumprogrammās)
    }
}

Tādējādi programmētājs tiek atbrīvots no nepieciešamības manuāli pārvaldīt atmiņu, kas samazina kļūdu skaitu, kas saistītas ar atmiņas noplūdēm.