General Agreement.

The article discusses how Leslie Lamport, principal researcher at Microsoft Research and a recipient of the 2013 Association for Computing Machinery A.M. Turing Award, contributed to the theory and practice of building distributed computing systems that work as planned. Topics discussed include Lamp...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 57; no. 6; pp. 22 - 24
Autor principal:	Savage, Neil
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2014
Materias:	Lamport, Leslie Microsoft Research (Company) Association for Computing Machinery Computer systems Algorithms United States. National Aeronautics & Space Administration
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	The article discusses how Leslie Lamport, principal researcher at Microsoft Research and a recipient of the 2013 Association for Computing Machinery A.M. Turing Award, contributed to the theory and practice of building distributed computing systems that work as planned. Topics discussed include Lamport's work for research institute SRI International from 1977 to 1985, an algorithm called Paxos that is for a fault-tolerant state machine handling non-Byzantine failures, and Lamport's suggestion for people who want to become systems designers.