Safety Properties in Distributed Systems
This day launches the distsys-safety arc by establishing core definitions of safety versus liveness that every later week will measure against. It forces explicit connection between abstract properties and the concrete failure modes already visible in the learner's own API and rate-limiter code.
Resources
- 15 min
- 20 min
Deliverable
Journal entry posted to app/maku/page.tsx with one safety property mapped to rate-limiter.ts behavior
Quiz · 3 questions
1. Which property is violated when a rate-limiter returns success to two concurrent requests that together exceed the limit?
2. State the difference between safety and liveness using one sentence that references the BriefForm submission path.
3. Name one concrete invariant that the current rate-limiter implementation should maintain and how you would test it.