stringtranslate.com

Лесли Лэмпорт

Лесли Б. Лэмпорт (родился 7 февраля 1941 года) — американский учёный-компьютерщик и математик . Лэмпорт наиболее известен своими основополагающими работами в области распределённых систем , а также как первоначальный разработчик системы подготовки документов LaTeX и автор её первого руководства. [2]

Лэмпорт был удостоен премии Тьюринга 2013 года [3] за наложение четкой, четко определенной согласованности на, казалось бы, хаотичное поведение распределенных вычислительных систем, в которых несколько автономных компьютеров общаются друг с другом, передавая сообщения. Он разработал важные алгоритмы и разработал формальные протоколы моделирования и проверки, которые улучшают качество реальных распределенных систем. Эти вклады привели к улучшению корректности, производительности и надежности компьютерных систем. [4] [5] [6] [7] [8]

Ранняя жизнь и образование

Лэмпорт родился в еврейской семье в Бруклине, Нью-Йорк, в семье Бенджамина и Ханны Лэмпорт (урожденной Лассер). [ требуется ссылка ] Его отец был иммигрантом из Волковыска в Российской империи (ныне Волковыск , Беларусь ) [9] , а его мать была иммигранткой из Австро-Венгерской империи , ныне юго-восточной Польши.

Выпускник Высшей школы естественных наук в Бронксе , Лэмпорт получил степень бакалавра по математике в Массачусетском технологическом институте в 1960 году, а затем степень магистра (1963) и доктора философии (1972) по математике в Университете Брандейса . [10] Его диссертация «Аналитическая задача Коши с сингулярными данными » посвящена сингулярностям в аналитических уравнениях с частными производными . [11]

Карьера и исследования

Лэмпорт работал компьютерным ученым в Massachusetts Computer Associates с 1970 по 1977 год, в Stanford Research Institute ( SRI International ) с 1977 по 1985 год, а также в Digital Equipment Corporation и Compaq с 1985 по 2001 год. В 2001 году он присоединился к Microsoft Research в Калифорнии . [10]

Распределенные системы

Исследования Лампорта заложили основы теории распределенных систем. Среди его наиболее примечательных работ:

Эти статьи касаются таких концепций, как логические часы (и отношение « происходило-раньше ») и византийские неудачи . Они являются одними из самых цитируемых статей в области компьютерных наук, [17] и описывают алгоритмы для решения многих фундаментальных проблем в распределенных системах, включая:

Латекс

Когда Дональд Кнут начал выпускать ранние версии TeX в начале 1980-х, Лампорт — из-за своей личной потребности написать книгу — также начал работать над набором макросов на его основе, надеясь, что позже он станет его стандартным пакетом макросов. Этот набор макросов позже станет известен как LaTeX , за который к Лампорту впоследствии в 1983 году обратился Питер Гордон, редактор Addison-Wesley , который предложил Лампорту превратить его руководство пользователя в книгу. [18] [19]

В сентябре 1984 года Лампорт выпустил версию 2.06a макросов LaTeX, а в августе 1985 года LaTeX 2.09 — последняя версия LaTeX Лампорта — также будет выпущена. Тем временем, Addison-Wesley выпустила первое руководство пользователя LaTeX Лампорта, LaTeX: A Document Preparation System , в 1986 году, которое якобы было продано тиражом «более нескольких сотен тысяч» экземпляров, а 21 августа 1989 года на встрече TeX User Group в Стэнфорде Лампорт согласился передать поддержку и разработку LaTeX Фрэнку Миттельбаху, который вместе с Крисом Роули и Райнером Шёпфом сформирует команду LaTeX3, впоследствии выпустив LaTeX 2e, текущую версию LaTeX, в 1994 году. [19] [20]

Временная логика

Лэмпорт также известен своей работой по временной логике , где он ввел временную логику действий (TLA). [21] [22] Среди его последних вкладов — TLA + , язык для спецификации и рассуждений о параллельных и реактивных системах, который он описывает в книге « Specification Systems: The TLA + Language and Tools for Hardware and Software Engineers». [23] Он определяет TLA+ как « донкихотскую попытку преодолеть антипатию инженеров к математике». [24]

Награды и почести

В 2014 году Лэмпорт получил премию Тьюринга за «фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности за изобретение таких концепций, как причинность и логические часы, безопасность и жизнеспособность, реплицируемые конечные автоматы и последовательная согласованность». [25] В 1991 году он был избран членом Национальной инженерной академии за вклад в теоретические основы параллельных и отказоустойчивых вычислений. Он был избран членом Ассоциации вычислительной техники за фундаментальный вклад в теорию и практику распределенных и параллельных систем в 2014 году. [26] Он также получил пять почетных докторских степеней от европейских университетов: Университета Ренна и Кильского университета имени Кристиана Альбрехта в 2003 году, Федеральной политехнической школы Лозанны (EPFL) в 2004 году, Университета Лугано в 2006 году и Университета Нанси в 2007 году. [10] В 2004 году он получил премию IEEE Эммануэля Р. Пиоре . [27] В 2005 году статья «Достижение соглашения при наличии неисправностей» [28] получила премию Дейкстры . [29] В честь шестидесятилетия Лэмпорта был организован цикл лекций на 20-м симпозиуме по принципам распределенных вычислений (PODC 2001). [30] В 2008 году он получил медаль IEEE Джона фон Неймана . [31] В 2011 году он был избран в Национальную академию наук . [32]

