The Man Who Revolutionized Computer Science With Math
Lamport on Distributed Systems
Leslie Lamport explains that distributed systems are characterized by the potential for a computer to be rendered useless due to the failure of an unknown computer. He contrasts this with non-distributed computing, where processes communicate using shared memory. Lamport's interest in distributed systems arose from analyzing an algorithm by Robert Thomas and Paul Johnson, leading to his work on causality in such systems. Consequently, his insights revolutionized the understanding of distributed systems.
State Machines for Distributed Systems
Leslie Lamport proposes using state machines to solve distributed system problems. He describes a state machine as an abstract computer that performs one task at a time, ensuring that all computers in the distributed system cooperate to implement a single state machine. This idea has become fundamental in how people design and build distributed systems. Thus, state machines provide a reliable framework for managing complexity in distributed environments.
Industry's Influence on Research, per Lamport
Leslie Lamport emphasizes the importance of working in industry, where he found most of the interesting problems for his research. He draws an analogy to Auguste Renoir, who found inspiration in the vast variety of leaves outdoors compared to the limited options in his studio. Similarly, Lamport found a wealth of problems in industry waiting to be solved, enriching his research. Therefore, industry provides a fertile ground for innovative research.
Lamport on the Bakery Algorithm
Leslie Lamport describes his favorite algorithm, the bakery algorithm, which solves the mutual exclusion problem by preventing two processes from using the printer simultaneously. The algorithm allows processes to choose numbers based on others' choices, ensuring the lowest number gets access. Remarkably, it works even if the read values are corrupted, demonstrating its robustness. Thus, the bakery algorithm's resilience makes it a beautiful and significant contribution.
