Рашид Геррауи - Rachid Guerraoui

Рашид Геррауи (родился 5 января 1967 г.), марокканский швейцарец специалист в области информатики и профессор в Школе компьютерных и коммуникационных наук при École Polytechnique Fédérale de Lausanne (EPFL), известный своим вкладом в области одновременный и распределенных вычислений.[1][2] Он Член ACM[3] и кафедрой информатики и вычислительной техники на 2018–2019 гг. Коллеж де Франс для распределенных вычислений.[4]

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

Рашид родился 5 января 1967 года в г. Рабат, Марокко. Его отец, Мохаммед Геррауи, учитель математики и в прошлом вали (губернатор) Марракеш. Его мать, Фатима Рахмун-Геррауи, учительница французского языка. После получения степени бакалавра в 1984 году он уехал из Марокко во Францию.[5][6]

Геррауи получил кандидат наук от Университет Орсе (1992) и был связан с Ecole des Mines Парижа, Commissariat à l'Energie Atomique of Saclay, Лаборатории Hewlett Packard и Массачусетский Институт Технологий.[7] Он младший редактор (область) из Журнал ACM[8] и является соавтором нескольких книг, в том числе «Алгоритмы для параллельных систем»,[9] «Введение в надежное и безопасное распределенное программирование»[10] и «Принципы транзакционной памяти».[11] Он выиграл премию ERC Advanced Grant Award (2013).[12] и награда Google Focused Award (2014 г.).[13]

Вместе со своими сотрудниками Геррауи получил награду Best Paper Awards на следующих научных конференциях: ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) и OPODIS (2006).[2] Он также получил 10-летнюю награду за лучшую бумагу на Middleware 2014,[14]

Помимо своей научной и академической работы, Геррауи занимается популяризацией информатики. Он стал одним из инициаторов учебного проекта Wandida по YouTube, библиотека из 300 ++ видеороликов по информатике и математике с 2,5 миллионами просмотров и более 25 тысяч подписчиков, а также образовательный проект Zettabytes, библиотека видеороликов, связанных с ознакомлением широкой публики с крупными открытиями в области информатики и открытыми проблемами.

Рашид поддерживает прочные связи с Марокко благодаря своему участию в общественных дебатах и ​​политической жизни Марокко.[15] В декабре 2019 года он был назначен королем Мохаммед VI в качестве члена Специального комитета по модели развития.[16]

Основные направления исследований и основные публикации

Геррауи работал над созданием теоретических основ Транзакционная память (ТМ). Он стал соавтором концепции, которую назвал непрозрачностью,[17] используется для установления правильности TM. С практической точки зрения он стал одним из разработчиков эластичных транзакций.[18] и совместно разработан SwissTM,[19] программная транзакционная память (STM) с эффективной пропускной способностью, а также эталонный тест для систем TM, STMBench7.[20]

Ранее Геррауи изучал масштабируемые методы распространения информации. Его статья о легкой трансляции эпидемий[21] был первым, кто рассмотрел частичное и / или рассинхронизированное представление о различных процессах в распределенной системе, основанной на сплетнях. Этот документ вместе с докладом Геррауи о базовой службе членства[22] по состоянию на 2018 год получил более 1250 цитирований, среди которых ряд теоретических работ по анализу протоколов сплетен в реальных условиях.[23]

Рашид Геррауи имеет подтвержденный опыт исследования основ асинхронных распределенных вычислений. Например, Геррауи соучредил нижние границы для асинхронных сплетен и переименования.[24][25] Он также доказал фундаментальные результаты о взаимосвязи между классическими задачами распределенных вычислений, такими как атомарное обязательство.[26] и консенсус, для которой он помог закрыть тогда еще открытую проблему самого слабого детектора отказов для достижения консенсуса с любым количеством отказов и совместно установил новую классификацию проблем распределенных вычислений.[27] Геррауи далее совместно определил общую методологию для создания высоко параллельных асинхронных структур данных.[28][29] и показал, как асинхронность может помочь в построении псевдослучайных чисел.[30]

