Maurice Herlihy
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | américain |
| Domaines | informatique, programmation concurrente, calcul distribué |
|---|---|
| Institutions | Université Brown |
| Diplôme | Ph. D. |
| Formation | université Harvard, MIT |
| Directrice de thèse | Barbara Liskov |
| Renommé pour | Wait-free Synchronization, mémoire transactionnelle logicielle |
| Distinctions | Prix Dijkstra (2003 et 2012), prix Gödel (2004) |
Maurice Peter Herlihy, né le , est un informaticien américain. Il travaille sur les aspects théoriques et pratiques des systèmes concurrents et distribués.
Maurice Herlihy étudie les mathématiques à l'université Harvard et obtient un B. Sc. en 1975, puis l'informatique au Massachusetts Institute of Technology avec un M. Sc. en 1980 et un Ph. D. en 1984, sous la direction de Barbara Liskov, avec une thèse intitulée « Modular Composition of Fault-Tolerant Systems »[1]. Pendant l'été 1982, il est chercheur au Palo Alto Research Center. De 1984 à 1989 il est professeur assistant à l'université Carnegie-Mellon et de 1989 à 1994 il travaille au Cambridge Research Laboratory de DEC. En 1994 il devient professeur associé, et en 1998 professeur à l'université Brown. Il passe une année sabbatique (2004-2005) chez Microsoft Research, et une autre (2010-2011) au Technion.
Recherche
Herlihy a joué un rôle important dans le développement des multiprocesseurs par la notion de mémoire transactionnelle logicielle qu'il a inventée avec J. Eliot B. Moss (en) et qui a été appliquée dans des processeurs chez Intel et IBM.
Il a fait des contributions sur la synchronisation sans d'attente « Wait-free Synchronization ». Il introduit, avec Jeannette Wing, la notion de linéarisabilité « linearizability » pour des structures de données concurrentes et définit, avec Nir Shavit et James Aspnes, le concept de « Counting Networks ». Avec Shavit, il introduit aussi l'usage de méthodes topologiques pour le traitement d'algorithmes distribués.
Prix et distinctions
- 2003 Prix Dijkstra pour la Wait-Free Synchronization[2].
- 2004 Prix Gödel pour The topological structure of asynchronous computation avec Nir Shavit[3], prix attribué cette même année aussi à Michael Saks et Fotios Zaharoglou.
- 2005 : Fellow de l'Association for Computing Machinery[4].
- 2008 ISCA Influential Paper Prize avec J.E.B. Moss, pour leur article Transactional Memory architectural support for lock-free data structures paru dans le International Symposium on Computer Architecture, en 1993[5],[6].
- 2012 Prix Dijkstra pour Transactional Memory: architectural support for lock-free data structures avec J. Eliot B. Moss[7].
- 2013 Prix W. Wallace McDowell (en) pour « des contributions fondamentales à la théorie et la pratique d'ordinateurs à multiprocesseurs »[8].
- 2013 : Membre de la National Academy of Engineering[9], « pour les techniques de linéarisabilité, structures de données non bloquantes, et mémoire transactionnelle dans le calcul concurrent ».
- 2014 : Fellow de la National Academy of Inventors (en)[10].
- 2015 : Membre de l'Académie américaine des arts et des sciences[11].
