Leslie Lamport
folcloreO recebedor do Prêmio Turing de 2013 por impor ordem a sistemas distribuídos: relógios lógicos, retratos distribuídos, Paxos, tolerância a falhas bizantinas, a distinção entre segurança e vivacidade - e o LaTeX.
Seu artigo de 1978 sobre tempo, relógios e ordenação de eventos está entre os mais citados da computação, e a tese dele é que num sistema distribuído não existe um agora global - existe causalidade, que se pode ordenar sem relógio comum. Tudo o que vem depois depende disso: consenso, replicação, e todo banco de dados que precisa decidir qual escrita aconteceu primeiro. A frase dele descreve a área melhor que qualquer livro: sistema distribuído é aquele em que a falha de um computador que você nem sabia que existia deixa o seu inutilizável.
Também conhecido como: lamport, paxos, tla+
Fontes
- ACM A.M. Turing Award - Leslie Lamport, laureate page: logical clocks, distributed snapshots, Paxos and TLA+
- ACM announcement of the 2013 Turing Award to Leslie Lamport, naming safety and liveness, Byzantine fault tolerance, TLA+ and LaTeX
- Lamport, 'Time, Clocks, and the Ordering of Events in a Distributed System', Communications of the ACM 21(7), July 1978, from his own publication archive