Comment le système d'exploitation détermine-t-il quand un objet en mémoire n'est plus utilisé et peut être libéré en toute sécurité?

Le système d'exploitation ne gère pas directement la libération des objets en mémoire — c'est la tâche de l'environnement d'exécution et du langage de programmation. Par exemple, sur iOS, la gestion de la mémoire se fait à l'aide du mécanisme ARC (Automatic Reference Counting).

ARC suit le nombre de références à un objet. Lorsque le compteur de références d'un objet devient zéro (c'est-à-dire que personne ne fait plus référence à cet objet), l'objet est automatiquement libéré de la mémoire.

Exemple:

class MyClass {}
var obj: MyClass? = MyClass() // compteur de références = 1
obj = nil // compteur de références = 0, l'objet est libéré

Ainsi, le système d'exploitation ne détermine pas quand un objet n'est plus utilisé — c'est l'environnement d'exécution qui le fait en comptant les références ou en utilisant le ramasse-miettes.