Ken Birman

Ken Birman
Född	18 november 1955 ( 1955-11-18 ) ( 67 år ) New York City , New York
Alma mater	Columbia University University of California, Berkeley
Yrke(n)	N. Rama Rao ordförande i datavetenskap, College of Computing and Information Science , Cornell University
Make	Anne Neirynck
Hemsida	www .cs .cornell .edu /ken /

Kenneth P. Birman (född 18 november 1955) är professor vid institutionen för datavetenskap vid Cornell University. Han innehar för närvarande N. Rama Rao-stolen i datavetenskap.

Utbildning

Birman tog sin BS från Columbia University och Ph.D. från University of California, Berkeley .

Forskning och publikationer

Birmans forskning handlar huvudsakligen om skalbarhet av distribuerade system, säkerhetsteknologier och systemhanteringsverktyg som används i molnberäkningar .

en ACM Fellow och IEEE Fellow , var chefredaktör för ACM Transactions on Computer Systems 1993-1998. Han är också författare till flera böcker, senast Reliable Distributed Computing: Technologies, Web Services, and Applications, publicerade av Springer-Verlag i maj 2007.

Virtual Synchrony, Derecho och Isis Toolkit

Han är mest känd för att utveckla Isis Toolkit, som introducerade den virtuella synkroniseringsmodellen för multicast-kommunikation. Birman grundade Isis Distributed Systems för att kommersialisera denna mjukvara, som användes av börser, för flygkontroll och i fabriksautomation. Isis-mjukvaran drev New York och schweiziska börserna i mer än ett decennium och fortsätter att användas aktivt i det franska flygledningssystemet och den amerikanska flottans AEGIS-krigsfartyg.

Tekniken tillåter distribuerade system att automatiskt anpassa sig när fel eller andra störningar inträffar, att säkert dela nycklar och säkerhetspolicydata och att replikera kritiska tjänster så att tillgängligheten kan bibehållas även när vissa systemkomponenter är nere.

Birmans forskargrupp på Cornell har skapat en serie av system med öppen källkod. Senast bland dessa är Derecho, ett C++-bibliotek som tillhandahåller Paxos i en form som är särskilt väl lämpad för moderna datacenternätverk, som körs med mycket höga hastigheter och kan ha extremt låga nod-till-nod-latenser. I sådana system är det viktigt att anta en protokolldesign som strömmar data så asynkront som möjligt, och Derecho är ovanligt bland datareplikeringsalternativ i detta avseende: den använder en ny "mottagaredriven opportunistisk batchning"-metod, där avsändare sällan behöver pausa när du streamar data med hög volym.

Annan forskning

Andra resultat av Birmans Cornell-forskningssatsning inkluderar Bimodal Multicast, ett probabilistiskt tillförlitligt sändningsprotokoll, som använder skvallerparadigmet ; och Astrolabe, ett skalbart verktyg för övervakning, datautvinning och hantering av stora system.

Utvalda publikationer

• Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink och Kenneth P. Birman. Derecho: Fast State Machine Replication for Cloud Services. ACM Trans. Comput. Syst. 36, 2, artikel 4 (april 2019), 49 sidor. DOI: https://doi.org/10.1145/3302258
• Birman, Kenneth P. Guide till tillförlitliga distribuerade system: Bygga applikationer med hög säkerhet och molnbaserade tjänster. Lärobok, 2012, 730s. 138 illus. (Springer Verlag)
• Birman, Kenneth P, Lakshmi Ganesh och Robbert van Renesse. Kör programvara för Smart Grid Control på molnberäkningsarkitekturer. Workshop om beräkningsbehov för nästa generations elnät, Cornell University, 19–20 april 2011. Ithaca, NY.
• Freedman, Daniel A., Tudor Marian, Kenneth P. Birman, Hakim Weatherspoon. 2010. Exakt tidsmässig karaktärisering av ett 10 Gbps optiskt bredarea nätverk . Melbourne, Australien november.
• Surton, Robert, Kenneth P. Birman, R van Renesse 2013. Non-Stop Routing för BGP med applikationsdriven TCP-återställning . Distribuerade system och nätverk (DSN), Budapest, juni.
• Birman, Kenneth P., Daniel A. Freedman och Qi Huang. Övervinner CAP med konsekvent soft-state replikering. IEEE Computer Magazine (specialnummer om "The Growing Impact of the CAP Theorem"). Volym 12. s. 50–58. februari 2012.
• Vigfusson, Ymir, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Haoyuan Li, Gregory Chockler, Yoav Tock. Dr. Multicast: Rx för datacenterkommunikationsskalbarhet. ACM SIGOPS European Systems Conference (Eurosys), april 2010 (Paris, Frankrike). ACM SIGOPS 2010, s. 349–362.

Utvalda priser och utmärkelser

• IEEE Technical Committee on Distributed Processing Outstanding Achievement Award 2009
• IEEE Tsutomu Kanai Award for Distributed Computing 2009
• Research Visionary Award (Cisco Corporation) 2008
• Utnämnd till N. Rama Rao till professor i datavetenskap 2009
• ACM Fellow (1998)
• IEEE Fellow (2014)
• ACM SIGOPS Hall of Fame Award 2013 (för "Exploiting Virtual Synchrony in Distributed Systems", publicerad i 1987 ACM SOSP-konferensen).

En komplett lista över Birmans publikationer finns här .

Birmans grupp har byggt en hel del mjukvara som kan laddas ner gratis (särskilt hans grupps nya Derecho-plattform ). Derecho implementerar ett optimalt Paxos-protokoll, konfigurerbart för att stödja den klassiska hållbara Paxos med beständig lagring, såväl som en atomic multicast som överensstämmer med den vertikala Paxos-specifikationen men använder virtuell synkronisering för medlemshantering. Derecho mappar automatiskt till RDMA-hårdvara när det är möjligt, och är mycket presterande både på RDMA och över standard-TCP.

externa länkar

• Ken Birmans hemsida
• Derechos nedladdningssida