Wie bestimmt das Betriebssystem, wann ein Objekt im Speicher nicht mehr verwendet wird und sicher freigegeben werden kann?

Das Betriebssystem selbst verwaltet die Freigabe von Objekten im Speicher nicht direkt — das ist Aufgabe der Laufzeitumgebung und der Programmiersprache. In iOS erfolgt die Speicherverwaltung beispielsweise durch den Mechanismus ARC (Automatische Referenzzählung).

ARC verfolgt die Anzahl der Referenzen auf ein Objekt. Wenn der Referenzzähler eines Objekts auf null sinkt (d.h., niemand verweist mehr auf das Objekt), wird das Objekt automatisch aus dem Speicher entfernt.

Beispiel:

class MyClass {}
var obj: MyClass? = MyClass() // Referenzzähler = 1
obj = nil // Referenzzähler = 0, Objekt wird freigegeben

Auf diese Weise bestimmt das Betriebssystem nicht, wann ein Objekt nicht mehr verwendet wird — das macht die Laufzeitumgebung durch Referenzzählung oder Müllsammlung.