Как определя операционната система кога обект в паметта вече не се използва и може безопасно да бъде освободен?

Операционната система сама по себе си не управлява директно освобождаването на обекти в паметта — това е задача на средата за изпълнение и езика за програмиране. Например, в iOS управлението на паметта се осъществява чрез механизма ARC (Автоматично преброяване на референциите).

ARC следи броя на референциите към обект. Когато броячът на референциите към обект достигне нула (т.е., никой вече не се позовава на него), обектът автоматично се освобождава от паметта.

Пример:

class MyClass {}
var obj: MyClass? = MyClass() // брояч на референциите = 1
obj = nil // брояч на референциите = 0, обектът се освобождава

По този начин, операционната система не определя кога един обект вече не се използва — това го прави средата за изпълнение чрез брояча на референциите или събирача на отпадъци.