Ako je implementované automatické zber odpadkov v systéme správy pamäte?

V jazyku Go je automatické zberač odpadu implementovaný pomocou algoritmu mark-and-sweep. Zberač odpadu periodicky zastavuje vykon programu (stop-the-world), aby prehľadal všetky korene (root objects) a označil dostupné objekty. Potom uvoľní pamäť obsadenú neoznačenými objektmi, ktoré sa považujú za odpad.

Vlastnosti implementácie v Go:

• Paralelná a konkurenčná práca zberača s minimálnymi prestávkami.
• Použitie spúšťačov na spustenie zberu, napríklad pri dosiahnutí určitého prahu využitia pamäte.
• Optimalizácia na zníženie latencií a zvýšenie výkonu.

Približne takto funguje zber odpadu, uvoľňujúc programátora od manuálnej správy pamäte.