Maurice Herlihy
Maurice Peter Herlihy (geboren am 4. Januar 1954) ist a Informatiker aktiv im Bereich von Multiprozessor Synchronisation.[1][2][3] Herlihy hat zu Bereichen beigetragen, einschließlich theoretischer Grundlagen der auf wartungfreien Synchronisation, linearisierbaren Datenstrukturen, Anwendungen der kombinatorischen Topologie bis verteiltes Computersowie Hardware- und Software -Transaktionsspeicher. Er ist der Wang -Professor für Informatik bei Universität Brown, wo er seit 1994 Mitglied der Fakultät ist.[4]
Herlihy wurde zum Mitglied der gewählt Nationale Akademie des Ingenieurwesens 2013 für gleichzeitige Computertechniken für Linearisierbarkeit, nicht blockierende Datenstrukturen und Transaktionsspeicher.
Erkennung
- 2003 Dijkstra -Preis[5]
- 2004 Gödel -Preis[6]
- 2005 Gefährte des Verband für Rechenmaschinen[7]
- 2012 Dijkstra -Preis[5]
- 2013 W. Wallace McDowell Award[8]
- 2013 Nationale Akademie des Ingenieurwesens[9]
- 2014 Nationale Akademie der Erfinderin[10]
- 2015 American Academy of Arts and Sciences Mitglied[11]
- 2022 Dijkstra -Preis[5]
Verweise
- ^ Transaktionsgedächtnis: architektonische Unterstützung für lockfreie Datenstrukturen. ISCA '93. ACM Sigarch Computer Architecture News - Sonderausgabe: Verfahren des 20. jährlichen Internationalen Symposiums über Computerarchitektur (ISCA '93). Mai 1993. S. 289–300. doi:10.1145/165123.165164. ISBN 9780818638107. S2CID 917122. Abgerufen 27. Juni 2013.
- ^ Herlihy, Maurice (1991). "Wartefreie Synchronisation". ACM -Transaktionen zu Programmiersprachen und Systemen. 13: 124–149. doi:10.1145/114005.102808. S2CID 2181446. Abgerufen 27. Juni 2013.
- ^ Herlihy, Maurice P.; Wing, Jeannette M. (1990). "Linearisierbarkeit: Eine Korrektheit der Bedingung für gleichzeitige Objekte". ACM -Transaktionen zu Programmiersprachen und Systemen. 12 (3): 463–492. doi:10.1145/78969.78972. S2CID 228785. Abgerufen 27. Juni 2013.
- ^ "Maurice Herlihy - Brown Research Directory". Abgerufen 27. Juni 2013.
- ^ a b c "Edsger W. Dijkstra -Preis im verteilten Computer". ACM -Verfahren zum verteilten Computer. Abgerufen 27. Juni 2012.
- ^ "Gödel Preis". ACM Sigact. Archiviert von das Original am 22. April 2018. Abgerufen 20. August 2011.
- ^ "ACM: Fellows Award / Maurice P Herlihy". Verband für Rechenmaschinen. Abgerufen 20. August 2011.
- ^ "W. Wallace McDowell Award". IEEE. Archiviert von das Original am 29. Mai 2013. Abgerufen 5. Mai 2013.
- ^ "National Academy of Engineering". Nae. Abgerufen 30. April 2014.
- ^ "National Academy of Inventors Fellow". Universität Brown. Abgerufen 30. April 2014.
- ^ "Amerikanische Akademie für Kunst und Wissenschaften Mitglied". Universität Brown. Abgerufen 30. April 2014.
Externe Links