The problem Lamport encountered in building distributed databases was that the original solution would execute actions as if they occurred in a sequence, but that sequence could be different from the actual order in which they happened—a violation of the causal consistency that Lamport's 'happens before' relation was designed to capture.

factualpending

Speaker

Leslie Lamport

Evidence Quote

things would be executed as if they occurred in subsequence but that sequence could be different from the sequence in which they actually happened.

Source

Turing Award Winner: Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie LamportRyan Peterman
Created: 8/12/2026, 6:17:50 PM

My Notes

Loading notes...