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

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

Wikiquote-logo.svg Висловлювання у Вікіцитатах
CMNS: Леслі Лампорт у Вікісховищі

Леслі Лампорт (англ. 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 (19 грудня 2006). My Writings. Архів оригіналу за 9 липня 2013. Процитовано 2 лютого 2007. 
  2. Lamport Leslie. The Analytic Cauchy Problem with Singular Data. — 1972. Архівовано з джерела 16 серпня 2007. Процитовано 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. Архів оригіналу за 16 серпня 2007. Процитовано 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. Архів оригіналу за 5 серпня 2011. Процитовано 3 грудня 2010. 
  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. Архів оригіналу за 16 серпня 2007. Процитовано 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. Архів оригіналу за 16 серпня 2007. Процитовано 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. Архів оригіналу за 16 серпня 2007. Процитовано 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 квітня. Архівовано з джерела 16 серпня 2007. Процитовано 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. Архів оригіналу за 16 серпня 2007. Процитовано 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. Архів оригіналу за 11 грудня 2008. Процитовано 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). Архів оригіналу за 16 серпня 2007. Процитовано 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. Архів оригіналу за 16 січня 2016. Процитовано 25 серпня 2014. 
  20. Lamport, Leslie (28 травня 1987). Distribution e-mail. Архів оригіналу за 9 липня 2013. Процитовано 16 квітня 2007. 

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