Wann sollte Programm mehrfachen Dateizugriff bemerken

[Jumpy]

Hallo,

bei diversen Texteditoren ist es ja so, dass sie es bei einer Datei, die ich gerade darin geöffnet habe, bemerken, dass diese anderweitig aktualisiert worden ist und man bekommt eine Meldung, das die Datei evtl. nicht mehr aktuell ist und ob die aktuelle Version geladen werden soll.

Manchmal hab ich sogar das "Gefühl", z.B. bei HTML-Dateien, das diese Meldung auch kommt obwohl die Datei nicht geändert wurde, sondern z.B. auch nur verwendet/aufgerufen wurde, z.B. vom Browser.

Wie denkt ihr merken diese Programme das und vor allem wann? Läuft da ein Timer, der alle X Sekunden checkt, ob die Datei mit der auf der Festplatte übereinstimmt? Oder wird erst, wenn der Editor den Fokus bekommt geprüft, ob die aktuell sichtbare Datei sich von der Version auf der Festplatte unterscheidet.
Und wie merkt man, das eine Datei nur benutzt wurde, falls es das ist was da passiert?