About / Advertise
Microsofts femte Turingpristagare
Leslie Lamport får 2013 års Turingpris för sina arbeten med distribuerade system som fått tillämpningar inom allt från molntjänster till bitcoin. Han är också känd för typsättningsspråket Latex och blir den femte forskaren på Microsoft att ta emot ett Turingpris – datavärldens eget nobelpris.Algoritmen finns i en artikel som idag är en av de mest citerade i den datavetenskapliga världen. Leslie Lamport berättar skämtsamt om de första reaktionerna efter publiceringen.
–Strax efter publiceringen av artikeln berättade Jim Gray för mig att han fått två olika reaktioner: en del tyckte den var briljant, andra tyckte den var trivial. Jag tycker de har rätt allihop. Fast jag är obenägen att inte hålla med dem som tycker att den är briljant.
Den nämnda kollegan Jim Gray är en av de andra fyra Microsoftanställda som fått Turingpriset. Övriga är Tony Hoare, Butler Lampson och Chuck Thacker(*).
De flesta av Leslie Lamports forskningsbidrag har handlat om att göra distribuerade beräkningar – oberoende datorer som samarbetar – mer tålig mot kommunikationsfel, synkroniseringsproblem och andra störningar.
Han är känd för sina bidrag till problemet med de ”Byzantiska generalerna” som försöker koordinera en attack mot en stad, men inte kan lita på kommunikationerna mellan sig eller ens på att ingen av de andra generalerna är en förrädare – med andra ord distribuerade beräkningar där meddelanden inte når fram eller är inkorrekta.
”Förrädaren” symboliserar vanligen en felfunktion hos en av datorerna, men har fått en modern mer bokstavlig tillämpning i valutan bitcoin. Där finns ingen central auktoritet. Istället måste man förlita sig på konsensus i en grupp ”bysantinska generaler” om vad som ska stå i loggboken över bitcointransaktioner.
Artiklar i datavetenskap och matematik är typiskt skrivna i layoutspråket Latex (LaTeX), som utvecklades av Leslie Lamport. Han skapade Latex innan Desktop publishing slog igenom, men det fortsätter att användas eftersom kvaliteten på resultatet ofta anses överlägsen ordbehandlingsverktyg från andra företag – som inte ska nämnas en dag som denna.
Leslie Lamport är också känd för en digital signeringsteknik som kan var immun mot så kallade kvantdatorer.
Hans arbetsgivare Microsoft har gjort ett långt personporträtt med anledning av Turingpriset. Hans kollegor på Microsoft berättar att Leslie Lamports resultat bland annat använts för att implementera företagets molntjänster. Hans chef Bill Gates påpekar att hans resultat används för att göra distribuerade kritiska system robusta, det vill säga tryggare för människor.
Själv håller Leslie Lamport, född 1941, ofta en skämtsam distans till sig själv och sina insatser. På grund av efternamnet blandas han ibland ihop med kollegan Butler Lampson.
– Jag är den med skägget och han är den med Turingpriset, har Leslie Lamport sagt när han fått epost avsedd för Lampson.
Men nu är han alltså den av dem med både Turingpris och skägg.
– Internet baseras på distribuerade system, som i sin tur baseras på en teoretisk grund lagd av Leslie. Så om du gillar att använda Internet så är du skyldig Leslie ett tack, säger Bob Taylor, chef för forskningscentret på Leslie Lamports tidigare arbetsgivare DEC.
FOTNOT
(*) Elektroniktidningen kontrollräknar och finner att Microsoft fortfarande har en bit kvar till IBM som haft nio stycken Turingpris i personalen. Fyra av Microsofts Turingpristagare är för övrigt rekryterade från DEC, inklusive Lampert, och den femte från HP.
