« Michel Raynal » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
Majuscules pas capitales.
Refonte globale, ajout notable des activités de recherche. Traduction de l'anglais
Ligne 4 : Ligne 4 :
{{infobox biographie2}}
{{infobox biographie2}}


''Michel Raynal'' (né le 16 janvier 1949) est un informaticien français, professeur à l’[[IRISA]], Université de Rennes, 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 [[Concurrence (informatique)|calcul concurrent]] et du [[calcul réparti]]. Michel Raynal est aussi “Distinguished Chair professor” à l'[[Université polytechnique de Hong Kong]]<ref>https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764</ref> et directeur de la collection “Synthesis Lectures on Distributed Computing Theory” publiée par Morgan & Claypool<ref>https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764</ref>. Il est aussi membre senior de l’[[Institut Universitaire de France]] et de [[Academia Europaea]].
⚫
'''Michel Raynal''', né en 1949, est un chercheur en informatique français<ref name="Who's Who"/>, travaillant dans le domaine de l'[[informatique distribuée]]. Ses principales contributions concernent la conception d'algorithmes distribués, la tolérance aux fautes pour les algorithmes distribués (principalement autour du problème du [[Consensus_(informatique)|consensus]]), et la calculabilité distribuée.

Michel Raynal est l’auteur ou le co-auteur de nombreuses publications scientifiques<ref>[http://dblp.uni-trier.de/pers/hd/r/Raynal:Michel Bibliographie de Michel Raynal] sur [[DBLP]]</ref>{{,}}<ref>[https://scholar.google.com/citations?user=d3BBqmgAAAAJ Bibliographie de Michel Raynal] sur [[Google Scholar]]</ref> sur le calcul concurrent et réparti, sujets sur lesquels il a écrit 12 livres. Ses trois derniers ouvragesref<ref>{{cite book |last1=Raynal |first1=Michel |title=Concurrent Programming: Algorithms, Principles, and Foundations |date=2012 |publisher=Springer |isbn=978-3-642-32027-9 |doi=10.1007/978-3-642-32027-9 }}</ref>{{,}}<ref>{{cite book |last1=Raynal |first1=Michel |title=Distributed algorithms for message-passing systems |date=2013 |publisher=Springer |isbn=978-3-642-38123-2 |doi=10.1007/978-3-642-38123-2 }}</ref>{{,}}<ref>{{cite book |last1=Raynal |first1=Michel |title=Fault-tolerant message-passing distributed systems: an algorithmic approach |date=2018 |publisher=Springer |isbn=978-3-319-94141-7 |doi=10.1007/978-3-319-94141-7 }}</ref> constituent une introduction aux algorithmes concurrents et répartis qui portent à la fois sur les systèmes sans fautes et les sytèmes sujets à des fautes (telles que les [[Problème des généraux byzantins|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<ref>https://www.univ-rennes1.fr/actualites/16072018/michel-raynal-distingue-pour-sa-contribution-exceptionnelle-lalgorithmique-repartie</ref>. Avec ses co-auteurs, il a éte le récipiendaire de plusieurs “best paper awards” dans les conférences prestigieuses telles IEEE ICDCS 1999, 2000 and 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<ref>https://www.irisa.fr/asap/?p=354</ref> auquel ont contribué des collègues prestigieux tels que [[Leslie Lamport]] ([[Turing Award]] 2013,
[[Prix Dijkstra|Dijkstra Award]] 2000, 2005, 2014) , [[Maurice Herlihy]] (Dijkstra Award 2003, [[Prix Gödel|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]]).


