Module
Foundations: Failure Models, Clocks, and Happens-Before
Sign in to add this module to your path and practice.
About
System models (crash/omission/Byzantine), synchronous vs asynchronous networks, physical/logical/vector clocks, and Lamport happens-before relation. Essential mental model before any distributed protocol.
Goal
Classify failures; use logical/vector clocks to order events; draw happens-before diagrams and identify concurrent events for a given execution.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Foundations: Failure Models, Clocks, and Happens-Before. Ask about the concepts, goal, or where you're stuck.