Херлихи, Морис: различия между версиями
Перейти к навигации
Перейти к поиску
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м →Награды: уточнение |
Самоа (обсуждение | вклад) Нет описания правки Метки: с мобильного устройства из мобильной версии |
||
Строка 1: | Строка 1: | ||
{{однофамильцы|Херлихи (фамилия)|l1=Херлихи}} |
{{однофамильцы|Херлихи (фамилия)|l1=Херлихи}} |
||
'''Морис Херлихи''' ({{lang-en|Maurice Herlihy}} |
'''Морис Херлихи''' ({{lang-en|Maurice Herlihy}}; {{ВД-Преамбула}}) — американский ученый в области [[информатика|информатики]], специализирующийся на теме [[Синхронизация (информатика)|синхронизации]] в [[мультипроцессор]]ах<ref>{{cite web|url=https://dl.acm.org/citation.cfm?id=165164|title=Transactional memory: architectural support for lock-free data structures|publisher=ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93)|accessdate=27 June 2013}}</ref><ref>{{cite web|url=https://dl.acm.org/citation.cfm?id=102808|title=Wait-free synchronization|publisher=ACM Transactions on Programming Languages and Systems|accessdate=27 June 2013}}</ref><ref>{{cite web|url=https://dl.acm.org/citation.cfm?id=78972|title=Linearizability: a correctness condition for concurrent objects|publisher=ACM Transactions on Programming Languages and Systems|accessdate=27 June 2013}}</ref>. Херлихи внес вклад в такие области как теоретические основы [[Неблокирующая синхронизация|неблокирующей синхронизации]], [[Линеаризуемость|линиаризируемые]] [[Структура данных|структуры данных]], приложение [[Комбинаторная топология|комбинаторной топологии]] к [[Комбинаторная топология|распределенным вычислениям]], а также [[программная транзакционная память]]. Он занимает должность профессора информатики в [[Брауновский университет|Брауновском Университете]], где он работает с 1994 года. |
||
== Награды == |
== Награды == |
Версия от 17:48, 30 марта 2019
Морис Херлихи (англ. Maurice Herlihy; род. 4 января 1954, США) — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах[1][2][3]. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
Награды
- 2003 Премия Дейкстры[4] за работу "Wait-Free Synchronization"[5]
- 2004 Премия Гёделя[6]
- 2005 действительный член Ассоциации вычислительной техники[7]
- 2012 Премия Дейкстры[8] за работу "Transactional Memory: Architectural Support for Lock-Free Data Structures"[9]
- 2013 Премия Уоллеса Макдауэлла[10]
- 2013 Национальная инженерная академия США[11]
- 2014 действительный член Национальнй академии изобретателей[12]
- 2015 член Американской академии искусств и наук[13]
Книги
- Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum. Distributed Computing Through Combinatorial Topology. — Morgan Kaufmann, 2013. — 336 p. — ISBN 0124045782. (англ.)
- Maurice Herlihy, Nir Shavit. The Art of Multiprocessor Programming. — Morgan Kaufmann, 2011. — 528 p. — ISBN 7111247353. (англ.)
- Maurice Herlihy, Nir Shavit. The Art of Multiprocessor Programming, Revised Reprint. — Morgan Kaufmann, 2012. — 536 p. — ISBN 0123973376. (англ.)
Примечания
- ↑ Transactional memory: architectural support for lock-free data structures . ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93). Дата обращения: 27 июня 2013.
- ↑ Wait-free synchronization . ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
- ↑ Linearizability: a correctness condition for concurrent objects . ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
- ↑ 2003 Edsger W. Dijkstra Prize in Distributed Computing . ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012.
- ↑ MAURICE HERLIHY: Wait-Free Synchronization
- ↑ Gödel Prize . ACM SIGACT. Дата обращения: 20 августа 2011.
- ↑ ACM: Fellows Award / Maurice P Herlihy . Association for Computing Machinery. Дата обращения: 20 августа 2011.
- ↑ 2012 Edsger W. Dijkstra Prize in Distributed Computing
- ↑ Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures
- ↑ W. Wallace McDowell Award . IEEE. Дата обращения: 5 мая 2013. Архивировано из оригинала 29 мая 2013 года.
- ↑ National Academy of Engineering . NAE. Дата обращения: 30 апреля 2014.
- ↑ National Academy of Inventors Fellow . Brown University. Дата обращения: 30 апреля 2014.
- ↑ American Academy of Arts and Sciences Member . Brown. Дата обращения: 30 апреля 2014.
Ссылки
- веб-страница (англ.)
- Maurice Herlihy (англ.) в проекте «Математическая генеалогия» (англ.)