211service.com
Leslie Lamport ’60
Pierwszym komputerem, z jakim Leslie Lamport zetknął się w swoim pierwszym roku w MIT, był IBM 704. Latem wcześniej nauczył się montować i przełączać taśmy pamięci zewnętrznej na takiej maszynie w niepełnym wymiarze czasu pracy w Con Edison w Nowym Jorku . W wolnym czasie uczyłem się programować komputer i robiłem kilka małych programów – wspomina.
Lamport w trzy lata ukończył MIT z dyplomem z matematyki, a następnie zdobył dwa kolejne stopnie matematyczne: magisterski w 1963 i doktorat w 1972, oba na Brandeis University. Zbudował karierę w informatyce w Compass, SRI International, Digital Equipment i Microsoft. W czerwcu Association for Computing Machinery przyznało główną nagrodę Lamport Computing — nagrodę Turing Award. Przyszedł z czekiem na 250 000 dolarów.
Jak wynikało z tych wczesnych doświadczeń, Lamport zawsze starał się zakasać rękawy i ocenić praktyczne, codzienne problemy komputerów.
w przełomowa praca opublikowany w 1978 r., Lamport przedstawił wiele kluczowych koncepcji przetwarzania rozproszonego, które położyły podwaliny pod systemy umożliwiające komputerom współpracę w przestrzeni i czasie, pomimo okazjonalnych awarii. Opracowane przez niego algorytmy i protokoły — w tym zegary logiczne, które rejestrują zależności chronologiczne i przyczynowe w systemie rozproszonym — oraz protokół odporności na awarie znany jako Paxos — pomogłyby w urzeczywistnieniu sieci WWW. Obecnie jego przełomowe rozwiązania opierają się na technologiach, od wyszukiwarek, przez centra obsługi telefonicznej 911, po systemy kontroli ruchu lotniczego.
Lamport, który mieszka z żoną w Palo Alto w Kalifornii, z pokorą podchodzi do swojej pracy.
Przypisywano mi inicjowanie teorii systemów rozproszonych i czuję się tym zakłopotany, ponieważ nie widzę tam żadnej teorii – mówi. Nie ma tam nic takiego jak mechanika Newtona czy teoria względności, coś w naukowym sensie, który można by nazwać teorią. Ale patrząc na te wszystkie małe fragmenty pracy, które wykonałem, chociaż nie stworzyłem teorii, stworzyłem, z pomocą innych, ścieżkę, którą podążali inni ludzie – i zamieniła się w autostradę.
Lamport wciąż marzy o podstawowej teorii, która powiązałaby wszystkie jego prace nad sposobem, w jaki jednoczesne procesy wpływają na siebie nawzajem w systemach komputerowych. Ale w typowy dzień jest bardziej zainteresowany zachęcaniem inżynierów do korzystania z algorytmów i narzędzi, które opracowuje w Microsoft Research w Palo Alto.
To świetne laboratorium, ze świetnymi kolegami i świetną firmą, która naprawdę docenia badania, mówi.
Uczucie jest wzajemne.
Leslie dokonała wielkich rzeczy nie tylko w dziedzinie informatyki, ale także pomagając uczynić świat bezpieczniejszym miejscem, powiedział założyciel Microsoftu Bill Gates w hołdzie dla Microsoftu. Niezliczeni ludzie na całym świecie czerpią korzyści z jego pracy, nawet nie słysząc jego nazwiska.