211service.com
Leslie Lamport ’60
Den første computer, som Leslie Lamport stødte på i sit første år på MIT, var en IBM 704. Sommeren forinden havde han lært at montere og skifte eksterne hukommelsesbånd på sådan en maskine i et deltidsjob hos Con Edison i New York. . I min fritid lærte jeg at programmere computeren og lavede nogle små programmer, husker han.
Lamport dimitterede fra MIT på tre år med en grad i matematik, og derefter fik han yderligere to matematiske grader: en master i 1963 og en ph.d. i 1972, begge ved Brandeis University. Han byggede en karriere inden for datalogi hos Compass, SRI International, Digital Equipment og Microsoft. I juni tildelte Association for Computing Machinery Lamport computings toppris, Turing Award. Det fulgte med en check på $250.000.
Som det var tydeligt i de tidlige erfaringer, søgte Lamport altid at smøge ærmerne op og vurdere computernes praktiske, dagligdags problemer.
I skelsættende arbejde udgivet i 1978 opstillede Lamport mange af nøglebegreberne inden for distribueret computing, som lagde grunden til de systemer, der gør det muligt for computere at arbejde sammen på tværs af rum og tid, på trods af lejlighedsvise fejl. Algoritmer og protokoller, han udviklede - inklusive logiske ure, som fanger kronologiske og kausale sammenhænge i et distribueret system, og fejltoleranceprotokollen kendt som Paxos - ville hjælpe med at gøre World Wide Web muligt. I dag er teknologier lige fra søgemaskiner til 911 callcentre til flyvekontrolsystemer afhængige af hans gennembrud.
Lamport, der bor med sin kone i Palo Alto, Californien, er ydmyg omkring sit arbejde.
Jeg er blevet krediteret for at have initieret teorien om distribuerede systemer, og det føler jeg mig flov over, for jeg ser ikke en teori der, siger han. Der er intet der som Newtonsk mekanik eller relativitet, noget i den videnskabelige forstand, man vil kalde en teori. Men ved at se på alle disse små stykker arbejde, jeg har lavet, selv om jeg ikke skabte en teori, skabte jeg, med hjælp fra andre, en vej, som andre mennesker siden har fulgt - og forvandlet til en motorvej.
Lamport drømmer stadig om en underliggende teori, der ville binde alt hans arbejde sammen om den måde, samtidige processer påvirker hinanden i computersystemer. Men på en typisk dag er han mere opsat på at opmuntre ingeniører til at anvende de algoritmer og værktøjer, han udvikler hos Microsoft Research i Palo Alto.
Det er et fantastisk laboratorium med gode kollegaer og en fantastisk virksomhed, der virkelig sætter pris på forskning, siger han.
Følelsen er gensidig.
Leslie har gjort store ting ikke kun for datalogi, men også for at hjælpe med at gøre verden til et mere sikkert sted, sagde Microsofts grundlægger Bill Gates i en Microsoft-hyldest. Utallige mennesker rundt om i verden nyder godt af hans arbejde uden nogensinde at høre hans navn.