Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Лесли Лэмпорт
Лесли Лэмпорт.jpg
Родившийся
Лесли Б. Лэмпорт

( 1941-02-07 )7 февраля 1941 г. (80 лет)
Нью-Йорк , Нью-Йорк
Альма-матер
Известен
Награды
Научная карьера
ПоляИнформатика
Учреждения
ТезисАналитическая задача Коши с сингулярными данными  (1972 г.)
ДокторантРичард Пале [1]
Интернет сайтlamport .org

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

Ранняя жизнь и образование [ править ]

Выпускник Бронкс средней школы науки , он получил степень бакалавра в области математики из Массачусетского технологического института в 1960 году, и MA и Ph.D. Степень по математике в Университете Брандейса , соответственно, в 1963 и 1972 годах. [10] Его диссертация была посвящена особенностям аналитических уравнений в частных производных . [11]

Карьера и исследования [ править ]

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

Распределенные системы [ править ]

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

  • «Время, часы и порядок событий в распределенной системе» [6], получившая в 2000 г. награду PODC Influential Paper Award [12].
  • «Как сделать многопроцессорный компьютер, который правильно выполняет многопроцессорные программы», [13], в котором определено понятие последовательной согласованности ,
  • « Проблема византийских генералов », [14]
  • «Распределенные снимки: определение глобальных состояний распределенной системы» [15] и
  • «Неполный парламент». [16]

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

  • Paxos алгоритм для консенсуса ,
  • алгоритм пекарня для взаимного исключения нескольких потоков в компьютерной системе , которые требуют одни и те же ресурсы , в то же время,
  • алгоритм Чанди-Лампорт для определения согласованных глобальных состояний (моментальный), и
  • Лампорт подпись , один из прототипов цифровой подписи.

LaTeX [ править ]

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

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

Temporal Logic [ править ]

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

Награды и награды [ править ]

В 2014 году Лампорт получил премию Тьюринга за «фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности за изобретение таких понятий, как причинность и логические часы, безопасность и живучесть, реплицированные конечные автоматы и последовательная согласованность» [25]. ] Он был избран членом ACM за фундаментальный вклад в теорию и практику распределенных и параллельных систем в 2014 году. [26] Он также получил пять почетных докторских степеней европейских университетов: Университета Ренна и Университета Кристиана Альбрехта в Киле в 2003 году, EPFL в 2004 г., Университет Лугано в 2006 г. иNancy-Université в 2007 году. [10] В 2004 году он получил премию IEEE Emanuel R. Piore Award . [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. ^ a b «Окончательное, нетехническое введение в LaTeX, профессиональный набор текста и научные публикации» . Математическое хранилище . 2015-09-05 . Проверено 19 июля 2019 .
  4. ^ Лэмпорт, Лесли (2013). «Лесли Лэмпорт - лауреат премии AM Тьюринга» . ACM.
  5. ^ Страница профиля автора Лесли Лэмпорта вцифровой библиотеке ACM
  6. ^ а б Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации ACM . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . DOI : 10.1145 / 359545.359563 . S2CID 215822405 .   
  7. ^ Список публикаций из Microsoft Academic
  8. Перейти ↑ Savage, N. (2014). «Общее согласие: Лесли Лэмпорт внес свой вклад в теорию и практику построения распределенных вычислительных систем, которые работают по назначению». Коммуникации ACM . 57 (6): 22–23. DOI : 10.1145 / 2601076 . S2CID 5936915 . 
  9. Перейти ↑ Hoffmann, L. (2014). «Вопросы и ответы« Разделяй и властвуй: Лесли Лэмпорт о византийских генералах, часах и других инструментах для рассуждений о параллельных системах ». Коммуникации ACM . 57 (6): 112 – сл. DOI : 10.1145 / 2601077 . S2CID 31514650 . 
  10. ^ a b c Лэмпорт, Лесли (2006-12-19). «Мои сочинения» . Проверено 2 февраля 2007 .
  11. ^ Лэмпорт, Лесли (1972). «Аналитическая задача Коши с сингулярными данными» . Проверено 2 февраля 2007 . Цитировать журнал требует |journal=( помощь )
  12. ^ Neiger, Gil (2003-01-23). «Премия PODC Influential Paper Award: 2000» . Архивировано из оригинала на 2013-07-09 . Проверено 2 февраля 2007 .
  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 . Проверено 2 февраля 2007 . 
  15. ^ Чанди, К. Мани; Лесли Лэмпорт (февраль 1985 г.). «Распределенные снимки: определение глобальных состояний распределенной системы» . ACM-транзакции в компьютерных системах . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . DOI : 10.1145 / 214451.214456 . S2CID 207193167 . Проверено 2 февраля 2007 .  
  16. ^ Лэмпорт, Лесли (май 1998). «Неполный парламент» . ACM-транзакции в компьютерных системах . 16 (2): 133–169. DOI : 10.1145 / 279227.279229 . S2CID 421028 . Проверено 2 февраля 2007 . 
  17. ^ «Наиболее цитируемые статьи в области компьютерных наук» . Сентябрь 2006 . Проверено 8 октября 2007 .
  18. ^ Лэмпорт, Лесли. «Как (LA) TEX изменил лицо математики» (PDF) .
  19. ^ а б «Сочинения Лесли Лэмпорта» . lamport.azurewebsites.net . Проверено 19 июля 2019 .
  20. ^ "TeX, LaTeX и AMS-LaTeX" . 1998-12-03. Архивировано 03 декабря 1998 года . Проверено 19 июля 2019 .
  21. ^ Лэмпорт, Лесли (1990-04-01). «Временная логика действий» . Проверено 2 февраля 2007 . Цитировать журнал требует |journal=( помощь )
  22. ^ Лэмпорт, Лесли (май 1994). «Временная логика действий» . Транзакции ACM по языкам и системам программирования . 16 (3): 872–923. DOI : 10.1145 / 177492.177726 . S2CID 5498471 . Проверено 2 февраля 2007 . 
  23. ^ Лэмпорт, Лесли (2002). Определение систем: язык и инструменты TLA + для инженеров по аппаратному и программному обеспечению . Эддисон-Уэсли. ISBN 978-0-321-14306-8. Проверено 2 февраля 2007 .
  24. ^ "Биография основного докладчика Международной конференции по надежным системам и сетям" . Проверено 6 марта 2007 .
  25. ^ "Премия Тьюринга 2013" . ACM.
  26. ^ Лесли Лэмпорт Стипендиаты ACM 2014
  27. ^ "Получатели премии IEEE Эмануэля Р. Пиоре es" (PDF) . IEEE. Архивировано из оригинального (PDF) 24 ноября 2010 года . Проверено 31 декабря 2010 .
  28. ^ Пиз, Маршалл; Роберт Шостак; Лесли Лэмпорт (апрель 1980 г.). «Достижение соглашения при наличии недостатков» . Журнал Ассоциации вычислительной техники . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . DOI : 10.1145 / 322186.322188 . S2CID 6429068 . Проверено 2 февраля 2007 .  
  29. ^ "Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2005" . Проверено 2 февраля 2007 .
  30. ^ "PODC 2001: Серия лекций Лэмпорта" . Проверено 2 июля 2009 .
  31. ^ "Получатели медали IEEE Джона фон Неймана" (PDF) . IEEE . Проверено 31 декабря 2010 года .
  32. ↑ Избранные члены и зарубежные партнеры. Архивировано 7 мая 2011 г., в Wayback Machine , Национальная академия наук, 3 мая 2011 г.

Внешние ссылки [ править ]

  • Цитаты, связанные с Лесли Лэмпортом в Wikiquote