From another fork in this thread: > ...the operation we wish to be atomic is 'replacing the mapping path A->data X with path A->data Y'. The ordering makes th

From another fork in this thread: > ...the operation we wish to be atomic is 'replacing the mapping path A->data X with path A->data Y'. The ordering makes this operation atomic! The fact that it might leave another file around (if a crash happens) is okay.