Jak je implementována automatická správa odpadků v systému správy paměti?

V jazyce Go je automatické shromažďování odpadu implementováno pomocí algoritmu označování a prohledávání (mark-and-sweep). Sběrač odpadu periodicky zastavuje běh programu (stop-the-world), aby prohledal všechny kořeny (root objects) a označil dosažitelné objekty. Poté uvolní paměť obsazenou neoznačenými objekty, které jsou považovány za odpad.

Vlastnosti implementace v Go:

• Paralelní a konkurenční práce sběrače s minimálními pauzami.
• Použití spouštěčů k zahájení sběru, například při dosažení určitého prahu využití paměti.
• Optimalizace ke snížení latencí a zvýšení výkonu.

Přibližně takto funguje sběr odpadu, uvolňujícího programátora od ruční správy paměti.