Weeknotes 18
Engineering
This week was me just focusing on the Redlock algorithm and trying to implement it in TLA+. Here are all the resources I am using.
- Distributed Locks with Redis | Redis Docs
- How to do distributed locking | Martin Kleppmann
- Is Redlock safe? | <antirez>
- Modelling distributed locking in TLA+ | Gregory Terzian
- Is Redlock Safe? Reply to Redlock Analysis | Hacker News
- An Introduction to TLA+ and Its Use in Parties — You’ll get your pizza eventually | Jan Seeger
- Learn TLA+ — Learn TLA+