This is a problem that human programmers screw up… regularly. E.g.: the efficient and robust file change monitoring on Windows is to read the NTFS change journ

This is a problem that human programmers screw up… regularly. E.g.: the efficient and robust file change monitoring on Windows is to read the NTFS change journal. For a single process lifetime there are other change notification APIs as well. Most software does neither and is either very slow or misses changes…