Леслі Лампорт

Леслі Лампорт (Leslie Lamport, Нью-Йорк; 7 лютого 1941) — американський дослідник в галузі інформатики. Випускник з Вищої школи в Бронксі, отримав ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса[1]. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними[2]. Лампорт відомий, в першу чергу, за дослідження розподілених систем та як перший розробник системи LaTeX[3].

Леслі Лампорт
англ. Leslie Lamport
Леслі Лампорт
Леслі Лампорт
Народився 7 лютого 1941(1941-02-07) (80 років)
Нью-Йорк,  США
Країна  США
Діяльність математик, інформатик, програміст, інженер, письменник
Alma mater Брандейський університет
Галузь Інформатика
Заклад Microsoft Research
Compaq
Digital Equipment Corporation
SRI International
Ступінь магістр природничих наукd (1963) і доктор філософії (1972)
Науковий керівник Річард Палаіс
Членство Національна академія наук США і Американська академія мистецтв і наук
Відомий завдяки: LaTeX
Задача візантійських генералів
Паксос алгоритми
Нагороди Премія Дейкстри
Медаль Джона фон Неймана
Премія Тюрінга
Особ. сторінка lamport.org
Висловлювання у Вікіцитатах
 Леслі Лампорт у Вікісховищі

Леслі Лампорт працював дослідником в Massachusetts Computer Associates, SRI International, Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія[1].

Дослідження та праці

Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:

  • «Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),[4] що отримала премію Дейкстри за 2000 рік[5]
  • «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» (Як створити багатопроцесорний комп'ютер, який правильно виконує багатопроцесові програми)[6], яку він визначив як послідовну узгодженість,
  • «The Byzantine Generals Problem» (Задача візантійських генералів),[7]
  • «Distributed Snapshots: Determining Global States of a Distributed System» (Розподілені знімки: визначення глобальних станів розподіленої системи),[8] та
  • «The Part-Time Parliament» (Парламент на не повну ставку)[9].

Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[10], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:

  • Паксос алгоритми для пошуку консенсусу.
  • алгоритм пекарні для взаємного виключення багатьох нитей в обчислювальних системах, які використовують багато ресурсів.
  • Алгоритм знімку для визначення узгоджених глобальних станів.

Лампорт також відомий завдяки дослідженням часової логіки, де ним була розроблена часова логіка дій (TLA)[11][12].

До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[13] та називає «донкіхотською спробою подолати відразу інженерів до математики».[14]

Відзнаки

Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[1] 2004 р., отримав нагороду імені Емануеля Піора від IEEE.[15] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[16] отримала приз імені Дейкстри[17]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[18]. У 2013 році став лауреатом Премії Тюрінга[19].

Різне

Лампорт автор афоризму[20]:

Розподілена система — це система в якій комп'ютер, про існування якого ви навіть не здогадувались, може зробити ваш комп'ютер непрацездатним.

Див. також
  • Підпис Лампорта — метод створення цифрового підпису.
  • S/KEY — система одноразових паролей, інколи називають схемою Лампорта.

Джерела
  1. Lamport, Leslie (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  2. Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Процитовано 2007-02-02.
  3. Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Процитовано 2 лютого 2007.
  4. Lamport, Leslie (July 1978). Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM 21 (7): 558–565. doi:10.1145/359545.359563. Процитовано 2 лютого 2007.
  5. Neiger, Gil (23 січня 2003). PODC Influential Paper Award: 2000. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  6. Lamport, Leslie (1979). How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program. IEEE Trans. Comput. 28 (9): 690–691. ISSN 0018-9340. doi:10.1109/TC.1979.1675439.
  7. Lamport, Leslie; Robert Shostak, Marshall Pease (July 1982). The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems 4 (3): 382–401. doi:10.1145/357172.357176. Процитовано 2 лютого 2007.
  8. Chandy, K. Mani; Leslie Lamport (February 1985). Distributed Snapshots: Determining Global States of a Distributed System. ACM Transactions on Computer Systems 3 (1): 63–75. doi:10.1145/214451.214456. Процитовано 2 лютого 2007.
  9. Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems 16 (2): 133–169. doi:10.1145/279227.279229. Процитовано 2 лютого 2007.
  10. Most cited articles in Computer Science. 2006-09. Архів оригіналу за 9 липня 2013. Процитовано 8 жовтня 2007.
  11. Lamport Leslie. A Temporal Logic of Actions. — 1990. — 1 квітня. Процитовано 2007-02-02.
  12. Lamport, Leslie (May 1994). The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16 (3): 872–923. doi:10.1145/177492.177726. Процитовано 2 лютого 2007.
  13. Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Процитовано 2 лютого 2007.
  14. The International Conference on Dependable Systems and Networks keynote speaker biography. Архів оригіналу за 9 липня 2013. Процитовано 6 березня 2007.
  15. IEEE Emanuel R. Piore Award Recipients. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  16. Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery 27 (2). Процитовано 2 лютого 2007.
  17. Edsger W. Dijkstra Prize in Distributed Computing: 2005. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  18. PODC 2001: Lamport Lecture Series. Архів оригіналу за 9 липня 2013. Процитовано 2 липня 2009.
  19. LESLIE LAMPORT
  20. Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.

Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.