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

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

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

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

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

[ред. | ред. код]

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

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

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

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

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

Відзнаки

[ред. | ред. код]

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

Різне

[ред. | ред. код]

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

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

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]
  1. ↑ https://www.acm.org/media-center/2015/january/fellows-2014
  2. ↑ а б в Lamport, Leslie (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  3. ↑ Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  4. ↑ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. Процитовано 2 лютого 2007.
  5. ↑ 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  6. ↑ Neiger, Gil (23 січня 2003). PODC Influential Paper Award: 2000. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  7. ↑ Lamport, Leslie (1979). How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program. IEEE Trans. Comput. 28 (9): 690—691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340. Архів оригіналу за 5 серпня 2011. Процитовано 3 грудня 2010.
  8. ↑ 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  9. ↑ 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  10. ↑ Lamport, Leslie (May 1998). The Part-Time Parliament. ACM Transactions on Computer Systems. 16 (2): 133—169. doi:10.1145/279227.279229. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  11. ↑ Most cited articles in Computer Science. 2006-09. Архів оригіналу за 9 липня 2013. Процитовано 8 жовтня 2007.
  12. ↑ Lamport Leslie. A Temporal Logic of Actions. — 1990. — 1 квітня. Архівовано з джерела 16 серпня 2007. Процитовано 2007-02-02.
  13. ↑ 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. Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  14. ↑ Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Архів оригіналу за 11 грудня 2008. Процитовано 2 лютого 2007.
  15. ↑ The International Conference on Dependable Systems and Networks keynote speaker biography. Архів оригіналу за 9 липня 2013. Процитовано 6 березня 2007.
  16. ↑ IEEE Emanuel R. Piore Award Recipients. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  17. ↑ Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. 27 (2). Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
  18. ↑ Edsger W. Dijkstra Prize in Distributed Computing: 2005. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007.
  19. ↑ PODC 2001: Lamport Lecture Series. Архів оригіналу за 9 липня 2013. Процитовано 2 липня 2009.
  20. ↑ LESLIE LAMPORT. Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014.
  21. ↑ Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007.

Посилання

[ред. | ред. код]
Отримано з https://uk.wikipedia.org/w/index.php?title=Леслі_Лампорт&oldid=42922935