ケン・バーマン

ケネス・P・バーマン（1955年11月18日生まれ）は、コーネル大学コンピュータサイエンス学科の教授であり、現在はN・ラマ・ラオ記念コンピュータサイエンス講座の教授職を務めている。

バーマンはコロンビア大学で理学士号を、カリフォルニア大学バークレー校で博士号を取得した。^{[ 1 ]}

ビルマンの研究は主に、クラウドコンピューティングで使用される分散システムの拡張性、セキュリティ技術、およびシステム管理ツールに関するものである。

ACMフェローおよびIEEEフェローであるバーマンは、1993年から1998年までACM Transactions on Computer Systemsの編集長を務めた。また、彼は数冊の著書があり、最近では2007年5月にSpringer-Verlagから出版されたReliable Distributed Computing: Technologies, Web Services, and Applicationsがある。 ^{[ 2 ]}

彼は、マルチキャスト通信用の仮想同期実行モデルを導入したIsis Toolkit ^{[ 3 ] [ 4 ] [ 5 ]}の開発で最もよく知られています。Birman は、このソフトウェアを商用化するために Isis Distributed Systems を設立しました。このソフトウェアは、証券取引所、航空管制、工場自動化で使用されました。Isis ソフトウェアは、10 年以上にわたりニューヨーク証券取引所とスイス証券取引所で運用され、現在もフランスの航空管制システムと米海軍のイージス艦で積極的に使用されています。^{[ 6 ]}

この技術により、分散システムは障害やその他の中断が発生した場合に自動的に適応し、鍵やセキュリティポリシーデータを安全に共有し、重要なサービスを複製することで、システムコンポーネントの一部が停止している場合でも可用性を維持することが可能になります。

コーネル大学のバーマンの研究グループは、一連のオープンソースシステムを開発しました。その中でも最新のものがDerecho ^{[ 7 ]}です。これは、非常に高速で動作し、ノード間の遅延が極めて低い現代のデータセンターネットワークに特に適した形式でPaxosを提供するC++ライブラリです。このようなシステムでは、データを可能な限り非同期にストリーミングするプロトコル設計を採用することが重要であり、Derechoはこの点でデータ複製オプションの中でも異例です。Derechoは、新しい「受信側主導の機会的バッチ処理」アプローチを採用しており、送信側は大量のデータをストリーミングする際に一時停止する必要がほとんどありません。

バーマンのコーネル大学での研究成果には、ゴシップパラダイムを利用した確率的に信頼性の高いブロードキャストプロトコルであるバイモーダルマルチキャスト^{[ 8 ]}や、大規模システムの監視、データマイニング、管理のためのスケーラブルなツールであるアストロラーベ^{[ 9 ]}などがある。

• Sagar Jha、Jonathan Behrens、Theo Gkountouvas、Matthew Milano、Weijia Song、Edward Tremel、Robbert Van Renesse、Sydney Zink、Kenneth P. Birman。「Derecho: クラウドサービスのための高速ステートマシンレプリケーション」。ACM Trans. Comput. Syst. 36、2、論文4（2019年4月）、49ページ。DOI: https://doi.org/10.1145/3302258
• Birman, Kenneth P. 『信頼性の高い分散システムのためのガイド：高信頼性アプリケーションとクラウドホスト型サービスの構築』教科書、2012年、730ページ、図版138点。（Springer Verlag）
• Birman, Kenneth P、Lakshmi Ganesh、Robbert van Renesse。「クラウドコンピューティングアーキテクチャ上でのスマートグリッド制御ソフトウェアの実行」。次世代電力網の計算ニーズに関するワークショップ、コーネル大学、2011年4月19～20日、ニューヨーク州イサカ。
• フリードマン、ダニエル A.、チューダー マリアン、ケネス P. バーマン、ハキム ウェザースプーン。2010年。10 Gbps 光広域ネットワークの正確な時間特性評価。オーストラリア、メルボルン、11月。
• Surton, Robert、Kenneth P. Birman、R van Renesse 2013.アプリケーション駆動型TCPリカバリによるBGPのノンストップルーティング。分散システムとネットワーク（DSN）、ブダペスト、6月。
• Birman, Kenneth P.、Daniel A. Freedman、Qi Huang。「 一貫性のあるソフトステート複製によるCAP定理の克服」。IEEE Computer Magazine（「 CAP定理の影響力の増大」特集号）。第12巻、50～58ページ 。2012年2月。
• Vigfusson, Ymir、Hussam Abu-Libdeh、Mahesh Balakrishnan、Ken Birman、Robert Burgess、Haoyuan Li、Gregory Chockler、Yoav Tock。 「Dr. Multicast: データセンター通信のスケーラビリティのためのRx」。ACM SIGOPS European Systems Conference (Eurosys)、2010年4月（フランス、パリ）。ACM SIGOPS 2010、pp.  349–362。

• IEEE分散処理技術委員会優秀業績賞2009
• IEEE分散コンピューティング部門金井勉賞2009
• 研究先見賞（シスコ社）2008年
• 2009年、N・ラマ・ラオ記念コンピュータサイエンス教授に任命される。
• ACMフェロー（1998年）
• IEEEフェロー（2014年）
• 2013年ACM SIGOPS殿堂入り賞（1987年のACM SOSP会議で発表された論文「分散システムにおける仮想同期の活用」に対して）。

^{[ 10 ]}

ビルマンの著作一覧は、こちらでご覧いただけます。

ビルマン氏のグループは、無料でダウンロードできるソフトウェアを数多く開発してきました（特に、同グループの新しいプラットフォームであるDerecho）。Derechoは最適なPaxosプロトコルを実装しており、永続ストレージを備えた従来の耐久性のあるPaxosプロトコルをサポートするように構成できるほか、垂直Paxos仕様に準拠しながらもメンバーシップ管理に仮想同期を使用するアトミックマルチキャストもサポートしています。Derechoは可能な場合は自動的にRDMAハードウェアにマッピングし、RDMAと標準TCPの両方で高いパフォーマンスを発揮します。

• ケン・バーマンのホームページ
• Derechoのダウンロードページ