Cum determină sistemul de operare când un obiect din memorie nu mai este utilizat și poate fi eliberat în siguranță?

Sistemul de operare în sine nu gestionează direct eliberarea obiectelor din memorie — aceasta este sarcina mediului de execuție și a limbajului de programare. De exemplu, pe iOS, gestionarea memoriei se face prin mecanismul ARC (Contorizare Automată a Referințelor).

ARC urmărește numărul de referințe la un obiect. Când contorul de referințe al unui obiect ajunge la zero (adică, nimeni nu mai face referire la acel obiect), obiectul este eliberat automat din memorie.

Exemplu:

class MyClass {}
var obj: MyClass? = MyClass() // contor de referințe = 1
obj = nil // contor de referințe = 0, obiectul este eliberat

Astfel, sistemul de operare nu determină când un obiect nu mai este utilizat — acest lucru îl face mediul de execuție prin numărătoarea referințelor sau colectorul de gunoi.