Michel Raynal - Michel Raynal - Wikipedia

Michel Raynal[1] (narozen 1949), francouzský vědec informatiky, profesor na IRISA, University of Rennes, Francie. On je známý pro jeho příspěvky v oblastech algoritmy, vypočítatelnost, a odolnost proti chybám v kontextu souběžně a distribuované systémy. Michel Raynal je také významným profesorem na katedře Hongkongská polytechnická univerzita[2] a editor „Přednášek o syntéze teorie distribuovaného výpočtu“, které vydala Morgan & Claypool.[3] Je vyšším členem organizace Institut Universitaire de France a člen Academia Europaea.

Michel Raynal spoluautorem mnoha výzkumných prací[4][5] o souběžných a distribuovaných počítačích a napsal 12 knih. Jeho poslední tři knihy[6][7][8] představují úvod do bezporuchového a odolného souběžného a distribuovaného výpočtu. Ve svých publikacích se Michel Raynal snaží ve vědeckém přístupu prosazovat jednoduchost jako „prvotřídního občana“.[9]Michel Raynal (a jeho spoluautoři) získal několik ocenění za nejlepší práce na prestižních konferencích, jako např IEEE ICDCS 1999, 2000 a 2001, SSS 2009 a 2011, Europar 2010, DISC 2010 a ACM PODC 2014.

Když se stal Michel Raynal Emeritní profesor (2017), INRIA, IRISA a University of Rennes uspořádal workshop[10] na jeho počest představovat různé řečníky, včetně Turing Award příjemce (Leslie Lamport ) a Dijkstra cena příjemci (Leslie Lamport, Maurice Herlihy, Yoram Mojžíš ) a profesor na Collège de France (Rachid Guerraoui ).

Vzdělání a kariéra

Michel Raynal získal bakalářský titul (francouzský „Baccalauréat“) jak z literatury, tak z přírodních věd. Dostal svůj PhD z University of Rennes v roce 1975 a jeho „Doctorat d’état“ v roce 1981. V období 1981-1984 působil jako profesor na telekomunikační škole (ENST de Bretagne ) kde vytvořil a řídil oddělení informatiky. V roce 1984 přešel na univerzitu v Rennes a v roce 1985 založil výzkumnou skupinu, které se věnoval úplně Distribuované algoritmy (v té době jedna z prvních skupin na toto výzkumné téma na světě).[Citace je zapotřebí ]

Michel Raynal byl přidruženým členem redakční rady mezinárodních časopisů, včetně Journal of Parallel and Distributed Computing (JPDC), Transakce IEEE na počítačích (TC), a IEEE transakce paralelních a distribuovaných systémů (TPDS), mezi ostatními.

Oblasti výzkumu a vědecké zájmy

Výzkumné příspěvky Michela Raynala se týkají hlavně souběžně a distribuované výpočty a konkrétněji: kauzalita, distribuovaná synchronizace, odolnost proti chybám, distribuovaná dohoda (shoda) a distribuovány vypočítatelnost. Jeho první kniha (o algoritmech vzájemného vyloučení jak ve sdílené paměti, tak v systémech předávání zpráv)[11] je považován za jednu z prvních knih věnovaných výhradně distribuovaným algoritmům.

Na synchronizace boční, společně s Jeanem-Michelem Hélarym a Achourem Mostéfaouim, navrhl Michel Raynal velmi jednoduchou generiku předávání zpráv vzájemné vyloučení algoritmus ze kterých lze odvodit spoustu tokenů a stromů mutex algoritmy.[12]

Na kauzalita boční, se spolupracovníky vytvořil velmi jednoduchý algoritmus pro doručování kauzálních zpráv,[13] a optimální algoritmy distribuovaného kontrolního bodu založené na vektorových hodinách,[14] který položil teoretické základy distribuovaného kontrolního stanoviště,[15] a takzvaný snímek založený na komunikaci.[16] Rovněž představil (spolu s Hélarym a Mostéfaouim) pojem virtuální priority.[17] Spolu s V. Gargem představil koncept „normality“, který rozšiřuje známou podmínku konzistence linearizovatelnosti na případ, kdy objekty mají polyadické operace.[18]

