Кен Бирман

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

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

Образование

Бирман получил степень бакалавра Колумбийского университета и доктора философии. из Калифорнийского университета в Беркли .

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

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

Член ACM и член IEEE , Бирман был главным редактором журнала ACM Transactions on Computer Systems с 1993 по 1998 год. Он также является автором нескольких книг, последняя из которых — « Надежные распределенные вычисления: технологии, веб-сервисы и приложения» , опубликованная издательством Springer-Verlag в мае 2007 года.

Isis

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

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

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

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

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

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

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

и

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

Ссылки

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

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

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

• Домашняя страница Кена Бирмана
• Правая страница загрузки