I mean race conditions between the operations, e.g. an update followed by a delete:

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.