Maurice Herlihy

Maurice Peter Herlihy Nøkkeldata

Fødsel	4. januar 1954
Nasjonalitet	amerikansk
Områder	informatikk , samtidig programmering , distribuert databehandling
Institusjoner	Brown University
Diplom	Ph. D.
Opplæring	Harvard University , MIT
Oppgaveleder	Barbara liskov
Kjent for	Ventefritt synkronisering , minne for programvaretransaksjon
Utmerkelser	Dijkstra-prisen (2003 og 2012) , Gödel-prisen (2004)

Maurice Peter Herlihy , født den4. januar 1954, er en amerikansk informatiker . Han arbeider med de teoretiske og praktiske aspektene av samtidige og distribuerte systemer .

Profesjonell karriere

Maurice Herlihy studerte matematikk ved Harvard University og oppnådde en B. Sc. I 1975, deretter datavitenskap ved Massachusetts Institute of Technology med en M. Sc. I 1980 og en Ph. D. i 1984, under veiledning av Barbara Liskov , med en avhandling med tittelen “ Modular Composition of Fault-Tolerant Systems ” . Sommeren 1982 var han forsker ved Palo Alto Research Center . Fra 1984 til 1989 var han assisterende professor ved Carnegie-Mellon University, og fra 1989 til 1994 jobbet han ved DECs Cambridge Research Laboratory . I 1994 ble han lektor, og i 1998 professor ved Brown University . Han tilbrakte et sabbatsår (2004-2005) ved Microsoft Research, og et annet (2010-2011) ved Technion .

Undersøkelser

Herlihy spilte en viktig rolle i utviklingen av flerprosessorer ved begrepet programvaretransaksjonsminne som han oppfant med J. Eliot B. Moss (in) og som ble brukt i prosessorer hos Intel og IBM .

Han bidro med synkronisering av " Wait-free Synchronization " . Den introduserer, sammen med Jeannette Wing, forestillingen om linearitet " linearizability " for samtidige datastrukturer og sett, Nir Shavit og James Aspnes, begrepet " Counting Networks " . Med Shavit introduserer han også bruk av topologiske metoder for behandling av distribuerte algoritmer.

Priser og anerkjennelse

2003 Dijkstra-prisen for ventefri synkronisering .
2004 Gödel-prisen for den topologiske strukturen i asynkron beregning med Nir Shavit, pris som ble tildelt samme år også til Michael Saks og Fotios Zaharoglou .
2005: Fellow of the Association for Computing Machinery .
2008 ISCA Influential Paper Prize med JEB Moss, for deres artikkel Transactional Memory arkitektonisk støtte for låsfrie datastrukturer publisert i International Symposium on Computer Architecture , i 1993.
2012 Dijkstra-prisen for transaksjonsminne: arkitektonisk støtte for låsfrie datastrukturer med J. Eliot B. Moss.
2013 Pris W. Wallace McDowell (in) for " fundamentale bidrag til teorien og utøvelsen av multiprosessor-datamaskiner " .
2013: Medlem av National Academy of Engineering , “for lineariserbarhetsteknikker, ikke-blokkerende datastrukturer og transaksjonsminne i samtidig beregning”.
2014: Fellow av National Academy of Inventors (en) .
2015: Medlem av American Academy of Arts and Sciences .

Bøker og kapitler

Maurice Herlihy og Nir Shavit, The Art of Multiprocessor Programming , Elsevier ,2012( 1 st ed. 2008), 508 s. ( ISBN 978-0-12-397337-5 og 0123973376 , les online ).
(no) Maurice Herlihy, Dmitriĭ Nikolaevich Kozlov og Sergio Rajsbaum, Distribuert databehandling gjennom kombinatorisk topologi , Amsterdam, Morgan Kaufmann,2014, 319 s. ( ISBN 978-0-12-404578-1 ).
Maurice Herlihy og Nir Shavit, "Applications of Algebraic Topology to Concurrent Computation" , i Greg Astfalk (redaktør), Applications on Advanced Architecture Computers , SIAM press,1996, 359 s. ( ISBN 9780898713688 og 0898713684 , DOI 10.1137 / 1.9780898719659.ch23 ) , s. 255-263.
Maurice Herlihy og Sergio Rajsbaum, “Algebraic Topology and Distributed Computing - a Primer” , i Jan van Leeuwen (redaktør), Compuer Science Today - Recent Trends and Developments , Springer, koll. "Forelesningsnotater i informatikk vol. 1000 ",1995, 359 s. ( ISBN 3540601058 ) , s. 203-217

Maurice Herlihy er eller har vært redaktør for flere vitenskapelige tidsskrifter, inkludert Journal of the ACM (1998-2010), SIAM Journal of Computing (1994-2000), assisterende redaktør ACM Transactions on Computer Systems (1993-2010). Han har mange patenter. 27 er oppført i hans CV .

Merknader og referanser

(de) Denne artikkelen er delvis eller helt hentet fra Wikipedia-artikkelen på tysk med tittelen " Maurice Herlihy " ( se listen over forfattere ) .

(in) " Maurice Herlihy " på nettstedet til Mathematics Genealogy Project .
Maurice Herlihy, “ Wait-Free Synchronization ”, ACM Transactions on Programming Languages and Systems , vol. 13, n o 1,Januar 1991, s. 124-149 ( les online ).
Maurice Herlihy og Nir Shavit, “ Den topologiske strukturen for asynkron beregning ”, Journal of the ACM , vol. 46, n o 6,1999, s. 858–923 ( DOI 10.1145 / 331524.331529 , les online ).
" ACM: Fellows Award / Maurice P Herlihy " , Association for Computing Machinery .
ISCA Innflytelsesrike papirprisen på ACM SIGARCH nettstedet.
ISCA Influential Paper- pris delt ut på nettstedet Brown University.
Maurice Herlihy og J. Eliot B. Moss, “ Transactional memory: architectural support for lock-free data structures ”, Proceedings of the 20th annual international symposium on Computer architecture - ISCA '93 , Association for Computing Machinery (ACM),1993( ISBN 0818638109 , DOI 10.1145 / 165123.165164 , les online ).
Laudatio McDowell Award .
" National Academy of Engineering " , NAE .
" National Academy of Inventors Fellow " , Brown .
" American Academy of Arts and Sciences Member " , Brown .