DAY 173 / 210
Safety Properties in Distributed Consensus
This day launches the distsys-safety phase by establishing the formal safety invariants that prevent split-brain and data loss in production systems. It matters because every later audit or implementation decision for Maku's infrastructure will be measured against these invariants rather than ad-hoc correctness intuitions.
⏱ 40 min target📝 2 quiz Qs
Resources
- 30 minreadingraft.github.ioIn Search of an Understandable Consensus Algorithm
Sections 2-3 (safety and liveness)
Deliverable
Journal entry containing three safety properties plus one concrete violation scenario drawn from a production system
Quiz · 2 questions
1. Which Raft safety property is violated if two leaders are elected for the same term?
2. State the Log Matching property in one sentence and give one reason it matters for crash recovery.