Ссылки

  1. ^ Лесли Лэмпорт в проекте «Генеалогия математики»
  2. ^ Лампорт, Лесли (1986). LaTeX: система подготовки документов . Addison-Wesley. ISBN 978-0-201-15790-1. Получено 2019-06-20 .
  3. ^ Лэмпорт, Лесли (2013). «Лесли Лэмпорт — лауреат премии имени А. М. Тьюринга». ACM.
  4. ^ Профиль автора Лесли Лэмпорта на странице ACM Digital Library
  5. ^ ab Lamport, L. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Сообщения ACM . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . doi :10.1145/359545.359563. S2CID  215822405. 
  6. ^ Публикации Лесли Лэмпорта, проиндексированные Microsoft Academic
  7. ^ Savage, N. (2014). «Общее согласие: Лесли Лэмпорт внес вклад в теорию и практику построения распределенных вычислительных систем, которые работают так, как задумано». Communications of the ACM . 57 (6): 22–23. doi :10.1145/2601076. S2CID  5936915.
  8. ^ Хоффманн, Л. (2014). «Вопросы и ответы Разделяй и властвуй: Лесли Лэмпорт о византийских генералах, часах и других инструментах для рассуждений о параллельных системах». Сообщения ACM . 57 (6): 112–ff. doi :10.1145/2601077. S2CID  31514650.
  9. ^ "Карточка призыва Бенджамина Лэмпорта на Первую мировую войну". Ancestry.com . Получено 12 июля 2022 г. .
  10. ^ abc Лампорт, Лесли (2006-12-19). "Мои сочинения" . Получено 2007-02-02 .
  11. ^ Лампорт, Лесли (1972). "Аналитическая задача Коши с сингулярными данными" . Получено 2007-02-02 .
  12. ^ Neiger, Gil (2003-01-23). ​​"PODC Influential Paper Award: 2000". Архивировано из оригинала 2013-09-12 . Получено 2007-02-02 .
  13. ^ Лампорт, Лесли (1979). «Как создать многопроцессорный компьютер, который правильно выполняет многопроцессорную программу». IEEE Trans. Comput . 28 (9): 690–691. doi :10.1109/TC.1979.1675439. ISSN  0018-9340. S2CID  5679366.
  14. ^ Лампорт, Лесли; Роберт Шостак; Маршалл Пиз (июль 1982 г.). «Проблема византийских генералов». Труды ACM по языкам и системам программирования . 4 (3): 382–401. CiteSeerX 10.1.1.64.2312 . doi :10.1145/357172.357176. S2CID  55899582 . Получено 02.02.2007 . 
  15. ^ Чанди, К. Мани; Лесли Лампорт (февраль 1985 г.). «Распределенные снимки: определение глобальных состояний распределенной системы». ACM Transactions on Computer Systems . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . doi :10.1145/214451.214456. S2CID  207193167. Получено 2007-02-02 . 
  16. ^ Лампорт, Лесли (май 1998 г.). «Парламент неполного рабочего дня». ACM Transactions on Computer Systems . 16 (2): 133–169. doi : 10.1145/279227.279229 . S2CID  421028. Получено 02.02.2007 .
  17. ^ "Самые цитируемые статьи в области компьютерных наук". Сентябрь 2006 г. Получено 08.10.2007 г.
  18. ^ Лэмпорт, Лесли. «Как (LA)TEX изменил облик математики» (PDF) .
  19. ^ ab "The Writings of Leslie Lamport". lamport.azurewebsites.net . Получено 19 июля 2019 г. .
  20. ^ "TeX, LaTeX и AMS-LaTeX". 1998-12-03. Архивировано из оригинала 1998-12-03 . Получено 2019-07-19 .
  21. ^ Лампорт, Лесли (1990-04-01). "Временная логика действий" . Получено 2007-02-02 .
  22. ^ Лампорт, Лесли (май 1994). «Временная логика действий». Труды ACM по языкам и системам программирования . 16 (3): 872–923. doi : 10.1145/177492.177726 . S2CID  5498471. Получено 2007-02-02 .
  23. ^ Лампорт, Лесли (2002). Спецификация систем: язык и инструменты TLA+ для инженеров по аппаратному и программному обеспечению. Addison-Wesley. ISBN 978-0-321-14306-8. Получено 2007-02-02 .
  24. ^ "Биография основного докладчика Международной конференции по надежным системам и сетям". Архивировано из оригинала 2019-02-12 . Получено 2021-07-05 .
  25. ^ "Премия Тьюринга 2013". ACM.
  26. ^ Стипендиаты ACM имени Лесли Лэмпорта 2014 г.
  27. ^ "IEEE Emanuel R. Piore Award Recipients es" (PDF) . IEEE. Архивировано из оригинала (PDF) 2010-11-24 . Получено 2010-12-31 .
  28. ^ Пиз, Маршалл; Роберт Шостак; Лесли Лампорт (апрель 1980 г.). «Достижение соглашения при наличии неисправностей». Журнал Ассоциации вычислительной техники . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . doi :10.1145/322186.322188. S2CID  6429068. Получено 02.02.2007 . 
  29. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005" . Получено 2007-02-02 .
  30. ^ "PODC 2001: Серия лекций Лампорта" . Получено 2009-07-02 .
  31. ^ "IEEE John von Neumann Medal Recipients" (PDF) . IEEE. Архивировано из оригинала (PDF) 19 июня 2010 г. . Получено 31 декабря 2010 г. .
  32. ↑ Избранные члены и иностранные ассоциированные члены. Архивировано 7 мая 2011 г. в Wayback Machine , Национальная академия наук, 3 мая 2011 г.

Внешние ссылки