A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.
What is the rednavis/distributed-lock-lab GitHub project? Description: "A distributed lock is not what makes your critical section safe — fencing tokens are. A specification-first reference implementation that proves it by experiment.". Written in Java. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Add it to a GitHub README or profile — the card updates as the ranking changes:
Clone via HTTPS
Clone via SSH
Download ZIP
Download master.zipReport bugs or request features on the distributed-lock-lab issue tracker:
Open GitHub Issues