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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Леслі Лампорт
Leslie Lamport.jpg
Леслі Лампорт
Народився 7 лютого 1941(1941-02-07) (72 роки)
Нью-Йорк, США США
Галузь наукових інтересів Інформатика
Заклад 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]

Різне [ред.]

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

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

Дивіться також [ред.]

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

Посилання [ред.]

  1. ↑ а б в Lamport, Leslie (2006-12-19). «My Writings». Процитовано 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». Процитовано 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. Процитовано 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». Процитовано 2007-03-06. 
  15. ↑ «IEEE Emanuel R. Piore Award Recipients». Процитовано 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». Процитовано 2007-02-02. 
  18. ↑ «PODC 2001: Lamport Lecture Series». Процитовано 2009-07-02. 
  19. ↑ Lamport, Leslie (1987-05-28). «Distribution e-mail». Процитовано 2007-04-16. 

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

Отримано з http://uk.wikipedia.org/w/index.php?title=Леслі_Лампорт&oldid=12604257