⚫
<!--'''Michel Raynal''', né en 1949, est un chercheur en informatique français<ref name="Who's Who"/>, travaillant dans le domaine de l'[[informatique distribuée]]. Ses principales contributions concernent la conception d'algorithmes distribués, la tolérance aux fautes pour les algorithmes distribués (principalement autour du problème du [[Consensus_(informatique)|consensus]]), et la calculabilité distribuée.
Il est professeur à l'[[Université de Rennes 1]] depuis 1984. Il est l'auteur ou le coauteur de nombreuses publications scientifiques<ref>[http://dblp.uni-trier.de/pers/hd/r/Raynal:Michel Bibliographie de Michel Raynal] sur [[DBLP]]</ref> sur l'informatique distribuée et est l'auteur de plusieurs livres.
Il est professeur à l'[[Université de Rennes 1]] depuis 1984. Il est l'auteur ou le coauteur de nombreuses publications scientifiques<ref>[http://dblp.uni-trier.de/pers/hd/r/Raynal:Michel Bibliographie de Michel Raynal] sur [[DBLP]]</ref> sur l'informatique distribuée et est l'auteur de plusieurs livres.


Pour son éméritat, [[INRIA]], [[:en:IRISA|IRISA]], et [[Université de Rennes|l'Université de Rennes]] ont organisé un atelier<ref>[https://project.inria.fr/iwdcmr2017/ International Workshop on Distributed Computing in the honor of Michel Raynal]</ref>, comprenant de multiples orateurs, incluant le récipiendaire du [[Prix Turing]] [[Leslie Lamport]] et les récipiendaires du [[Prix Dijkstra]] [[Leslie Lamport]], [[Maurice Herlihy]], [[Yoram Moses]].
Pour son éméritat, [[INRIA]], [[:en:IRISA|IRISA]], et [[Université de Rennes|l'Université de Rennes]] ont organisé un atelier<ref>[https://project.inria.fr/iwdcmr2017/ International Workshop on Distributed Computing in the honor of Michel Raynal]</ref>, comprenant de multiples orateurs, incluant le récipiendaire du [[Prix Turing]] [[Leslie Lamport]] et les récipiendaires du [[Prix Dijkstra]] [[Leslie Lamport]], [[Maurice Herlihy]], [[Yoram Moses]].-->


==Prix ==
==Études et carrière==

Michel Raynal est titulaitre 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]]. Durand la période 1981-1984 il a été professeur à [[TELECOM Bretagne|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 [[Concurrence (informatique)|calcul concurrent]] et [[calcul réparti|réparti]], et de manière plus spécifique sur la [[causalité]], la [[Synchronisation d'horloges#Synchronisation_en_temps_logique|synchronisation répartie]], la [[tolérance aux fautes]], les problèmes d’[[Consensus (informatique)|accord réparti (consensus)]], et la [[calculabilité]] répartie. Son premier livre<ref>{{cite book |last1=Raynal |first1=Michel |title=Algorithms for mutual exclusion |date=1986 (French version: 1984) |publisher=MIT Press |location=Cambridge |isbn=0-262-18119-3}}</ref> (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 [[MIT Press|Presses du MIT]] en 1986, est reconnu comme un des tout premiers livres entièrement consacré aux [[Algorithme Réparti|algorithmes répartis]].

Du coté de la [[Synchronisation d'horloges|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<ref>{{cite journal |last1=Hélary |first1=Jean-Michel |last2=Mostéfaoui |first2=Achour |last3=Raynal |first3=Michel |title=A general scheme for token- and tree-based distributed mutual exclusion algorithms |journal=IEEE Transactions on Parallel and Distributed Systems |date=November 1994 |volume=5 |issue=11 |pages=1185–1196 |doi=10.1109/71.329670 |issn=2161-9883}}</ref>.

Du coté de la [[causalité]], avec des co-auteurs, Michel Raynal a produit un algorithme très simple pour la livraison causale des messages<ref>{{cite journal |last1=Raynal |first1=Michel |last2=Schiper |first2=André |last3=Toueg |first3=Sam |title=The causal ordering abstraction and a simple way to implement it |journal=Information Processing Letters |date=September 1991 |volume=39 |issue=6 |pages=343–350 |doi=10.1016/0020-0190(91)90008-6|url=https://hal.inria.fr/inria-00075427/file/RR-1132.pdf }}</ref>, un algorithme optimal pour les points de reprise répartis fondé sur des horloges vectorielles<ref>{{cite journal |last1=Baldoni |first1=Roberto |last2=Hélary |first2=Jean-Michel |last3=Raynal |first3=Michel |title=Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol |journal=Information and Computation |date=March 2001 |volume=165 |issue=2 |pages=144–173 |doi=10.1006/inco.2000.2906}}</ref> (algorithme qui a établi les fondements théoriques des points de reprise répartis<ref>{{cite journal |last1=Hélary |first1=J.-M. |last2=Mostefaoui |first2=A. |last3=Netzer |first3=R.H.B. |last4=Raynal |first4=M. |title=Communication-based prevention of useless checkpoints in distributed computations |journal=Distributed Computing |date=1 January 2000 |volume=13 |issue=1 |pages=29–43 |doi=10.1007/s004460050003}}</ref>) ainsi qu’un algorithme de prise de “[[snapshot]]”<ref>{{cite journal |last1=Helary |first1=J. |last2=Mostefaoui |first2=A. |last3=Raynal |first3=M. |title=Communication-induced determination of consistent snapshots |journal=IEEE Transactions on Parallel and Distributed Systems |date=1999 |volume=10 |issue=9 |pages=865–877 |doi=10.1109/71.798312|url=https://semanticscholar.org/paper/92c608d6f06dd66389140b5d6b661b64d9cb6f4e }}</ref>. Il a aussi introduit (avec J.-M. Hélary and A. Mostéfaoui) la notion de précédence virtuelle<ref>{{cite journal |last1=Hélary |first1=J.M. |last2=Mostefaoui |first2=A. |last3=Raynal |first3=M. |title=Interval Consistency of Asynchronous Distributed Computations |journal=Journal of Computer and System Sciences |date=March 2002 |volume=64 |issue=2 |pages=329–349 |doi=10.1006/jcss.2001.1819}}</ref>. Avec V. Garg il a introduit le concept of “normalité” qui étend le concept bien connu de de linéarizabilité aux cas où les objects manipulés sont pourvus d’opérations polyadiques<ref>{{cite journal |last1=GARG |first1=VIJAY K. |last2=RAYNAL |first2=MICHEL |title=Normality: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS |journal=Parallel Processing Letters |date=21 November 2011 |volume=09 |issue=1 |pages=123–134 |doi=10.1142/S0129626499000141|url=https://semanticscholar.org/paper/3c0e2026ac7b0089b401c776047a453e79742b31 }}</ref>.

Du coté des [[Consensus (informatique)|problèmes d’accord]], Michel Raynal (pricipalement 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<ref>{{cite journal |last1=MOSTEFAOUI |first1=A. |title=Leader-Based Consensus |last2=RAYNAL |first2=M. |journal=Parallel Processing Letters |date=21 November 2011 |volume=11 |issue=1 |pages=95–107 |doi=10.1142/S0129626401000452}}</ref>{{,}}<ref>{{cite journal |last1=Guerraoui |first1=R. |last2=Raynal |first2=M. |title=The Alpha of Indulgent Consensus |journal=The Computer Journal |date=16 October 2006 |volume=50 |issue=1 |pages=53–67 |doi=10.1093/comjnl/bxl046|url=http://doc.rero.ch/record/294301/files/bxl046.pdf }}</ref>{{,}}<ref>{{cite journal |last1=Mostefaoui |first1=Achour |last2=Rajsbaum |first2=Sergio |last3=Raynal |first3=Michel |last4=Travers |first4=Corentin |title=The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement |journal=SIAM Journal on Computing |date=January 2008 |volume=38 |issue=4 |pages=1574–1601 |doi=10.1137/050645580}}</ref> ou de [[Problème des généraux byzantins|fautes byzantines]]<ref>{{cite journal |last1=Mostéfaoui |first1=Achour |last2=Moumen |first2=Hamouma |last3=Raynal |first3=Michel |title=Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time |journal=Journal of the ACM |date=11 September 2015 |volume=62 |issue=4 |pages=1–21 |doi=10.1145/2785953|url=https://hal.archives-ouvertes.fr/hal-01176110/file/JACM.pdf }}</ref>. 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”<ref>{{cite journal |last1=Mostefaoui |first1=Achour |last2=Rajsbaum |first2=Sergio |last3=Raynal |first3=Michel |title=Conditions on input vectors for consensus solvability in asynchronous distributed systems |journal=Journal of the ACM |date=1 November 2003 |volume=50 |issue=6 |pages=922–954 |doi=10.1145/950620.950624}}</ref>. Cette approche a mis en lumière une relation originale très forte entre les [[Code correcteur|codes correcteurs d’erreur]] et les problèmes d’accord répartis<ref>{{cite journal |last1=Friedman |first1=Roy |last2=Mostefaoui |first2=Achour |last3=Rajsbaum |first3=Sergio |last4=Raynal |first4=Michel |title=Asynchronous Agreement and Its Relation with Error-Correcting Codes |journal=IEEE Transactions on Computers |date=July 2007 |volume=56 |issue=7 |pages=865–875 |doi=10.1109/TC.2007.1043}}</ref>.

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<ref>{{cite journal |last1=Castañeda |first1=Armando |last2=Rajsbaum |first2=Sergio |last3=Raynal |first3=Michel |title=Unifying Concurrent Objects and Distributed Tasks |journal=Journal of the ACM |date=19 November 2018 |volume=65 |issue=6 |pages=1–42 |doi=10.1145/3266457}}</ref>.

Du cote 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’[[Asynchrone|asynchronie]] et d’un nombre quelconque de crashs de processus<ref>{{cite journal |last1=Raynal |first1=Michel |last2=Stainer |first2=Julien |last3=Taubenfeld |first3=Gadi |title=Distributed Universality |journal=Algorithmica |date=19 August 2015 |volume=76 |issue=2 |pages=502–535 |doi=10.1007/s00453-015-0053-3}}</ref>. Recemment, à partir d’une idée originale de G. Taubenfeld, Michel Raynal s’est intéréssé (avec ce dernier) aux algorithmes pour les mémoires anonymes<ref>{{cite journal |last1=Raynal |first1=Michel |last2=Taubenfeld |first2=Gadi |title=Mutual exclusion in fully anonymous shared memory systems |date=2019}}</ref>.



==Récompenses et honneurs==
* 2010 : membre senior, [[Institut Universitaire de France]]<ref>[http://iuf.amue.fr/author/mraynal/ Page personnelle de Michel Raynal] sur le site de l'[[Institut Universitaire de France]]</ref>
* 2010 : membre senior, [[Institut Universitaire de France]]<ref>[http://iuf.amue.fr/author/mraynal/ Page personnelle de Michel Raynal] sur le site de l'[[Institut Universitaire de France]]</ref>
* 2015 : [[Prix de l'innovation en informatique distribuée]] (prix [[International Colloquium on Structural Information and Communication Complexity|SIROCCO]])<ref>[http://sirocco2015.cs.upb.de/keynotes.html Site internet de la conférence SIROCCO 2015]</ref>{{,}}<ref name="Le Monde"/>{{,}}<ref>[http://www.societe-informatique-de-france.fr/michel-raynal-laureat-du-prix-sirocco-2015-innovation-award-in-distributed-computing/ Annonce du prix SIROCCO] repris sur le site de la [[Société informatique de France]]</ref>
* 2015 : [[Prix de l'innovation en informatique distribuée]] (prix [[International Colloquium on Structural Information and Communication Complexity|SIROCCO]])<ref>[http://sirocco2015.cs.upb.de/keynotes.html Site internet de la conférence SIROCCO 2015]</ref>{{,}}<ref name="Le Monde"/>{{,}}<ref>[http://www.societe-informatique-de-france.fr/michel-raynal-laureat-du-prix-sirocco-2015-innovation-award-in-distributed-computing/ Annonce du prix SIROCCO] repris sur le site de la [[Société informatique de France]]</ref>
* 2015 : membre d'[[Academia Europaea]]<ref>[http://www.ae-info.org/ae/User/Raynal_Michel Page personnelle de Michel Raynal] sur le site d'[[Academia Europaea]]</ref>
* 2015 : membre d'[[Academia Europaea]]<ref>[http://www.ae-info.org/ae/User/Raynal_Michel Page personnelle de Michel Raynal] sur le site d'[[Academia Europaea]]</ref>
*2018 : IEEE award for Outstanding Technical Achievement in Distributed Computing<ref>{{Lien web|langue=|titre=Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie|url=https://www.univ-rennes1.fr/actualites/16072018/michel-raynal-distingue-pour-sa-contribution-exceptionnelle-lalgorithmique-repartie|site=Université de Rennes 1|date=juillet 2018|consulté le=}}</ref>
* 2018 : IEEE award for Outstanding Technical Achievement in Distributed Computing<ref>{{Lien web|langue=fr|titre=Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie|url=https://www.univ-rennes1.fr/actualites/16072018/michel-raynal-distingue-pour-sa-contribution-exceptionnelle-lalgorithmique-repartie|site=Université de Rennes 1|date=juillet 2018|consulté le=}}</ref>
* 2019 : “Outstanding Career Award” décerné par ACM Sigops France <ref>{{Lien web|langue=fr|titre=Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie|url=https://www.univ-rennes1.fr/actualites/16072018/michel-raynal-distingue-pour-sa-contribution-exceptionnelle-lalgorithmique-repartie|site=Université de Rennes 1|date=juillet 2018|consulté le=}}</ref>


== Notes et références ==
== Notes et références ==

{{Références|taille=30|références=
{{Références|taille=30|références=
<ref name="Le Monde">{{Lien web|url=http://binaire.blog.lemonde.fr/2015/08/31/grandeurs-et-limites-des-systemes-distribues/|titre=Des consensus tout sauf mous|auteur=Anne-Marie Kermarrec|jour=31|mois=août|année=2015|site=http://binaire.blog.lemonde.fr|éditeur=[[Le Monde]]|consulté le=26 novembre 2015}}.</ref>
<ref name="Le Monde">{{Lien web|url=http://binaire.blog.lemonde.fr/2015/08/31/grandeurs-et-limites-des-systemes-distribues/|titre=Des consensus tout sauf mous|auteur=Anne-Marie Kermarrec|jour=31|mois=août|année=2015|site=http://binaire.blog.lemonde.fr|éditeur=[[Le Monde]]|consulté le=26 novembre 2015}}.</ref>
<ref name="Who's Who">{{Lien web|url=https://www.whoswho.fr/bio/michel-raynal_65739|titre=Biographie Michel Raynal|éditeur=[[Who's Who in France]]|consulté le=26 novembre 2015}}.</ref>
<!--<ref name="Who's Who">{{Lien web|url=https://www.whoswho.fr/bio/michel-raynal_65739|titre=Biographie Michel Raynal|éditeur=[[Who's Who in France]]|consulté le=26 novembre 2015}}.</ref>-->
}}
}}


Version du 13 janvier 2020 à 18:38

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Raynal.

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Michel Raynal
une illustration sous licence libre serait bienvenue
Fonctions
Professeur d'université (d)
depuis
Chercheur
Biographie
Naissance
Nationalité
Formation
Activité
Autres informations
Membre de
Directeur de thèse
Site web
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

Michel Raynal (né le 16 janvier 1949) est un informaticien français, professeur à l’IRISA, Université de Rennes, 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[2]. 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[3],[4] sur le calcul concurrent et réparti, sujets sur lesquels il a écrit 12 livres. Ses trois derniers ouvragesref[5],[6],[7] constituent une introduction aux algorithmes concurrents et répartis qui portent à la fois sur les systèmes sans fautes et les sytè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[8]. Avec ses co-auteurs, il a éte le récipiendaire de plusieurs “best paper awards” dans les conférences prestigieuses telles IEEE ICDCS 1999, 2000 and 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[9] 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 titulaitre 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. Durand 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[10] (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 coté 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[11].

Du coté de la causalité, avec des co-auteurs, Michel Raynal a produit un algorithme très simple pour la livraison causale des messages[12], un algorithme optimal pour les points de reprise répartis fondé sur des horloges vectorielles[13] (algorithme qui a établi les fondements théoriques des points de reprise répartis[14]) ainsi qu’un algorithme de prise de “snapshot”[15]. Il a aussi introduit (avec J.-M. Hélary and A. Mostéfaoui) la notion de précédence virtuelle[16]. Avec V. Garg il a introduit le concept of “normalité” qui étend le concept bien connu de de linéarizabilité aux cas où les objects manipulés sont pourvus d’opérations polyadiques[17].

Du coté des problèmes d’accord, Michel Raynal (pricipalement 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[18],[19],[20] ou de fautes byzantines[21]. 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”[22]. 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[23].

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[24].

Du cote 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[25]. Recemment, à partir d’une idée originale de G. Taubenfeld, Michel Raynal s’est intéréssé (avec ce dernier) aux algorithmes pour les mémoires anonymes[26].


Récompenses et honneurs

Notes et références

  1. ↑ https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764
  2. ↑ https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764
  3. ↑ Bibliographie de Michel Raynal sur DBLP
  4. ↑ Bibliographie de Michel Raynal sur Google Scholar
  5. ↑ (en) Michel Raynal, Concurrent Programming: Algorithms, Principles, and Foundations, Springer, (ISBN 978-3-642-32027-9, DOI 10.1007/978-3-642-32027-9)
  6. ↑ (en) Michel Raynal, Distributed algorithms for message-passing systems, Springer, (ISBN 978-3-642-38123-2, DOI 10.1007/978-3-642-38123-2)
  7. ↑ (en) Michel Raynal, Fault-tolerant message-passing distributed systems: an algorithmic approach, Springer, (ISBN 978-3-319-94141-7, DOI 10.1007/978-3-319-94141-7)
  8. ↑ https://www.univ-rennes1.fr/actualites/16072018/michel-raynal-distingue-pour-sa-contribution-exceptionnelle-lalgorithmique-repartie
  9. ↑ https://www.irisa.fr/asap/?p=354
  10. ↑ (en) Michel Raynal, Algorithms for mutual exclusion, Cambridge, MIT Press, 1986 (french version: 1984) (ISBN 0-262-18119-3)
  11. ↑ 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)
  12. ↑ 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)
  13. ↑ 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)
  14. ↑ 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)
  15. ↑ 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)
  16. ↑ 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)
  17. ↑ 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)
  18. ↑ A. MOSTEFAOUI et M. RAYNAL, « Leader-Based Consensus », Parallel Processing Letters, vol. 11, no 1,‎ , p. 95–107 (DOI 10.1142/S0129626401000452)
  19. ↑ 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)
  20. ↑ 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)
  21. ↑ 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)
  22. ↑ 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)
  23. ↑ 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)
  24. ↑ 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)
  25. ↑ Michel Raynal, Julien Stainer et Gadi Taubenfeld, « Distributed Universality », Algorithmica, vol. 76, no 2,‎ , p. 502–535 (DOI 10.1007/s00453-015-0053-3)
  26. ↑ Michel Raynal et Gadi Taubenfeld, « Mutual exclusion in fully anonymous shared memory systems », {{Article}} : paramètre « périodique » manquant,‎
  27. ↑ Page personnelle de Michel Raynal sur le site de l'Institut Universitaire de France
  28. ↑ Site internet de la conférence SIROCCO 2015
  29. ↑ Anne-Marie Kermarrec, « Des consensus tout sauf mous », sur http://binaire.blog.lemonde.fr, Le Monde, (consulté le ).
  30. ↑ Annonce du prix SIROCCO repris sur le site de la Société informatique de France
  31. ↑ Page personnelle de Michel Raynal sur le site d'Academia Europaea
  32. ↑ « Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie », sur Université de Rennes 1,
  33. ↑ « Michel Raynal distingué pour sa contribution exceptionnelle à l'algorithme répartie », sur Université de Rennes 1,

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Michel_Raynal&oldid=166328796 ».