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

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

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

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

Ресурси інтернету[ред.ред. код]