Distributed Lock Lab

A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.

Description excerpted from the original listing, which is linked below.