Геррауи изобрел математическую абстракцию снисходительности[31] чтобы точно уловить суть асинхронных алгоритмов, безопасность которых не зависит от предположений времени, таких как Lamport с Паксос или Кастро-Лисков с PBFT. Геррауи использовал эту концепцию, чтобы совместно определить общую структуру для безопасных и надежных распределенных протоколов.[32]

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

  1. ^ "dblp: Рашид Геррауи". dblp.uni-trier.de. Получено 2018-10-22.
  2. ^ а б "EPFL - DCL - Рашид ГЕРРАУИ". lpdwww.epfl.ch. Получено 2018-10-22.
  3. ^ Вальтер, Александра (2012-12-14). «Проф. Геррауи и проф. Сифакис избраны стипендиатами ACM». Цитировать журнал требует | журнал = (помощь)
  4. ^ Сайед, Инка (2018-06-15). «Рашид Геррауи назначен цифровым председателем Collège de France». Цитировать журнал требует | журнал = (помощь)
  5. ^ Джмахри, Мустафа (23.07.2019). "Rachid Guerraoui du DHJ au collège de France". Mazagan24 - Portail d'El Jadida (На французском). Получено 2020-02-14.
  6. ^ "Le pasport suisse et moi. Рашид Геррауи:" Les policiers m'ont offert un verre de blanc"". Le Temps (На французском). 2016-01-07. ISSN  1423-3967. Получено 2020-09-14.
  7. ^ «Рашид Геррауи: Биография и текущая работа». people.epfl.ch (На французском). Получено 2018-10-22.
  8. ^ "ACM JACM". Журнал ACM. Получено 2018-10-22.
  9. ^ «Алгоритмы для параллельных систем». www.ppur.org (На французском). Получено 2018-10-22.
  10. ^ Введение в надежное и безопасное распределенное программирование | Кристиан Качин | Springer. Springer. 2011 г. ISBN  9783642152597.
  11. ^ Геррауи, Рашид; Капалка, Михал (2010). «Принципы транзакционной памяти». Синтез лекций по теории распределенных вычислений. 1 (1): 1–193. Дои:10.2200 / s00253ed1v01y201009dct004. ISSN  2155-1626.
  12. ^ «Геррауи получает грант ERC». EcoCloud. 2013-09-17. Получено 2018-10-22.
  13. ^ Мадри, Камила (04.11.2013). "Профессор Рашид Геррауи получил премию Google Focused Award". Цитировать журнал требует | журнал = (помощь)
  14. ^ Вальтер, Александра (17 декабря 2014 г.). «Промежуточное программное обеспечение 2014 г. и награда за лучшую работу за 10 лет для Рашида Геррауи». Цитировать журнал требует | журнал = (помощь)
  15. ^ "Рашид Геррауи:" Je n'habite pas le Maroc mais le Maroc m'habite "(ПОВТОР)". 2 млн (На французском). Получено 2020-02-14.
  16. ^ «Состав Специального комитета по модели развития | MapNews». www.mapnews.ma. Получено 2020-02-14.
  17. ^ Геррауи, Рашид; Капалка, Михал (2008). «О правильности транзакционной памяти». Материалы 13-го симпозиума ACM SIGPLAN по принципам и практике параллельного программирования - PPoPP '08. п. 175. CiteSeerX  10.1.1.164.9537. Дои:10.1145/1345206.1345233. ISBN  9781595937957. S2CID  1550577.
  18. ^ Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2017). «Эластичные транзакции». Журнал параллельных и распределенных вычислений. 100: 103–127. Дои:10.1016 / j.jpdc.2016.10.010.
  19. ^ Драгоевик, Александар; Фельбер, Паскаль; Грамоли, Винсент; Геррауи, Рашид (2011). «Почему СТМ может быть больше, чем исследовательская игрушка». Коммуникации ACM. 54 (4): 70. CiteSeerX  10.1.1.164.8994. Дои:10.1145/1924421.1924440. S2CID  12568524.
  20. ^ Геррауи, Рашид; Капалка, Михал; Витек, янв (2007). «СТМБенч7». Обзор операционных систем ACM SIGOPS. 41 (3): 315. Дои:10.1145/1272998.1273029.
  21. ^ Eugster, P. Th .; Guerraoui, R .; Handurukande, S. B .; Кузнецов, П .; Кермаррек, А.-М. (2003). «Облегченная вероятностная трансляция». ACM-транзакции в компьютерных системах. 21 (4): 341–374. CiteSeerX  10.1.1.100.9532. Дои:10.1145/945506.945507. S2CID  6875620.
  22. ^ Jelasity, Марк; Вулгарис, Спирос; Геррауи, Рашид; Кермаррек, Анн-Мари; Ван Стин, Маартен (2007). «Выборка сверстников на основе сплетен». ACM-транзакции в компьютерных системах. 25 (3): 8 – es. CiteSeerX  10.1.1.310.501. Дои:10.1145/1275517.1275520. S2CID  6266183.
  23. ^ "Рашид Геррауи - цитаты из Академии Google". scholar.google.com. Получено 2018-10-22.
  24. ^ Георгиу, Хрисси; Гилберт, Сет; Геррауи, Рашид; Ковальский, Дариуш Р. (2013). «Асинхронные сплетни». Журнал ACM. 60 (2): 1–42. Дои:10.1145/2450142.2450147. S2CID  7901743.
  25. ^ Алистарх, Дан; Аспнес, Джеймс; Цензор-Гиллель, Керен; Гилберт, Сет; Геррауи, Рашид (2014). «Жесткие границы для асинхронного переименования». Журнал ACM. 61 (3): 1–51. CiteSeerX  10.1.1.431.2007. Дои:10.1145/2597630. S2CID  9813419.
  26. ^ Геррауи, Рашид (2002). «Неблокирующая атомарная фиксация в асинхронных распределенных системах с детекторами сбоев». Распределенных вычислений. 15: 17–25. CiteSeerX  10.1.1.19.5491. Дои:10.1007 / s446-002-8027-4. S2CID  72867.
  27. ^ Фоконье, Кэрол Дельпорте-Галле Юго; Геррауи, Рашид (2010). «Жесткие границы обнаружения сбоев в реализациях атомарных объектов». Журнал ACM. 57 (4): 1–32. CiteSeerX  10.1.1.165.8950. Дои:10.1145/1734213.1734216. S2CID  11566298.
  28. ^ Дэвид, Тюдор; Геррауи, Рашид; Тригонакис, Василийос (2013). «Все, что вы всегда хотели знать о синхронизации, но боялись спросить». Материалы Двадцать четвертого симпозиума ACM по принципам операционных систем - SOSP '13. С. 33–48. CiteSeerX  10.1.1.593.2182. Дои:10.1145/2517349.2522714. ISBN  9781450323888. S2CID  10176747.
  29. ^ Дэвид, Тюдор; Геррауи, Рашид; Тригонакис, Василийос (2015). «Асинхронизированный параллелизм». Уведомления ACM SIGPLAN. 50 (4): 631–644. Дои:10.1145/2775054.2694359.
  30. ^ Антониадис, Каролос; Бланшар, Пева; Геррауи, Рашид; Стейнер, Жюльен (2018). «Энтропия генерации случайных чисел при распределенных вычислениях из перемежения памяти». Распределенных вычислений. 31 (5): 389–417. Дои:10.1007 / s00446-017-0311-5. S2CID  24299793.
  31. ^ Геррауи, Рашид (2000). «Снисходительные алгоритмы (предварительная версия)». Материалы девятнадцатого ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '00. С. 289–297. CiteSeerX  10.1.1.583.6812. Дои:10.1145/343477.343630. ISBN  978-1581131833. S2CID  16791929.
  32. ^ Облен, Пьер-Луи; Геррауи, Рашид; Кнежевич, Никола; Кема, Вивьен; Вуколич, Марко (2015). "Следующие 700 протоколов BFT". ACM-транзакции в компьютерных системах. 32 (4): 1–45. Дои:10.1145/2658994. S2CID  900359.