Na dohoda boční, Michel Raynal (hlavně s A. Mostéfaoui) vytvořil několik algoritmů pro asynchronní předávání zpráv systémy, které řeší shodu v případě havárie selhání[19][20][21] nebo zpracovat Byzantské neúspěchy.[22] Tento poslední algoritmus je neuvěřitelně jednoduchý randomizovaný algoritmus, který je optimální s ohledem na složitost času i zprávy. Spolu s Mostéfaoui a Rajsbaumem představil Michel Raynal také nový přístup k řešení konsensu, který se nazývá „stavově založený“.[23] Tento přístup odhalil velmi silné spojení mezi kódy opravující chyby a distribuovaná dohoda problémy.[24] Michel Raynal také navrhl distribuované algoritmy pro další problémy se smlouvou (jako je dohoda k-set a přejmenování).

Nedávno Armando Castaneda, Sergio Rajsbaum a Michel Raynal představili pojem „intervalová linearizovatelnost“, což je první pojem, který nám umožňuje sjednotit v jednom rámci pojmy „souběžné objekty“ a „distribuované úkoly“.[25]

Na vypočítatelnost boční, Steiner, Taubenfeld a Raynal oslovili univerzální konstrukce, které umožňují X mimo k distribuované stavové stroje postupují za přítomnosti asynchronie a libovolného počtu selhání procesu.[26] Nedávno se od počáteční myšlenky navržené Taubenfeldem začal Michel Raynal zajímat o algoritmy vhodné pro anonymní vzpomínky.[27]

Ocenění a vyznamenání

