Michel Raynal
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Raynal.
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Professeur d'université (d) | |
---|---|
depuis | |
Chercheur |
Naissance | ![]() Douelle ![]() |
---|---|
Nationalité | française ![]() |
Formation | |
Activité | Informaticien ![]() |
Membre de | Academia Europaea () Institut universitaire de France ![]() |
---|---|
Directeur de thèse | Jean-Pierre Verjus ![]() |
Site web | www.irisa.fr/michel.raynal ![]() |
Distinction |
modifier - modifier le code - modifier Wikidata
Michel Raynal (né le 16 janvier 1949) est un informaticien français, professeur à l’IRISA, Université de Rennes 1, France. Il est reconnu pour des contributions majeures dans les domaines des algorithmes, de la calculabilité et de la tolérance aux fautes dans le contexte du calcul concurrent et du calcul réparti. Michel Raynal est aussi “Distinguished Chair professor” à l'Université polytechnique de Hong Kong[1] et directeur de la collection “Synthesis Lectures on Distributed Computing Theory” publiée par Morgan & Claypool[1]. Il est aussi membre senior de l’Institut Universitaire de France et de Academia Europaea.
Michel Raynal est l’auteur ou le co-auteur de nombreuses publications scientifiques[2],[3] sur le calcul concurrent et réparti, sujets sur lesquels il a écrit 12 livres. Ses trois derniers ouvrages[4],[5],[6] constituent une introduction aux algorithmes concurrents et répartis qui portent à la fois sur les systèmes sans fautes et les systèmes sujets à des fautes (telles que les comportements byzantins de processus). Dans ses publications Michel Raynal s'est toujours efforcé de promouvoir la simplicité comme un “citoyen de première classe” de l’approche scientifique[7]. Avec ses co-auteurs, il a été le récipiendaire de plusieurs “best paper awards” dans les conférences prestigieuses telles IEEE ICDCS 1999, 2000 et 2001 (trois ans de suite), SSS 2009 and 2011, Europar 2010, DISC 2010, ainsi que ACM PODC 2014.
Lorsque Michel Raynal est devenu professeur émérite (2017), INRIA et l’IRISA (CNRS et Université de Rennes 1) ont organisé un workshop en son honneur[8] auquel ont contribué des collègues prestigieux tels que Leslie Lamport (Turing Award 2013, Dijkstra Award 2000, 2005, 2014) , Maurice Herlihy (Dijkstra Award 2003, Gödel Award), Yoram Moses (Dijkstra Award 2009, Godel Award 1990) et Rachid Guerraoui (Chaire annuelle 2018-2019 “Informatique et sciences numériques” du Collège de France).
Études et carrière
Michel Raynal est titulaire du baccalauréat “sciences” et du baccalauréat “lettres”. Il a obtenu sa thèse de troisième cycle en 1975 et son doctorat d’Etat en 1981, toutes deux à l’Université de Rennes 1. Durant la période 1981-1984 il a été professeur à Telecom Bretagne (Brest) où il a créé et administré le département d’informatique. En 1984 il a rejoint l’Université de Rennes, où en 1985 il a créé un groupe de recherche sur les algorithmes répartis (une des toutes premières équipes de recherche sur ce sujet dans le monde).
Michel Raynal a été membre du bureau éditorial de plusieurs revues internationales de recherche telles que Journal of Parallel and Distributed Computing (JPDC), IEEE Transactions on Computers (TC), et IEEE Transactions of parallel and Distributed Systems (TPDS) parmi d’autres.
Activités de recherche
Les contributions scientifiques de Michel Raynal portent principalement sur le calcul concurrent et réparti, et de manière plus spécifique sur la causalité, la synchronisation répartie, la tolérance aux fautes, les problèmes d’accord réparti (consensus), et la calculabilité répartie. Son premier livre[9] (qui portait sur l’exclusion mutuelle dans les systèmes à mémoire partagée et les systèmes à passage de messages, paru en France en 1984, puis aux Presses du MIT en 1986, est reconnu comme un des tout premiers livres entièrement consacré aux algorithmes répartis.
Du côté de la synchronisation, en collaboration avec J.-M. Hélary et A. Mostéfaoui, Michel Raynal a conçu un algorithme générique pour l’exclusion mutuelle dans les systèmes à passage de messages ; algorithme qui - bien que très simple - permet de dériver un grand nombre d’algorithmes d’exclusion fondés sur un jeton naviguant sur un arbre du réseau de processus, arbre qui se restructure dynamiquement[10].
Du côté de la causalité, avec des co-auteurs, Michel Raynal a produit un algorithme très simple pour la livraison causale des messages[11], un algorithme optimal pour les points de reprise répartis fondé sur des horloges vectorielles[12] (algorithme qui a établi les fondements théoriques des points de reprise répartis[13]) ainsi qu’un algorithme de prise de snapshot[14]. Il a aussi introduit (avec J.-M. Hélary and A. Mostéfaoui) la notion de précédence virtuelle[15]. Avec V. Garg il a introduit le concept de « normalité » qui étend le concept bien connu de linéarizabilité aux cas où les objets manipulés sont pourvus d’opérations polyadiques[16].
Du côté des problèmes d’accord, Michel Raynal (principalement avec A. Mostéfaoui) a produit plusieurs algorithmes pour les systèmes asynchrones à passage de messages qui résolvent le consensus en présence de crash de processus[17],[18],[19] ou de fautes byzantines[20]. Ce dernier algorithme est à la fois très simple et optimal pour les complexités en temps et en nombre de messages. Avec A. Mostéfaoui et S. Rajsbaum, il a aussi introduit une approche originale pour résoudre le consensus, appelée « condition-based »[21]. Cette approche a mis en lumière une relation originale très forte entre les codes correcteurs d’erreur et les problèmes d’accord répartis[22].
Récemment, Armando Castaneda, Sergio Rajsbaum et Michel Raynal ont introduit la notion d’“interval linearizability” qui est la première à unifier les notions d’objets concurrents et de taches réparties[23].
Du côte de la calculabilité, J. Steiner, G. Taubenfeld et M. Raynal ont proposé une construction universelle qui permet à x parmi k machines réparties de progresser en présence d’asynchronie et d’un nombre quelconque de crashs de processus[24]. Récemment, à partir d’une idée originale de G. Taubenfeld, Michel Raynal s’est intéressé (avec ce dernier) aux algorithmes pour les mémoires anonymes[25].
Récompenses et honneurs
- 2010 : membre senior, Institut Universitaire de France[26]
- 2015 : Prix de l'innovation en informatique distribuée (prix SIROCCO)[27],[28],[29]
- 2015 : membre d'Academia Europaea[30]
- 2018 : IEEE award for Outstanding Technical Achievement in Distributed Computing[31]
- 2019 : “Outstanding Career Award” décerné par ACM Sigops France[31]
Notes et références
- ↑ a et b (zh) « Home - Department of Computing », sur Department of Computing (consulté le ).
- ↑ Bibliographie de Michel Raynal sur DBLP
- ↑ Bibliographie de Michel Raynal sur Google Scholar
- ↑ (en) Michel Raynal, Concurrent Programming : Algorithms, Principles, and Foundations, Heidelberg/New York, Springer, , 516 p. (ISBN 978-3-642-32027-9, DOI 10.1007/978-3-642-32027-9, lire en ligne)
- ↑ (en) Michel Raynal, Distributed algorithms for message-passing systems, Berlin/New York, Springer, , 500 p. (ISBN 978-3-642-38123-2, DOI 10.1007/978-3-642-38123-2, lire en ligne)
- ↑ Michel Raynal, Fault-tolerant message-passing distributed systems : an algorithmic approach, Springer, , 459 p. (ISBN 978-3-319-94141-7, DOI 10.1007/978-3-319-94141-7, lire en ligne)
- ↑ « Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithmique… », sur univ-rennes1.fr (consulté le ).
- ↑ (en) « Iwdcmr2017 - International Workshop in the Honor of Michel Raynal », sur inria.fr (consulté le ).
- ↑ Michel Raynal, Algorithms for mutual exclusion, Cambridge, MIT Press, 1986 (french version: 1984), 107 p. (ISBN 0-262-18119-3)
- ↑ Jean-Michel Hélary, Achour Mostéfaoui et Michel Raynal, « A general scheme for token- and tree-based distributed mutual exclusion algorithms », IEEE Transactions on Parallel and Distributed Systems, vol. 5, no 11, , p. 1185–1196 (ISSN 2161-9883, DOI 10.1109/71.329670)
- ↑ Michel Raynal, André Schiper et Sam Toueg, « The causal ordering abstraction and a simple way to implement it », Information Processing Letters, vol. 39, no 6, , p. 343–350 (DOI 10.1016/0020-0190(91)90008-6, lire en ligne)
- ↑ Roberto Baldoni, Jean-Michel Hélary et Michel Raynal, « Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol », Information and Computation, vol. 165, no 2, , p. 144–173 (DOI 10.1006/inco.2000.2906)
- ↑ J.-M. Hélary, A. Mostefaoui, R.H.B. Netzer et M. Raynal, « Communication-based prevention of useless checkpoints in distributed computations », Distributed Computing, vol. 13, no 1, , p. 29–43 (DOI 10.1007/s004460050003)
- ↑ J. Helary, A. Mostefaoui et M. Raynal, « Communication-induced determination of consistent snapshots », IEEE Transactions on Parallel and Distributed Systems, vol. 10, no 9, , p. 865–877 (DOI 10.1109/71.798312, lire en ligne)
- ↑ J.M. Hélary, A. Mostefaoui et M. Raynal, « Interval Consistency of Asynchronous Distributed Computations », Journal of Computer and System Sciences, vol. 64, no 2, , p. 329–349 (DOI 10.1006/jcss.2001.1819)
- ↑ VIJAY K. GARG et MICHEL RAYNAL, « Normality: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS », Parallel Processing Letters, vol. 09, no 1, , p. 123–134 (DOI 10.1142/S0129626499000141, lire en ligne)
- ↑ A. MOSTEFAOUI et M. RAYNAL, « Leader-Based Consensus », Parallel Processing Letters, vol. 11, no 1, , p. 95–107 (DOI 10.1142/S0129626401000452)
- ↑ R. Guerraoui et M. Raynal, « The Alpha of Indulgent Consensus », The Computer Journal, vol. 50, no 1, , p. 53–67 (DOI 10.1093/comjnl/bxl046, lire en ligne)
- ↑ Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal et Corentin Travers, « The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement », SIAM Journal on Computing, vol. 38, no 4, , p. 1574–1601 (DOI 10.1137/050645580)
- ↑ Achour Mostéfaoui, Hamouma Moumen et Michel Raynal, « Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time », Journal of the ACM, vol. 62, no 4, , p. 1–21 (DOI 10.1145/2785953, lire en ligne)
- ↑ Achour Mostefaoui, Sergio Rajsbaum et Michel Raynal, « Conditions on input vectors for consensus solvability in asynchronous distributed systems », Journal of the ACM, vol. 50, no 6, , p. 922–954 (DOI 10.1145/950620.950624)
- ↑ Roy Friedman, Achour Mostefaoui, Sergio Rajsbaum et Michel Raynal, « Asynchronous Agreement and Its Relation with Error-Correcting Codes », IEEE Transactions on Computers, vol. 56, no 7, , p. 865–875 (DOI 10.1109/TC.2007.1043)
- ↑ Armando Castañeda, Sergio Rajsbaum et Michel Raynal, « Unifying Concurrent Objects and Distributed Tasks », Journal of the ACM, vol. 65, no 6, , p. 1–42 (DOI 10.1145/3266457)
- ↑ Michel Raynal, Julien Stainer et Gadi Taubenfeld, « Distributed Universality », Algorithmica, vol. 76, no 2, , p. 502–535 (DOI 10.1007/s00453-015-0053-3)
- ↑ (en) Michel Raynal et Gadi Taubenfeld, « Mutual exclusion in fully anonymous shared memory systems », Information Processing Letters, vol. 158, (DOI 10.1016/j.ipl.2020.105938)
- ↑ Page personnelle de Michel Raynal sur le site de l'Institut Universitaire de France
- ↑ Site internet de la conférence SIROCCO 2015
- ↑ Anne-Marie Kermarrec, « Des consensus tout sauf mous », sur binaire.blog.lemonde.fr, Le Monde, (consulté le ).
- ↑ Annonce du prix SIROCCO repris sur le site de la Société informatique de France
- ↑ Page personnelle de Michel Raynal sur le site d'Academia Europaea
- ↑ a et b « Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie », sur Université de Rennes 1, .
Liens externes
- Site officiel
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Geförderte Projekte Informationssystem
- Google Scholar
- Mathematics Genealogy Project
- ORCID
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- CiNii
- Espagne
- Belgique
- Pays-Bas
- Israël
- NUKAT
- Norvège
- Croatie
- Tchéquie
- WorldCat
- Page personnelle de Michel Raynal sur le site de l'IRISA
Portail de l’informatique
Portail de la France
Portail de Rennes