stringtranslate.com

Мишель Рейналь

Мишель Рейналь [1] (родился в 1949 году) — французский ученый-информатик, профессор IRISA , Реннского университета , Франция . Он известен своим вкладом в области алгоритмов , вычислимости и отказоустойчивости в контексте параллельных и распределенных систем . Мишель Рейналь также является почетным профессором кафедры Гонконгского политехнического университета [2] и редактором «Synthesis Lectures on Distributed Computing Theory», опубликованного Morgan & Claypool. [3] Он является старшим членом Institut Universitaire de France и членом Academia Europaea .

Мишель Рейналь был соавтором многочисленных исследовательских работ [4] [5] по параллельным и распределенным вычислениям и написал 12 книг. Его последние три книги [6] [7] [8] представляют собой введение в безотказные и отказоустойчивые параллельные и распределенные вычисления. В своих публикациях Мишель Рейналь стремится продвигать простоту как «гражданина первого класса» в научном подходе. [9] Мишель Рейналь (и его соавторы) выиграли несколько наград за лучшую статью на престижных конференциях, таких как IEEE ICDCS 1999, 2000 и 2001, SSS 2009 и 2011, Europar 2010, DISC 2010 и ACM PODC 2014.

Когда Мишель Рейналь стал почетным профессором (2017), INRIA , IRISA и Реннский университет организовали в его честь семинар [10], на котором выступили различные докладчики, в том числе лауреаты премии Тьюринга ( Лесли Лэмпорт ) и премии Дейкстры ( Лесли Лэмпорт , Морис Херлихи , Йорам Мозес ), а также профессор Коллеж де Франс ( Рашид Геррауи ).

Образование и карьера

Мишель Рейналь получил степень бакалавра (французское «Baccalauréat») как в области литературы, так и в области науки. Он получил докторскую степень в Университете Ренна в 1975 году и «Doctorat d'état» в 1981 году. В период с 1981 по 1984 год он был профессором в школе инженеров телекоммуникаций ( ENST de Bretagne ), где создал и руководил кафедрой информатики. В 1984 году он перешел в Университет Ренна, а в 1985 году основал исследовательскую группу, полностью посвященную распределенным алгоритмам (в то время одну из первых групп по этой исследовательской теме в мире). [ необходима цитата ]

Мишель Рейналь был ассоциированным членом редколлегии международных журналов, включая Journal of Parallel and Distributed Computing (JPDC), IEEE Transactions on Computers (TC) и IEEE Transactions of parallel and Distributed Systems (TPDS) и другие.

Области исследований и научные интересы

Исследования Мишеля Рейналя касаются в основном параллельных и распределенных вычислений , а точнее: причинности , распределенной синхронизации, отказоустойчивости , распределенного соглашения (консенсуса) и распределенной вычислимости . Его первая книга (об алгоритмах взаимного исключения как в общей памяти, так и в системах передачи сообщений) [11] признана одной из первых книг, полностью посвященных распределенным алгоритмам.

Что касается синхронизации , Мишель Рейналь совместно с Жаном-Мишелем Элари и Ашуром Мостефауи разработал очень простой алгоритм взаимного исключения при передаче сообщений, из которого можно вывести множество алгоритмов мьютексов на основе токенов и деревьев. [12]

Что касается причинности , то вместе с коллегами он разработал очень простой алгоритм для причинной доставки сообщений [13] и оптимальные алгоритмы распределенной контрольной точки на основе векторных часов [14] , которые заложили теоретические основы распределенной контрольной точки [15] и так называемого моментального снимка на основе коммуникации. [16] Он также ввел (совместно с Элари и Мостефауи) понятие виртуального предшествования. [17] Вместе с В. Гаргом он ввел понятие «нормальности», которое расширяет известное условие согласованности линеаризуемости на случай, когда объекты имеют полиадические операции. [18]

