Race Conditions in File and State Transitions: Why a Lock on One Step Is Not a Control

Why checking a condition and acting on it are separate moments, why a lock on one of them is not a control, and how to design transitions that hold under concurrency.