Херлихи, Морис: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м →‎Награды: уточнение
Нет описания правки
Метки: с мобильного устройства из мобильной версии
Строка 1: Строка 1:
{{однофамильцы|Херлихи (фамилия)|l1=Херлихи}}
{{однофамильцы|Херлихи (фамилия)|l1=Херлихи}}
'''Морис Херлихи''' ({{lang-en|Maurice Herlihy}}) (род. 4 января 1954 г.) - американский ученый в области [[информатика|информатики]], специализирующийся на теме [[Синхронизация (информатика)|синхронизации]] в [[мультипроцессор]]ах<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 года.
'''Морис Херлихи''' ({{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 года.

Награды

Книги

  • 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. (англ.)

Примечания

  1. 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.
  2. Wait-free synchronization. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
  3. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. Дата обращения: 27 июня 2013.
  4. 2003 Edsger W. Dijkstra Prize in Distributed Computing. ACM Proceedings on Distributed Computing. Дата обращения: 27 июня 2012.
  5. MAURICE HERLIHY: Wait-Free Synchronization
  6. Gödel Prize. ACM SIGACT. Дата обращения: 20 августа 2011.
  7. ACM: Fellows Award / Maurice P Herlihy. Association for Computing Machinery. Дата обращения: 20 августа 2011.
  8. 2012 Edsger W. Dijkstra Prize in Distributed Computing
  9. Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures
  10. W. Wallace McDowell Award. IEEE. Дата обращения: 5 мая 2013. Архивировано из оригинала 29 мая 2013 года.
  11. National Academy of Engineering. NAE. Дата обращения: 30 апреля 2014.
  12. National Academy of Inventors Fellow. Brown University. Дата обращения: 30 апреля 2014.
  13. American Academy of Arts and Sciences Member. Brown. Дата обращения: 30 апреля 2014.

Ссылки