Мишель Рейналь
Мишель Рейналь [1] (род. 1949) — французский учёный-информатик, профессор IRISA университета Реннского , Франция . Он известен своим вкладом в области алгоритмов , вычислимости и отказоустойчивости в контексте параллельных и распределенных систем . Мишель Рейналь также является почетным профессором кафедры Гонконгского политехнического университета. [2] и редактор «Синтезирующих лекций по теории распределенных вычислений», опубликованных Morgan & Claypool. [3] Он является старшим членом Университетского института Франции и членом Европейской академии .
Мишель Рейналь был соавтором множества исследовательских работ. [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 году и степень доктора философии в 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]
Награды и почести
[ редактировать ]- 2010: старший член Университетского института Франции. [28]
- 2015: Премия за инновации в распределенных вычислениях ( SIROCCO ) премия [29]
- 2015: Член Европейской академии. [30]
- 2018: Награда IEEE за выдающиеся технические достижения в области распределенных вычислений. [31]
- 2019: «Награда за выдающуюся карьеру» от ACM Sigops France. [32]
Ссылки
[ редактировать ]- ^ Личная страница Мишеля Рейналя на IRISA . сайте
- ^ "Дом" .
- ^ «Синтезирующие лекции по теории распределенных вычислений» .
- ^ Библиография Мишеля Рейналя на DBLP
- ^ Библиография Мишеля Рейналя в Google Scholar.
- ^ Рейналь, Мишель (2012). Параллельное программирование: алгоритмы, принципы и основы . Спрингер. дои : 10.1007/978-3-642-32027-9 . ISBN 978-3-642-32027-9 . S2CID 10526009 .
- ^ Рейналь, Мишель (2013). Распределенные алгоритмы для систем передачи сообщений . Берлин, Гейдельберг: Springer. дои : 10.1007/978-3-642-38123-2 . ISBN 978-3-642-38123-2 . S2CID 31644113 .
- ^ Рейналь, Мишель (2018). Отказоустойчивые распределенные системы передачи сообщений: алгоритмический подход . Спрингер. дои : 10.1007/978-3-319-94141-7 . ISBN 978-3-319-94141-7 . S2CID 52175582 .
- ^ Ле Бонер, Жюльен (16 июля 2018 г.). «Мишель Рейналь отличался исключительным вкладом в распределенные алгоритмы» (на французском языке). Университет Ренна 1 . Проверено 13 января 2020 г.
- ^ «Международный семинар по распределенным вычислениям в честь Мишеля Рейналя» . Инрия . Проверено 21 декабря 2019 г.
- ^ Рейналь, Мишель (1986) [1984]. Алгоритмы взаимного исключения . Кембридж: MIT Press. ISBN 0-262-18119-3 .
- ^ Элари, Жан-Мишель; Мостефауи, Ашур; Рейналь, Мишель (ноябрь 1994 г.). «Общая схема алгоритмов распределенного взаимного исключения на основе токенов и деревьев» (PDF) . Транзакции IEEE в параллельных и распределенных системах . 5 (11): 1185–1196. дои : 10.1109/71.329670 . ISSN 2161-9883 .
- ^ Рейналь, Мишель; Шипер, Андре; Туег, Сэм (сентябрь 1991 г.). «Абстракция причинно-следственного порядка и простой способ ее реализации» (PDF) . Письма об обработке информации . 39 (6): 343–350. дои : 10.1016/0020-0190(91)90008-6 .
- ^ Бальдони, Роберто; Элари, Жан-Мишель; Рейналь, Мишель (март 2001 г.). «Отслеживание зависимости от отката: минимальная характеристика и ее протокол» . Информация и вычисления . 165 (2): 144–173. дои : 10.1006/inco.2000.2906 .
- ^ Элари, Ж.-М.; Мостефауи, А.; Нетцер, РХБ; Рейналь, М. (1 января 2000 г.). «Предотвращение бесполезных контрольных точек в распределенных вычислениях на основе связи». Распределенные вычисления . 13 (1): 29–43. дои : 10.1007/s004460050003 . S2CID 6554750 .
- ^ Хелари, Дж.; Мостефауи, А.; Рейнал, М. (1999). «Определение согласованных снимков, вызванное связью». Транзакции IEEE в параллельных и распределенных системах . 10 (9): 865–877. дои : 10.1109/71.798312 . S2CID 13939609 .
- ^ Хелари, Ж.М.; Мостефауи, А.; Рейнал, М. (март 2002 г.). «Интервальная согласованность асинхронных распределенных вычислений» . Журнал компьютерных и системных наук . 64 (2): 329–349. дои : 10.1006/jcss.2001.1819 .
- ^ ГАРГ, ВИДЖАЙ К.; РЕЙНАЛЬ, МИШЕЛЬ (21 ноября 2011 г.). «Нормальность: УСЛОВИЕ СОВМЕСТНОСТИ ДЛЯ СОВРЕМЕННЫХ ОБЪЕКТОВ». Параллельная обработка писем . 09 (1): 123–134. дои : 10.1142/S0129626499000141 . S2CID 16427772 .
- ^ МОСТЕФАУИ, А.; РАЙНАЛ, М. (21 ноября 2011 г.). «Консенсус на основе лидеров». Параллельная обработка писем . 11 (1): 95–107. дои : 10.1142/S0129626401000452 .
- ^ Геррауи, Р.; Рейнал, М. (16 октября 2006 г.). «Альфа снисходительного консенсуса» (PDF) . Компьютерный журнал . 50 (1): 53–67. дои : 10.1093/comjnl/bxl046 .
- ^ Мостефауи, Ашур; Райсбаум, Серхио; Рейналь, Мишель; Трэверс, Корентен (январь 2008 г.). «Комбинированная сила условий и информации о неудачах в разрешении соглашения об асинхронном наборе». SIAM Journal по вычислительной технике . 38 (4): 1574–1601. CiteSeerX 10.1.1.405.4702 . дои : 10.1137/050645580 . S2CID 12886589 .
- ^ Мостефауи, Ашур; Моумен, Хамума; Рейналь, Мишель (11 сентября 2015 г.). «Асинхронный двоичный византийский консенсус без подписи с t < n/3, сообщениями O (n2) и ожидаемым временем O (1)» (PDF) . Журнал АКМ . 62 (4): 1–21. дои : 10.1145/2785953 . S2CID 2212421 .
- ^ Мостефауи, Ашур; Райсбаум, Серхио; Рейналь, Мишель (1 ноября 2003 г.). «Условия на входные векторы для консенсусной разрешимости в асинхронных распределенных системах». Журнал АКМ . 50 (6): 922–954. дои : 10.1145/950620.950624 .
- ^ Фридман, Рой; Мостефауи, Ашур; Райсбаум, Серджио; Рейналь, Мишель (июль 2007 г.). «Асинхронное соглашение и его связь с кодами, исправляющими ошибки». Транзакции IEEE на компьютерах . 56 (7): 865–875. дои : 10.1109/TC.2007.1043 . S2CID 9418243 .
- ^ Кастаньеда, Армандо; Райсбаум, Серхио; Рейналь, Мишель (19 ноября 2018 г.). «Объединение параллельных объектов и распределенных задач». Журнал АКМ . 65 (6): 1–42. дои : 10.1145/3266457 . S2CID 53877441 .
- ^ Рейнал, Майкл; Стейнер, Жюльен; Таубенфельд, Гади (19 августа 2015 г.). «Распределенная универсальность». Алгоритмика . 76 (2): 502–535. дои : 10.1007/s00453-015-0053-3 . S2CID 10912125 .
- ^ Рейналь, Мишель; Таубенфельд, Гади (2019). «Взаимное исключение в полностью анонимных системах с общей памятью».
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ↑ Страница Мишеля Рейналя. Архивировано 11 января 2015 г. в Wayback Machine на сайте Университетского института Франции.
- ^ «Сайт СИРОККО 2015» . Архивировано из оригинала 27 ноября 2015 г. Проверено 10 марта 2015 г.
- ^ Страница Мишеля Рейналя на сайте Academia Europaea.
- ^ «Мишель Рейналь отличался исключительным вкладом в распределенный алгоритм» . Университет Ренна 1 . июль 2018.
- ^ Ле Бонер, Жюльен (16 июля 2018 г.). «Мишель Рейналь отличался исключительным вкладом в распределенные алгоритмы» (на французском языке). Университет Ренна 1 . Проверено 13 января 2020 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