Что касается соглашения , Мишель Рейналь (в основном совместно с А. Мостефауи) создал несколько алгоритмов для асинхронных систем передачи сообщений , которые решают вопрос консенсуса при наличии сбоев [ 19] [20] [21] или обрабатывают византийские сбои . [22] Этот последний алгоритм является невероятно простым рандомизированным алгоритмом, который оптимален как по времени, так и по сложности сообщений. Вместе с Мостефауи и Раджсбаумом Мишель Рейналь также представил новый подход к решению вопроса консенсуса, называемый «основанным на условиях». [23] Этот подход выявил очень сильную связь между кодами исправления ошибок и проблемами распределенного соглашения . [24] Мишель Рейналь также разработал распределенные алгоритмы для других проблем соглашения (таких как соглашение k-множества и переименование).

Недавно Армандо Кастанеда, Серхио Раджсбаум и Мишель Рейналь ввели понятие «интервальной линеаризуемости», которое является первым понятием, позволяющим нам объединить в единую структуру понятия «конкурентных объектов» и «распределенных задач». [25]

Что касается вычислимости , Штайнер, Таубенфельд и Рейналь обратились к универсальным конструкциям, которые позволяют x из k распределенных конечных автоматов развиваться при наличии асинхронности и любого количества сбоев процесса. [26] Недавно, исходя из первоначальной идеи, предложенной Таубенфельдом, Мишель Рейналь заинтересовался алгоритмами, подходящими для анонимных воспоминаний. [27]

Награды и почести

