stringtranslate.com

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

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

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

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

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

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

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

Лэмпорт работал ученым-компьютерщиком в Massachusetts Computer Associates с 1970 по 1977 год, в Стэнфордском исследовательском институте ( 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 Лампорта. Между тем, в 1986 году Аддисон-Уэсли выпустил первое руководство пользователя LaTeX Лэмпорта, LaTeX: A Document Preparation System , которое якобы было продано «более нескольких сотен тысяч» экземпляров, а 21 августа 1989 года на собрании группы пользователей TeX в Стэнфорде Лэмпорт согласился передать поддержку и разработку LaTeX Фрэнку Миттельбаху, который вместе с Крисом Роули и Райнером Шёпфом сформировал команду LaTeX3, впоследствии выпустив LaTeX 2e, текущую версию LaTeX, в 1994 году. [19 ] [20]

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

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

Награды и отличия

В 2014 году Лэмпорт получил премию Тьюринга за «фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности, за изобретение таких концепций, как причинность и логические часы, безопасность и живучесть, реплицируемые конечные автоматы и последовательная согласованность» [25] . ] Он был избран членом Национальной инженерной академии в 1991 году за вклад в теоретические основы параллельных и отказоустойчивых вычислений. Он был избран членом Ассоциации вычислительной техники за фундаментальный вклад в теорию и практику распределенных и параллельных систем в 2014 году. Он также получил пять почетных докторских степеней европейских университетов: Университета Ренна и Университета Кристиана Альбрехта в Киле в 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: система подготовки документов . Аддисон-Уэсли. ISBN 978-0-201-15790-1. Проверено 20 июня 2019 г.
  3. ^ Лэмпорт, Лесли (2013). «Лесли Лэмпорт - обладатель премии AM Тьюринга». АКМ.
  4. ^ Страница профиля автора Лесли Лэмпорт в цифровой библиотеке ACM .
  5. ^ ab Лампорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации АКМ . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . дои : 10.1145/359545.359563. S2CID  215822405. 
  6. ^ Публикации Лесли Лэмпорта, индексированные Microsoft Academic
  7. ^ Сэвидж, Н. (2014). «Общее согласие: Лесли Лэмпорт внес вклад в теорию и практику построения распределенных вычислительных систем, которые работают по назначению». Коммуникации АКМ . 57 (6): 22–23. дои : 10.1145/2601076. S2CID  5936915.
  8. ^ Хоффманн, Л. (2014). «Вопросы и ответы, разделяй и властвуй: Лесли Лэмпорт о византийских генералах, часах и других инструментах для рассуждений о параллельных системах». Коммуникации АКМ . 57 (6): 112–и след. дои : 10.1145/2601077. S2CID  31514650.
  9. ^ "Призывная карточка Бенджамина Лэмпорта времен Первой мировой войны" . Ancestry.com . Проверено 12 июля 2022 г.
  10. ^ abc Лэмпорт, Лесли (19 декабря 2006 г.). «Мои сочинения» . Проверено 2 февраля 2007 г.
  11. ^ Лэмпорт, Лесли (1972). «Аналитическая задача Коши с сингулярными данными» . Проверено 2 февраля 2007 г.
  12. ^ Нейгер, Гил (23 января 2003 г.). «Награда PODC за влиятельную бумагу: 2000». Архивировано из оригинала 12 сентября 2013 г. Проверено 2 февраля 2007 г.
  13. ^ Лэмпорт, Лесли (1979). «Как создать многопроцессорный компьютер, который правильно выполняет многопроцессную программу». IEEE Транс. Вычислить . 28 (9): 690–691. дои : 10.1109/TC.1979.1675439. ISSN  0018-9340. S2CID  5679366.
  14. ^ Лэмпорт, Лесли; Роберт Шостак; Маршалл Пиз (июль 1982 г.). «Проблема византийских генералов». Транзакции ACM в языках и системах программирования . 4 (3): 382–401. CiteSeerX 10.1.1.64.2312 . дои : 10.1145/357172.357176. S2CID  55899582 . Проверено 2 февраля 2007 г. 
  15. ^ Чанди, К. Мани; Лесли Лэмпорт (февраль 1985 г.). «Распределенные снимки: определение глобальных состояний распределенной системы». Транзакции ACM в компьютерных системах . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . дои : 10.1145/214451.214456. S2CID  207193167 . Проверено 2 февраля 2007 г. 
  16. ^ Лэмпорт, Лесли (май 1998 г.). «Неполный парламент». Транзакции ACM в компьютерных системах . 16 (2): 133–169. дои : 10.1145/279227.279229 . S2CID  421028 . Проверено 2 февраля 2007 г.
  17. ^ «Самые цитируемые статьи в области компьютерных наук». Сентябрь 2006 года . Проверено 8 октября 2007 г.
  18. ^ Лэмпорт, Лесли. «Как (LA)TEX изменил лицо математики» (PDF) .
  19. ^ ab «Сочинения Лесли Лэмпорт». lamport.azurewebsites.net . Проверено 19 июля 2019 г.
  20. ^ «TeX, LaTeX и AMS-LaTeX». 03.12.1998. Архивировано из оригинала 3 декабря 1998 г. Проверено 19 июля 2019 г.
  21. ^ Лэмпорт, Лесли (1 апреля 1990 г.). «Временная логика действий» . Проверено 2 февраля 2007 г.
  22. ^ Лэмпорт, Лесли (май 1994 г.). «Временная логика действий». Транзакции ACM в языках и системах программирования . 16 (3): 872–923. дои : 10.1145/177492.177726 . S2CID  5498471 . Проверено 2 февраля 2007 г.
  23. ^ Лэмпорт, Лесли (2002). Спецификация систем: язык TLA+ и инструменты для инженеров аппаратного и программного обеспечения. Аддисон-Уэсли. ISBN 978-0-321-14306-8. Проверено 2 февраля 2007 г.
  24. ^ «Биография основного докладчика Международной конференции по надежным системам и сетям» . Архивировано из оригинала 12 февраля 2019 г. Проверено 5 июля 2021 г.
  25. ^ "Премия Тьюринга 2013" . АКМ.
  26. ^ Лесли Лэмпорт, стипендиат ACM, 2014 г.
  27. ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано из оригинала (PDF) 24 ноября 2010 г. Проверено 31 декабря 2010 г.
  28. ^ Пиз, Маршалл; Роберт Шостак; Лесли Лэмпорт (апрель 1980 г.). «Достижение соглашения при наличии разногласий». Журнал Ассоциации вычислительной техники . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . дои : 10.1145/322186.322188. S2CID  6429068 . Проверено 2 февраля 2007 г. 
  29. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005» . Проверено 2 февраля 2007 г.
  30. ^ "PODC 2001: Серия лекций Лэмпорта" . Проверено 2 июля 2009 г.
  31. ^ «Обладатели медали Джона фон Неймана IEEE» (PDF) . ИИЭЭ . Проверено 31 декабря 2010 г.
  32. ↑ Избраны члены и иностранные партнеры. Архивировано 7 мая 2011 г., в Wayback Machine , Национальная академия наук, 3 мая 2011 г.

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