Reference

  1. ^ Osobní stránka Michela Raynala na IRISA webové stránky
  2. ^ https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764
  3. ^ „Syntetické přednášky o teorii distribuovaného výpočtu“.
  4. ^ Bibliografie Michela Raynala na DBLP
  5. ^ Bibliografie Michela Raynala na Google Scholar
  6. ^ Raynal, Michel (2012). Souběžné programování: Algoritmy, zásady a základy. Springer. doi:10.1007/978-3-642-32027-9. ISBN  978-3-642-32027-9. S2CID  10526009.
  7. ^ Raynal, Michel (2013). Distribuované algoritmy pro systémy předávání zpráv. Springer. doi:10.1007/978-3-642-38123-2. ISBN  978-3-642-38123-2. S2CID  31644113.
  8. ^ Raynal, Michel (2018). Distribuované systémy předávání zpráv odolné proti chybám: algoritmický přístup. Springer. doi:10.1007/978-3-319-94141-7. ISBN  978-3-319-94141-7. S2CID  52175582.
  9. ^ Le Bonheur, Julien (16. července 2018). „Michel Raynal rozlišuje a přispívá výjimečně à l'algorithmique répartie“ (francouzsky). Université de Rennes 1. Citováno 13. ledna 2020.
  10. ^ „Mezinárodní workshop o distribuovaných počítačích na počest Michela Raynala“. Inria. Citováno 21. prosince 2019.
  11. ^ Raynal, Michel (1986) [1984]. Algoritmy pro vzájemné vyloučení. Cambridge: MIT Press. ISBN  0-262-18119-3.
  12. ^ Hélary, Jean-Michel; Mostéfaoui, Achour; Raynal, Michel (listopad 1994). „Obecné schéma pro distribuované algoritmy vzájemného vyloučení založené na tokenech a stromech“ (PDF). Transakce IEEE na paralelních a distribuovaných systémech. 5 (11): 1185–1196. doi:10.1109/71.329670. ISSN  2161-9883.
  13. ^ Raynal, Michel; Schiper, André; Toueg, Sam (září 1991). „Příčinná objednávka abstrakce a jednoduchý způsob její realizace“ (PDF). Dopisy o zpracování informací. 39 (6): 343–350. doi:10.1016/0020-0190(91)90008-6.
  14. ^ Baldoni, Roberto; Hélary, Jean-Michel; Raynal, Michel (březen 2001). "Trackback-Dependency Trackability: A Minimal Characterization and its Protocol". Informace a výpočet. 165 (2): 144–173. doi:10.1006 / inco.2000.2906.
  15. ^ Hélary, J.-M .; Mostefaoui, A .; Netzer, R.H.B .; Raynal, M. (1. ledna 2000). "Komunikační prevence zbytečných kontrolních bodů v distribuovaných výpočtech". Distribuované výpočty. 13 (1): 29–43. doi:10,1007 / s004460050003. S2CID  6554750.
  16. ^ Helary, J .; Mostefaoui, A .; Raynal, M. (1999). „Určování konzistentních snímků vyvolané komunikací“. Transakce IEEE na paralelních a distribuovaných systémech. 10 (9): 865–877. doi:10.1109/71.798312. S2CID  13939609.
  17. ^ Hélary, J.M .; Mostefaoui, A .; Raynal, M. (březen 2002). "Interval konzistence asynchronních distribuovaných výpočtů". Journal of Computer and System Sciences. 64 (2): 329–349. doi:10.1006 / jcss.2001.1819.
  18. ^ GARG, VIJAY K .; RAYNAL, MICHEL (21. listopadu 2011). „Normálnost: KONZISTENČNÍ PODMÍNKY PRO SOUČASNÉ OBJEKTY“. Paralelní zpracování dopisů. 09 (1): 123–134. doi:10.1142 / S0129626499000141. S2CID  16427772.
  19. ^ MOSTEFAOUI, A .; RAYNAL, M. (21. listopadu 2011). „Konsenzus založený na vůdcích“. Paralelní zpracování dopisů. 11 (1): 95–107. doi:10.1142 / S0129626401000452.
  20. ^ Guerraoui, R .; Raynal, M. (16. října 2006). „Alfa shovívavého konsensu“ (PDF). Počítačový deník. 50 (1): 53–67. doi:10.1093 / comjnl / bxl046.
  21. ^ Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin (leden 2008). "Kombinovaná síla podmínek a informací o selháních při řešení dohody o asynchronní sadě". SIAM Journal on Computing. 38 (4): 1574–1601. doi:10.1137/050645580.
  22. ^ Mostéfaoui, Achour; Moumen, Hamouma; Raynal, Michel (11. září 2015). "Asynchronní binární byzantská shoda bez podpisu s t (PDF). Deník ACM. 62 (4): 1–21. doi:10.1145/2785953. S2CID  2212421.
  23. ^ Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel (1. listopadu 2003). "Podmínky na vstupních vektorech pro konsensuální řešitelnost v asynchronních distribuovaných systémech". Deník ACM. 50 (6): 922–954. doi:10.1145/950620.950624.
  24. ^ Friedman, Roy; Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel (červenec 2007). "Asynchronní dohoda a její vztah s kódy opravujícími chyby". Transakce IEEE na počítačích. 56 (7): 865–875. doi:10.1109 / TC.2007.1043. S2CID  9418243.
  25. ^ Castañeda, Armando; Rajsbaum, Sergio; Raynal, Michel (19. listopadu 2018). "Sjednocení souběžných objektů a distribuovaných úkolů". Deník ACM. 65 (6): 1–42. doi:10.1145/3266457. S2CID  53877441.
  26. ^ Raynal, Michel; Stainer, Julien; Taubenfeld, Gadi (19. srpna 2015). "Distribuovaná univerzalita". Algorithmica. 76 (2): 502–535. doi:10.1007 / s00453-015-0053-3. S2CID  10912125.
  27. ^ Raynal, Michel; Taubenfeld, Gadi (2019). Msgstr "Vzájemné vyloučení v plně anonymních systémech sdílené paměti". Citovat deník vyžaduje | deník = (Pomoc)
  28. ^ Stránka Michela Raynala Archivováno 2015-01-11 na Wayback Machine na webových stránkách Institut Universitaire de France
  29. ^ „Web SIROCCO 2015“. Archivovány od originál dne 2015-11-27. Citováno 2015-03-10.
  30. ^ Stránka Michela Raynala na webových stránkách Academia Europaea
  31. ^ „Michel Raynal rozlišuje a přispívá výjimečně à l'algorithme répartie“. Université de Rennes 1. Července 2018.
  32. ^ Le Bonheur, Julien (16. července 2018). „Michel Raynal rozlišuje a přispívá výjimečně à l'algorithmique répartie“ (francouzsky). Université de Rennes 1. Citováno 13. ledna 2020.