Herlihy, Maurice

Maurice Herlihy ( n . 4 ianuarie  1954 , SUA ) este un informatician american specializat în tema sincronizării în multiprocesoare [3] [4] [5] . Herlihy a contribuit la domenii precum bazele teoretice ale sincronizării neblocante , structurile de date liniizabile , aplicarea topologiei combinatorii la calculul distribuit și memoria tranzacțională software . Este profesor de informatică la Universitatea Brown , unde este din 1994.

Premii

• 2003 Premiul Dijkstra [6] pentru „Sincronizare fără așteptare” [7]
• 2004 Premiul Gödel [8] pentru „Structura topologică a calculului asincron”
• 2005 Fellow al Asociației pentru Mașini de Calcul [9]
• 2012 Dijkstra Prize [10] pentru „Memorie tranzacțională: suport arhitectural pentru structuri de date fără blocare” [11]
• Premiul Wallace McDowell 2013 [12] [13]
• 2013 Academia Națională de Inginerie din SUA [14]
• 2014 membru titular al Academiei Naționale a Inventatorilor [15]
• 2015 Membru al Academiei Americane de Arte și Științe [16]

Cărți

• Maurice Herlihy, Dmitri Kozlov, Sergio Rajsbaum. Calcul distribuit prin topologie combinatorie. - Morgan Kaufmann, 2013. - 336 p. — ISBN 0124045782 .  (Engleză)
• Maurice Herlihy, Nir Shavit . Arta programării multiprocesor. - Morgan Kaufmann, 2011. - 528 p. — ISBN 7111247353 .  (Engleză)
• Maurice Herlihy, Nir Shavit . Arta programării multiprocesor, reimprimare revizuită . - Morgan Kaufmann, 2012. - 536 p. — ISBN 0123973376 .  (Engleză)

Note

1. ↑ http://cs.brown.edu/~mph/
2. ↑ 1 2 Genealogie matematică  (engleză) - 1997.
3. ↑ Memoria tranzacțională: suport arhitectural pentru structuri de date fără blocare . ACM SIGARCH Știri privind arhitectura calculatoarelor - Număr special: Actele celui de-al 20-lea simpozion internațional anual privind arhitectura computerelor (ISCA '93). Preluat: 27 iunie 2013. (nedefinit)
4. ↑ Sincronizare fără așteptare . Tranzacții ACM pe limbaje și sisteme de programare. Preluat: 27 iunie 2013. (nedefinit)
5. ↑ Linearizare: o condiție de corectitudine pentru obiecte concurente . Tranzacții ACM pe limbaje și sisteme de programare. Preluat: 27 iunie 2013. (nedefinit)
6. ↑ 2003 Premiul Edsger W. Dijkstra în calcul distribuit . ACM Proceedings on Distributed Computing. Preluat: 27 iunie 2012. (nedefinit)
7. ↑ MAURICE HERLIHY: Sincronizare fără așteptare
8. ↑ Premiul Godel 2004
9. ↑ ACM: Fellows Award / Maurice P Herlihy . Asociația pentru Mașini de Calcul . Preluat: 20 august 2011. (nedefinit)
10. ↑ 2012 Edsger W. Dijkstra Prize in Distributed Computing
11. ↑ Maurice Herlihy, J. Eliot B. Moss: Transactional Memory: Architectural Support for Lock-Free Data Structures
12. ↑ Premiul W. Wallace McDowell | Societatea de calculatoare IEEE
13. ↑ Maurice Herlihy | Societatea de calculatoare IEEE
14. ↑ Academia Națională de Inginerie . NAE . Data accesului: 30 aprilie 2014. (nedefinit)
15. ^ National Academy of Inventors Fellow . Universitatea Brown . Data accesului: 30 aprilie 2014. (nedefinit)
16. ↑ Membru al Academiei Americane de Arte și Științe . Universitatea Brown . Data accesului: 30 aprilie 2014. (nedefinit)

Link -uri

• cs.brown.edu/~mph/ - site-ul oficial al lui Maurice Herlihy 
• Maurice Herlihy  (engleză) la Proiectul  de genealogie matematică (engleză)