Мишель Рейналь - Michel Raynal

Мишель Рейналь[1] (1949 г.р.), французский ученый-информатик, профессор ИРИСА, Реннский университет, Франция. Он известен своим вкладом в области алгоритмы, вычислимость, и Отказоустойчивость в контексте одновременный и распределенные системы. Мишель Рейналь также является заслуженным профессором кафедры Гонконгский политехнический университет[2] и редактор «Лекций по обобщению теории распределенных вычислений», опубликованных 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, ИРИСА и Реннский университет организовал семинар[10] в его честь с участием различных спикеров, в том числе Премия Тьюринга получатель (Лесли Лэмпорт ) и Премия Дейкстры получатели (Лесли Лэмпорт, Морис Херлихи, Йорам Моисей ), и профессор Коллеж де Франс (Рашид Геррауи ).

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

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

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

Направления исследований и научные интересы

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

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

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

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

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

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

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

Рекомендации

  1. ^ Личная страница Мишеля Рейналя на ИРИСА веб-сайт
  2. ^ https://www.comp.polyu.edu.hk/en-us/staffs/detail/6764
  3. ^ «Синтез лекций по теории распределенных вычислений».
  4. ^ Библиография Мишеля Рейналя на DBLP
  5. ^ Библиография Мишеля Рейналя на Google ученый
  6. ^ Рейналь, Мишель (2012). Параллельное программирование: алгоритмы, принципы и основы. Springer. Дои:10.1007/978-3-642-32027-9. ISBN  978-3-642-32027-9. S2CID  10526009.
  7. ^ Рейналь, Мишель (2013). Распределенные алгоритмы для систем передачи сообщений. Springer. Дои:10.1007/978-3-642-38123-2. ISBN  978-3-642-38123-2. S2CID  31644113.
  8. ^ Рейналь, Мишель (2018). Отказоустойчивые распределенные системы с передачей сообщений: алгоритмический подход. Springer. Дои:10.1007/978-3-319-94141-7. ISBN  978-3-319-94141-7. S2CID  52175582.
  9. ^ Ле Бонер, Жюльен (16.07.2018). "Мишель Рейналь отличается исключительным вкладом в алгоритмическую репартию" (На французском). Université de Rennes 1. Получено 13 января 2020.
  10. ^ «Международный семинар по распределенным вычислениям в честь Мишеля Рейналя». Inria. Получено 21 декабря 2019.
  11. ^ Рейнал, Мишель (1986) [1984]. Алгоритмы взаимного исключения. Кембридж: MIT Press. ISBN  0-262-18119-3.
  12. ^ Элари, Жан-Мишель; Mostéfaoui, Achour; Рейналь, Мишель (ноябрь 1994). «Общая схема распределенных алгоритмов взаимного исключения на основе токенов и деревьев» (PDF). Транзакции IEEE в параллельных и распределенных системах. 5 (11): 1185–1196. Дои:10.1109/71.329670. ISSN  2161-9883.
  13. ^ Рейналь, Мишель; Шипер, Андре; Туег, Сэм (сентябрь 1991 г.). «Абстракция причинно-следственного порядка и простой способ ее реализации» (PDF). Письма об обработке информации. 39 (6): 343–350. Дои:10.1016/0020-0190(91)90008-6.
  14. ^ Бальдони, Роберто; Элари, Жан-Мишель; Рейналь, Мишель (март 2001). «Отслеживаемость отката-зависимости: минимальная характеристика и ее протокол». Информация и вычисления. 165 (2): 144–173. Дои:10.1006 / инк.2000.2906.
  15. ^ Hélary, J.-M .; Mostefaoui, A .; Netzer, R.H.B .; Райнал, М. (1 января 2000 г.). «Коммуникационное предотвращение бесполезных контрольных точек в распределенных вычислениях». Распределенных вычислений. 13 (1): 29–43. Дои:10.1007 / s004460050003. S2CID  6554750.
  16. ^ Helary, J .; Mostefaoui, A .; Райнал, М. (1999). «Коммуникационное определение согласованных снимков». Транзакции IEEE в параллельных и распределенных системах. 10 (9): 865–877. Дои:10.1109/71.798312. S2CID  13939609.
  17. ^ Hélary, J.M .; Mostefaoui, A .; Райнал, М. (март 2002 г.). «Интервальная согласованность асинхронных распределенных вычислений». Журнал компьютерных и системных наук. 64 (2): 329–349. Дои:10.1006 / jcss.2001.1819.
  18. ^ GARG, VIJAY K .; РАЙНАЛ, МИШЕЛЬ (21 ноября 2011 г.). «Нормальность: УСЛОВИЕ СООТВЕТСТВИЯ СОВПАДАЮЩИХ ОБЪЕКТОВ». Письма параллельной обработки. 09 (1): 123–134. Дои:10.1142 / S0129626499000141. S2CID  16427772.
  19. ^ MOSTEFAOUI, A .; РАЙНАЛ, М. (21 ноября 2011 г.). «Консенсус на основе лидера». Письма параллельной обработки. 11 (1): 95–107. Дои:10.1142 / S0129626401000452.
  20. ^ Guerraoui, R .; Райнал, М. (16 октября 2006 г.). «Альфа снисходительного консенсуса» (PDF). Компьютерный журнал. 50 (1): 53–67. Дои:10.1093 / comjnl / bxl046.
  21. ^ Мостефауи, Ачур; Раджсбаум, Серджио; Рейналь, Мишель; Трэверс, Корентин (январь 2008 г.). «Объединенная мощность условий и информации о неудачах в разрешении асинхронного набора соглашений». SIAM Журнал по вычислениям. 38 (4): 1574–1601. Дои:10.1137/050645580.
  22. ^ Mostéfaoui, Achour; Мумен, Хамума; Рейналь, Мишель (11 сентября 2015 г.). "Асинхронный двоичный византийский консенсус без подписи с t (PDF). Журнал ACM. 62 (4): 1–21. Дои:10.1145/2785953. S2CID  2212421.
  23. ^ Мостефауи, Ачур; Раджсбаум, Серджио; Рейналь, Мишель (1 ноября 2003 г.). «Условия на входные векторы для консенсусной разрешимости в асинхронных распределенных системах». Журнал ACM. 50 (6): 922–954. Дои:10.1145/950620.950624.
  24. ^ Фридман, Рой; Мостефауи, Ачур; Раджсбаум, Серджио; Рейналь, Мишель (июль 2007 г.). «Асинхронное соглашение и его связь с кодами исправления ошибок». Транзакции IEEE на компьютерах. 56 (7): 865–875. Дои:10.1109 / TC.2007.1043. S2CID  9418243.
  25. ^ Кастаньеда, Армандо; Раджсбаум, Серджио; Рейналь, Мишель (19 ноября 2018 г.). «Объединение параллельных объектов и распределенных задач». Журнал ACM. 65 (6): 1–42. Дои:10.1145/3266457. S2CID  53877441.
  26. ^ Рейналь, Мишель; Стейнер, Жюльен; Таубенфельд, Гади (19 августа 2015 г.). «Распределенная универсальность». Алгоритмика. 76 (2): 502–535. Дои:10.1007 / s00453-015-0053-3. S2CID  10912125.
  27. ^ Рейналь, Мишель; Таубенфельд, Гади (2019). «Взаимное исключение в полностью анонимных системах с общей памятью». Цитировать журнал требует | журнал = (помощь)
  28. ^ Страница Мишеля Рейналя В архиве 2015-01-11 в Wayback Machine на сайте Institut Universitaire de France
  29. ^ «Сайт SIROCCO 2015». Архивировано из оригинал 2015-11-27. Получено 2015-03-10.
  30. ^ Страница Мишеля Рейналя на сайте Academia Europaea
  31. ^ "Мишель Рейналь отличается исключительным вкладом в повторный алгоритм". Université de Rennes 1. Июль 2018 г.
  32. ^ Ле Бонер, Жюльен (16 июля 2018 г.). "Мишель Рейналь отличается исключительным вкладом в алгоритмическую репартию" (На французском). Université de Rennes 1. Получено 13 января 2020.