There are locks around those - for example, writeLock
1. update x in memory
2. delete x in memory
3. update fn checks for file on disk
4. delete x from disk
5. update x on disk
Is this not possible and you end up with different state in memory and on disk.