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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

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

Леслі Лампорт у Вікісховищі?

Леслі Лампорт (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] що отримала премію Дейкстри за 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]:

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

Див. також[ред. | ред. код]

Джерела[ред. | ред. код]

  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 (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. Процитовано 2007-02-02. 
  5. Neiger, Gil (2003-01-23). PODC Influential Paper Award: 2000. Архів оригіналу за 2013-07-09. Процитовано 2007-02-02. 
  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. Процитовано 2007-02-02. 
  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. Процитовано 2007-02-02. 
  9. Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems 16 (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. — 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. Процитовано 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 (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery 27 (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. 

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