Herlihy, Maurice

Maurice Herlihy ( født 4. januar  1954 , USA ) er en amerikansk computerforsker med speciale i emnet synkronisering i multiprocessorer [3] [4] [5] . Herlihy har bidraget til områder som det teoretiske grundlag for ikke-blokerende synkronisering , lineariserbare datastrukturer , anvendelsen af ​​kombinatorisk topologi til distribueret databehandling og softwaretransaktionshukommelse . Han er professor i datalogi ved Brown University , hvor han har været siden 1994.

Priser

• 2003 Dijkstra-prisen [6] for "Ventefri synkronisering" [7]
• Gödel-prisen 2004 [8] for "The Topological Structure of Asynchronous Computation"
• 2005 Fellow of Association for Computing Machinery [9]
• 2012 Dijkstra-prisen [10] for "Transactional Memory: Architectural Support for Lock-Free Data Structures" [11]
• 2013 Wallace McDowell Award [12] [13]
• 2013 US National Academy of Engineering [14]
• 2014 fuldgyldigt medlem af National Academy of Inventors [15]
• 2015 Medlem af American Academy of Arts and Sciences [16]

Bøger

• Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum. Distribueret databehandling gennem kombinatorisk topologi. - Morgan Kaufmann, 2013. - 336 s. — ISBN 0124045782 .  (Engelsk)
• Maurice Herlihy, Nir Shavit . Kunsten at programmere multiprocessor. - Morgan Kaufmann, 2011. - 528 s. — ISBN 7111247353 .  (Engelsk)
• Maurice Herlihy, Nir Shavit . Kunsten at multiprocessorprogrammering, revideret genoptryk . - Morgan Kaufmann, 2012. - 536 s. — ISBN 0123973376 .  (Engelsk)

Noter

1. ↑ http://cs.brown.edu/~mph/
2. ↑ 1 2 Matematisk genealogi  (engelsk) - 1997.
3. ↑ Transaktionshukommelse: arkitektonisk understøttelse af låsefri datastrukturer . ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer Architecture (ISCA '93). Hentet: 27. juni 2013. (ubestemt)
4. ↑ Ventefri synkronisering . ACM-transaktioner på programmeringssprog og -systemer. Hentet: 27. juni 2013. (ubestemt)
5. ↑ Lineariserbarhed: en korrekthedsbetingelse for samtidige objekter . ACM-transaktioner på programmeringssprog og -systemer. Hentet: 27. juni 2013. (ubestemt)
6. ↑ 2003 Edsger W. Dijkstra-prisen i distribueret databehandling . ACM Proceedings on Distributed Computing. Hentet: 27. juni 2012. (ubestemt)
7. ↑ MAURICE HERLIHY: Ventefri synkronisering
8. ↑ Godel-prisen 2004
9. ↑ ACM: Fellows Award / Maurice P Herlihy . Foreningen for Datamaskiner . Hentet: 20. august 2011. (ubestemt)
10. ↑ 2012 Edsger W. Dijkstra-prisen i distribueret databehandling
11. ↑ Maurice Herlihy, J. Eliot B. Moss: Transaktionshukommelse: Arkitektonisk støtte til låsefri datastrukturer
12. ↑ W. Wallace McDowell Award | IEEE Computer Society
13. ↑ Maurice Herlihy | IEEE Computer Society
14. ↑ National Academy of Engineering . NAE . Dato for adgang: 30. april 2014. (ubestemt)
15. ↑ National Academy of Inventors Fellow . Brown Universitet . Dato for adgang: 30. april 2014. (ubestemt)
16. ↑ Medlem af American Academy of Arts and Sciences . Brown Universitet . Dato for adgang: 30. april 2014. (ubestemt)

Links

• cs.brown.edu/~mph/ - Maurice  Herlihys officielle hjemmeside
• Maurice Herlihy  (engelsk) ved Mathematical Genealogy Project  (engelsk)