Кен Бирман - Ken Birman

Кен Бирман
Родился18 ноября 1955 г. (1955-11-18) (возраст65)
Альма-матерКалифорнийский университет в Беркли
оккупацияН. Рама Рао Кафедра компьютерных наук, Корнелл Университет Колледж вычислительной техники и информатики
Супруг (а)Энн Нейринк
Интернет сайтwww.cs.cornell.edu/ ken/

Кеннет П. Бирман (родился 18 ноября 1955 г.) - профессор факультета компьютерных наук Корнельского университета.

Исследования и публикации

Исследования Бирмана в основном касаются масштабируемости распределенных систем, технологий безопасности и инструментов управления системами, используемых в облачные вычисления.

An Член ACM и Сотрудник IEEE, Бирман был главным редактором ACM-транзакции в компьютерных системах с 1993-1998 гг. Он также является автором нескольких книг, последняя из которых Надежные распределенные вычисления: технологии, веб-службы и приложения, опубликованный Springer-Verlag в мае 2007 г.[1]

Виртуальная синхронизация, Derecho и инструментарий Isis

Он наиболее известен разработкой Isis Toolkit,[2][3][4] который представил виртуальная синхронность модель исполнения для многоадресной связи. Бирман основал Isis Distributed Systems для коммерциализации этого программного обеспечения, которое использовалось фондовыми биржами, для управления воздушным движением и в автоматизации производства. Программное обеспечение Isis обслуживает Нью-Йоркскую и Швейцарскую фондовые биржи более десяти лет и продолжает активно использоваться во французской системе управления воздушным движением и военном корабле AEGIS ВМС США.[5]

Эта технология позволяет распределенным системам автоматически адаптироваться при сбоях или других сбоях, безопасно обмениваться ключами и данными политик безопасности, а также реплицировать критически важные службы, чтобы можно было поддерживать доступность даже при выходе из строя некоторых компонентов системы.

Исследовательская группа Бирмана в Корнелле создала серию систем с открытым исходным кодом. Самый последний из них - Деречо,[6] библиотека C ++, которая предоставляет Paxos в форме, особенно подходящей для современных сетей центров обработки данных, которые работают с очень высокой скоростью и могут иметь чрезвычайно низкие задержки между узлами. В таких системах важно принять дизайн протокола, который передает данные как можно более асинхронно, и Derecho необычен среди вариантов репликации данных в этом отношении: он использует новый подход «гибкой пакетной обработки, управляемой получателем», при которой отправителям редко требуется пауза при потоковой передаче больших объемов данных.

Другое исследование

Другие результаты исследований Бирмана в Корнелле включают Bimodal Multicast,[7] вероятностно надежный широковещательный протокол, использующий сплетни парадигма; и астролябия,[8] масштабируемый инструмент для мониторинга, интеллектуального анализа данных и управления большими системами.

Избранные публикации

  • Сагар Джа, Джонатан Беренс, Тео Гконтувас, Мэтью Милано, Вейджиа Сонг, Эдвард Тремель, Робберт Ван Ренесс, Сидней Зинк и Кеннет П. Бирман. Деречо: Репликация быстрого конечного автомата для облачных сервисов. ACM Trans. Comput. Syst. 36, 2, статья 4 (апрель 2019 г.), 49 стр. DOI: https://doi.org/10.1145/3302258
  • Бирман, Кеннет П. Руководство по надежным распределенным системам: создание высоконадежных приложений и облачных служб. Учебник, 2012, 730с. 138 илл. (Springer Verlag)
  • Бирман, Кеннет П., Лакшми Ганеш и Робберт ван Ренесс. Запуск программного обеспечения Smart Grid Control на облачных вычислительных архитектурах. Семинар по вычислительным потребностям для электрических сетей следующего поколения, Корнельский университет, 19–20 апреля 2011 г., Итака, штат Нью-Йорк.
  • Фридман, Дэниел А., Тюдор Мариан, Кеннет П. Бирман, Хаким Уэзерспун. 2010 г. Точная временная характеристика оптической глобальной сети 10 Гбит / с. Мельбурн, Австралия, ноябрь.
  • Суртон, Роберт, Кеннет П. Бирман, Р ван Ренесс 2013. Непрерывная маршрутизация для BGP с восстановлением TCP на основе приложений. Распределенные системы и сети (DSN), Будапешт, июнь.
  • Бирман, Кеннет П., Дэниел А. Фридман и Ци Хуанг. Преодоление CAP с помощью последовательной репликации мягкого состояния. Компьютерный журнал IEEE (специальный выпуск «Растущее влияние теоремы CAP»). Том 12. С. 50–58. Февраль 2012 г.
  • Вигфуссон, Имир, Хуссам Абу-Либде, Махеш Балакришнан, Кен Бирман, Роберт Берджесс, Хаоюань Ли, Грегори Чоклер, Йоав Ток. Доктор Multicast: Rx для масштабируемости связи центра обработки данных. ACM SIGOPS European Systems Conference (Eurosys), апрель 2010 г. (Париж, Франция). ACM SIGOPS 2010, стр. 349–362.

