Кеннет П. Бирман (родился 18 ноября 1955 г.) - профессор факультета компьютерных наук Корнельского университета.
Кен Бирман | |
---|---|
Родившийся | 18 ноября 1955 г. (возраст | 65)
Альма-матер | Калифорнийский университет в Беркли |
Занятие | Н. Рама Рао Кафедра компьютерных наук, Колледж вычислительной техники и информатики Корнельского университета |
Супруг (а) | Энн Нейринк |
Веб-сайт | www |
Исследования и публикации
Исследования Бирмана в основном связаны с масштабируемостью распределенных систем, технологиями безопасности и инструментами управления системами, используемыми в облачных вычислениях .
ACM Fellow и IEEE Fellow , Бирман был главным редактором ACM Сделки на компьютерных системах от 1993-1998. Он также является автором нескольких книг, самая последняя из которых - « Надежные распределенные вычисления: технологии, веб-службы и приложения» , опубликованная Springer-Verlag в мае 2007 года [1].
Виртуальная синхронизация, Derecho и инструментарий Isis
Он наиболее известен разработкой Isis Toolkit, [2] [3] [4], который представил модель виртуального синхронного выполнения для многоадресной связи. Бирман основал Isis Distributed Systems с целью коммерциализации этого программного обеспечения, которое использовалось фондовыми биржами, для управления воздушным движением и автоматизации производства. Программное обеспечение Isis обслуживает Нью-Йоркскую и Швейцарскую фондовые биржи более десяти лет и продолжает активно использоваться во французской системе управления воздушным движением и военном корабле AEGIS ВМС США. [5]
Эта технология позволяет распределенным системам автоматически адаптироваться к сбоям или другим сбоям, безопасно обмениваться ключами и данными политик безопасности, а также реплицировать критически важные службы, чтобы их доступность могла поддерживаться даже при выходе из строя некоторых компонентов системы.
Исследовательская группа Бирмана в Корнелле создала серию систем с открытым исходным кодом. Самым последним из них является Derecho [6] , библиотека C ++, которая предоставляет Paxos в форме, особенно хорошо подходящей для современных сетей центров обработки данных, которые работают на очень высоких скоростях и могут иметь чрезвычайно низкие задержки между узлами. В таких системах важно принять дизайн протокола, который передает данные как можно более асинхронно, и Derecho необычен среди вариантов репликации данных в этом отношении: он использует новый подход «гибкой пакетной обработки, управляемой получателем», при котором отправителям редко требуется пауза при потоковой передаче больших объемов данных.
Другое исследование
Другие результаты исследований Бирмана в Корнелле включают Bimodal Multicast [7], вероятностно надежный протокол широковещательной передачи, использующий парадигму сплетен ; и Astrolabe [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 Европейская системная конференция (Eurosys), апрель 2010 г. (Париж, Франция). ACM SIGOPS 2010, стр. 349–362.
Избранные награды и награды
- Премия Технического комитета IEEE по распределенной обработке данных за выдающиеся достижения 2009 г.
- Премия IEEE Tsutomu Kanai за распределенные вычисления, 2009 г.
- Премия Research Visionary (Cisco Corporation), 2008 г.
- Назначен Н. Рама Рао профессором компьютерных наук 2009 г.
- Сотрудник ACM (1998)
- Стипендиат IEEE (2014 г.)
- ACM SIGOPS Hall of Fame Award 2013 (за «Использование виртуальной синхронизации в распределенных системах», опубликовано на конференции ACM SOSP в 1987 году).
Рекомендации
Полный список публикаций Бирмана можно найти здесь .
Группа Бирмана создала довольно много программного обеспечения, которое можно бесплатно загрузить (в частности, новую платформу Derecho его группы ). Derecho реализует оптимальный протокол Paxos, настраиваемый для поддержки классического надежного Paxos с постоянным хранилищем, а также атомарной многоадресной рассылки, соответствующей вертикальной спецификации Paxos, но использующей виртуальную синхронизацию для управления членством. Derecho автоматически сопоставляется с оборудованием RDMA, когда это возможно, и обладает высокой производительностью как по RDMA, так и по стандартному TCP.
- ^ Бирман, Кеннет (2012). Руководство по надежным распределенным системам. Создание высоконадежных приложений и облачных сервисов . Springer Verlag.
- ^ Бирман, Кеннет; Джозеф, Томас (ноябрь 1987 г.). «Надежная связь при наличии сбоев». ACM-транзакции в компьютерных системах . 5 (1): 47–76. DOI : 10.1145 / 7351.7478 . S2CID 11224827 .
- ^ Бирман, Кеннет; Ван Ренесс, Робберт (1994). Надежные распределенные вычисления с помощью набора инструментов Isis . Издательство IEEE Computer Society Press.
- ^ Бирман, Кеннет (1993). «Групповой подход к надежным распределенным вычислениям». Коммуникации ACM . 36 (12): 37–53. CiteSeerX 10.1.1.107.4597 . DOI : 10.1145 / 163298.163303 . S2CID 12190528 .
- ^ Бирман, Кеннет (июль 1999 г.). «Обзор опыта надежной многоадресной передачи» (PDF) . Практика и опыт работы с программным обеспечением . 29 (9): 741–774. DOI : 10.1002 / (sici) 1097-024x (19990725) 29: 9 <741 :: aid-spe259> 3.0.co; 2-я . hdl : 1813/7380 .
- ^ Джа, Сагар; Беренс, Джонатан; Гкунтувас, Тео; Милано, Мэтью; Песня, Weijia; Тремель, Эдвард; ван Ренесс, Робберт; Зинк, Сидней; Бирман, Кен (апрель 2019 г.). «Деречо: репликация быстрого конечного автомата для облачных сервисов». ACM-транзакции в компьютерных системах . 36 (2). DOI : 10.1145 / 3302258 .
- ^ Бирман, Кеннет; Хайден, Марк; Озкасап, Ознур; Сяо, Чжэнь; Будиу, Михай; Минский, Ярон (1999). «Бимодальная многоадресная передача». ACM-транзакции в компьютерных системах . 17 (2): 41–88. DOI : 10.1145 / 312203.312207 . S2CID 207744063 .
- ^ Ван Ренесс, Робберт; Бирман, Кеннет; Фогельс, Вернер (2003). «Astrolabe: надежная и масштабируемая технология для мониторинга распределенных систем, управления и интеллектуального анализа данных». ACM-транзакции в компьютерных системах . 21 (2): 164–206. DOI : 10.1145 / 762483.762485 . S2CID 6204358 .
- ^ «Инженерный факультет Корнельского университета» . 2013 . Корнельский университет . Проверено 20 августа 2013 года .
Внешние ссылки
- Домашняя страница Кена Бирмана
- Страница загрузки Derecho