Lamport’s time/clocks paper solves this exact problem, using this exact example, without locks.