Избранные награды и награды

  • Премия Технического комитета IEEE по распределенной обработке за выдающиеся достижения 2009 г.
  • IEEE Премия Цутому Канаи для распределенных вычислений 2009
  • Премия Research Visionary (Cisco Corporation), 2008 г.
  • Назначен Н. Рама Рао профессором компьютерных наук 2009 г.
  • Сотрудник ACM (1998)
  • Член IEEE (2014 г.)
  • Премия Зала славы ACM SIGOPS 2013 (за «Использование виртуальной синхронизации в распределенных системах», опубликована на конференции ACM SOSP в 1987 году).

[9]

использованная литература

Полный список публикаций Бирмана можно найти Вот.

Группа Бирмана создала довольно много программного обеспечения, которое можно бесплатно загрузить (особенно новое программное обеспечение его группы. Платформа Derecho ). Derecho реализует оптимальный протокол Paxos, настраиваемый для поддержки классического надежного Paxos с постоянным хранилищем, а также атомарной многоадресной рассылки, соответствующей вертикальной спецификации Paxos, но использующей виртуальную синхронизацию для управления членством. Derecho автоматически сопоставляется с оборудованием RDMA, когда это возможно, и обладает высокой производительностью как по RDMA, так и по стандартному TCP.

  1. ^ Бирман, Кеннет (2012). Руководство по надежным распределенным системам. Создание высоконадежных приложений и облачных сервисов. Springer Verlag.
  2. ^ Бирман, Кеннет; Джозеф, Томас (ноябрь 1987 г.). «Надежная связь при наличии сбоев». ACM-транзакции в компьютерных системах. 5 (1): 47–76. Дои:10.1145/7351.7478. S2CID  11224827.
  3. ^ Бирман, Кеннет; Ван Ренесс, Робберт (1994). Надежные распределенные вычисления с помощью набора инструментов Isis. Издательство IEEE Computer Society Press.
  4. ^ Бирман, Кеннет (1993). «Групповой подход к надежным распределенным вычислениям». Коммуникации ACM. 36 (12): 37–53. CiteSeerX  10.1.1.107.4597. Дои:10.1145/163298.163303. S2CID  12190528.
  5. ^ Бирман, Кеннет (июль 1999 г.). «Обзор опыта надежной многоадресной передачи» (PDF). Практика и опыт работы с программным обеспечением. 29 (9): 741–774. Дои:10.1002 / (sici) 1097-024x (19990725) 29: 9 <741 :: aid-spe259> 3.0.co; 2-i. HDL:1813/7380.
  6. ^ Джа, Сагар; Беренс, Джонатан; Гкунтувас, Тео; Милано, Мэтью; Песня, Weijia; Тремель, Эдвард; ван Ренесс, Робберт; Зинк, Сидней; Бирман, Кен (апрель 2019 г.). «Деречо: репликация быстрой машины состояний для облачных сервисов». ACM-транзакции в компьютерных системах. 36 (2). Дои:10.1145/3302258.
  7. ^ Бирман, Кеннет; Хайден, Марк; Озкасап, Ознур; Сяо, Чжэнь; Будиу, Михай; Минский, Ярон (1999). «Бимодальная многоадресная передача». ACM-транзакции в компьютерных системах. 17 (2): 41–88. Дои:10.1145/312203.312207. S2CID  207744063.
  8. ^ Ван Ренесс, Робберт; Бирман, Кеннет; Фогельс, Вернер (2003). «Astrolabe: надежная и масштабируемая технология для мониторинга распределенных систем, управления и интеллектуального анализа данных». ACM-транзакции в компьютерных системах. 21 (2): 164–206. Дои:10.1145/762483.762485. S2CID  6204358.
  9. ^ "Инженерный факультет Корнельского университета". 2013. Корнелл Университет. Получено 20 августа 2013.

внешние ссылки