Ссылки

  1. ^ Личная страница Мишеля Рейналя на сайте IRISA .
  2. ^ «Главная».
  3. ^ «Лекции по синтезу теории распределенных вычислений».
  4. ^ Библиография Мишеля Рейналя по DBLP
  5. ^ Библиография Мишеля Рейналя в Google Scholar
  6. ^ Рейналь, Мишель (2012). Параллельное программирование: алгоритмы, принципы и основы . Спрингер. дои : 10.1007/978-3-642-32027-9. ISBN 978-3-642-32027-9. S2CID  10526009.
  7. ^ Рейнал, Мишель (2013). Распределенные алгоритмы для систем передачи сообщений . Берлин, Гейдельберг: Springer. doi :10.1007/978-3-642-38123-2. ISBN 978-3-642-38123-2. S2CID  31644113.
  8. ^ Рейнал, Мишель (2018). Отказоустойчивые распределенные системы передачи сообщений: алгоритмический подход . Springer. doi :10.1007/978-3-319-94141-7. ISBN 978-3-319-94141-7. S2CID  52175582.
  9. ^ Ле Бонер, Жюльен (16 июля 2018 г.). «Мишель Рейналь выдающийся за исключительный вклад в алгоритмическую реализацию» (на французском языке). Университет Ренна 1 . Проверено 13 января 2020 г.
  10. ^ "Международный семинар по распределенным вычислениям в честь Мишеля Рейналя". Inria . Получено 21 декабря 2019 г. .
  11. ^ Рейналь, Мишель (1986) [1984]. Алгоритмы взаимного исключения . Кембридж: MIT Press. ISBN 0-262-18119-3.
  12. ^ Hélary, Jean-Michel; Mostéfaoui, Achour; Raynal, Michel (ноябрь 1994 г.). "Общая схема для распределенных алгоритмов взаимного исключения на основе токенов и деревьев" (PDF) . IEEE Transactions on Parallel and Distributed Systems . 5 (11): 1185–1196. doi :10.1109/71.329670. ISSN  2161-9883.
  13. ^ Рейналь, Мишель; Шипер, Андре; Туег, Сэм (сентябрь 1991 г.). «Абстракция причинного упорядочения и простой способ ее реализации» (PDF) . Information Processing Letters . 39 (6): 343–350. doi :10.1016/0020-0190(91)90008-6.
  14. ^ Бальдони, Роберто; Элари, Жан-Мишель; Рейналь, Мишель (март 2001 г.). «Отслеживаемость зависимости от отката: минимальная характеристика и ее протокол». Информация и вычисления . 165 (2): 144–173. doi : 10.1006/inco.2000.2906 .
  15. ^ Hélary, J.-M.; Mostefaoui, A.; Netzer, RHB; Raynal, M. (1 января 2000 г.). «Предотвращение бесполезных контрольных точек в распределенных вычислениях на основе коммуникации». Distributed Computing . 13 (1): 29–43. doi :10.1007/s004460050003. S2CID  6554750.
  16. ^ Хелари, Дж.; Мостефауи, А.; Рейнал, М. (1999). «Определение согласованных снимков, вызванное коммуникацией». Труды IEEE по параллельным и распределенным системам . 10 (9): 865–877. doi :10.1109/71.798312. S2CID  13939609.
  17. ^ Hélary, JM; Mostefaoui, A.; Raynal, M. (март 2002 г.). «Интервальная согласованность асинхронных распределенных вычислений». Журнал компьютерных и системных наук . 64 (2): 329–349. doi : 10.1006/jcss.2001.1819 .
  18. ^ GARG, VIJAY K.; RAYNAL, MICHEL (21 ноября 2011 г.). «Нормальность: УСЛОВИЕ СОГЛАСОВАННОСТИ ДЛЯ ОДНОВРЕМЕННЫХ ОБЪЕКТОВ». Parallel Processing Letters . 09 (1): 123–134. doi :10.1142/S0129626499000141. S2CID  16427772.
  19. ^ MOSTEFAOUI, A.; RAYNAL, M. (21 ноября 2011 г.). «Консенсус на основе лидера». Parallel Processing Letters . 11 (1): 95–107. doi :10.1142/S0129626401000452.
  20. ^ Геррауи, Р.; Рейнал, М. (16 октября 2006 г.). «Альфа снисходительного консенсуса» (PDF) . Компьютерный журнал . 50 (1): 53–67. doi : 10.1093/comjnl/bxl046.
  21. ^ Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin (январь 2008 г.). «Объединенная сила условий и информации о сбоях в решении асинхронного соглашения о наборах». SIAM Journal on Computing . 38 (4): 1574–1601. CiteSeerX 10.1.1.405.4702 . doi :10.1137/050645580. S2CID  12886589. 
  22. ^ Mostéfaoui, Achour; Moumen, Hamouma; Raynal, Michel (11 сентября 2015 г.). «Асинхронный двоичный византийский консенсус без подписей с t < n/3, O(n2) сообщениями и O(1) ожидаемым временем» (PDF) . Journal of the ACM . 62 (4): 1–21. doi :10.1145/2785953. S2CID  2212421.
  23. ^ Mostefoui, Achour; Rajsbaum, Sergio; Raynal, Michel (1 ноября 2003 г.). «Условия на входных векторах для консенсусной разрешимости в асинхронных распределенных системах». Journal of the ACM . 50 (6): 922–954. doi :10.1145/950620.950624.
  24. ^ Фридман, Рой; Мостефауи, Ашур; Раджсбаум, Серхио; Рейнал, Мишель (июль 2007 г.). «Асинхронное соглашение и его связь с кодами исправления ошибок». IEEE Transactions on Computers . 56 (7): 865–875. doi :10.1109/TC.2007.1043. S2CID  9418243.
  25. ^ Кастанеда, Армандо; Раджсбаум, Серхио; Рейналь, Мишель (19 ноября 2018 г.). «Объединение параллельных объектов и распределенных задач». Журнал ACM . 65 (6): 1–42. doi :10.1145/3266457. S2CID  53877441.
  26. ^ Рейналь, Мишель; Стейнер, Жюльен; Таубенфельд, Гади (19 августа 2015 г.). «Распределенная универсальность». Алгоритмика . 76 (2): 502–535. дои : 10.1007/s00453-015-0053-3. S2CID  10912125.
  27. ^ Рейналь, Мишель; Таубенфельд, Гади (2019). «Взаимное исключение в полностью анонимных системах с общей памятью». {{cite journal}}: Цитировать журнал требует |journal=( помощь )
  28. ^ Страница Мишеля Рейналя Архивировано 11 января 2015 г. на Wayback Machine на сайте Университетского института Франции
  29. ^ "Сайт SIROCCO 2015". Архивировано из оригинала 27.11.2015 . Получено 10.03.2015 .
  30. ^ Страница Мишеля Рейналя на сайте Academia Europaea
  31. ^ "Мишель Рейналь выдающийся за исключительный вклад в восстановление алгоритма" . Университет Ренна 1 . июль 2018.
  32. ↑ Ле Бонер, Жюльен (16 июля 2018 г.). «Мишель Рейналь выдающийся за исключительный вклад в алгоритмическую реализацию» (на французском языке). Университет Ренна 1 . Проверено 13 января 2020 г.