Jak určuje operační systém, kdy objekt v paměti již není používán a může být bezpečně uvolněn?

Operační systém sám o sobě přímo neřídí uvolňování objektů v paměti — je to úkol prostředí běhu a programovacího jazyka. Například v iOS je správa paměti prováděna pomocí mechanismu ARC (Automatické počítání odkazů).

ARC sleduje počet odkazů na objekt. Když se čítač odkazů na objekt dostane na nulu (tedy na objekt již nikdo neukazuje), objekt je automaticky uvolněn z paměti.

Příklad:

class MyClass {}
var obj: MyClass? = MyClass() // počet odkazů = 1
obj = nil // počet odkazů = 0, objekt je uvolněn

Tímto způsobem operační systém neurčuje, kdy již objekt není používán — o to se stará prostředí běhu pomocí počítání odkazů nebo sběrače odpadků.