> if you make some assumptions about how long IO takes and how the systems order IO, this overlapping-increment example will have a deterministic order and stil

> if you make some assumptions about how long IO takes and how the systems order IO, this overlapping-increment example will have a deterministic order and still be wrong every time (increment once instead of twice). So? Is every piece of code that gives the wrong result a race condition?