When several different code paths write to the same shared invariant, making one of them safe in isolation does almost nothing. The invariant is only as protected as its least careful writer — and "atomic" means very little if each writer is atomic in its own separate way.

The problem

We had a sha...