Kenneth P. Birman (nacido el 18 de noviembre de 1955) es profesor en el Departamento de Ciencias de la Computación de la Universidad de Cornell.
Ken Birman | |
---|---|
Nació | 18 de noviembre de 1955 (edad | sesenta y cinco)
alma mater | Universidad de California, Berkeley |
Ocupación | N.Rama Rao Chair in Computer Science, Cornell University College of Computing and Information Science |
Esposos) | Anne Neirynck |
Sitio web | www |
Investigaciones y publicaciones
La investigación de Birman se centra principalmente en la escalabilidad de los sistemas distribuidos, las tecnologías de seguridad y las herramientas de gestión de sistemas empleadas en la computación en nube .
Un ACM Fellow y IEEE Fellow , Birman fue redactor jefe de transacciones de ACM en sistemas informáticos 1993-1998. También es autor de varios libros, el más reciente Reliable Distributed Computing: Technologies, Web Services, and Applications , publicado por Springer-Verlag en mayo de 2007. [1]
Virtual Synchrony, Derecho e Isis Toolkit
Es mejor conocido por desarrollar Isis Toolkit, [2] [3] [4] que introdujo el modelo de ejecución de sincronía virtual para la comunicación de multidifusión. Birman fundó Isis Distributed Systems para comercializar este software, que fue utilizado por las bolsas de valores, para el control del tráfico aéreo y en la automatización de fábricas. El software de Isis operó las bolsas de valores de Nueva York y Suiza durante más de una década, y continúa utilizándose activamente en el sistema de control de tráfico aéreo francés y en el buque de guerra AEGIS de la Armada de EE. UU. [5]
La tecnología permite que los sistemas distribuidos se adapten automáticamente cuando ocurren fallas u otras interrupciones, compartir de forma segura claves y datos de políticas de seguridad y replicar servicios críticos para que la disponibilidad se pueda mantener incluso cuando algunos componentes del sistema están inactivos.
El grupo de investigación de Birman en Cornell ha creado una serie de sistemas de código abierto. La más reciente de ellas es Derecho, [6] una biblioteca C ++ que proporciona Paxos en una forma particularmente adecuada para las redes modernas de centros de datos, que se ejecutan a velocidades muy altas y pueden tener latencias de nodo a nodo extremadamente bajas. En tales sistemas, es importante adoptar un diseño de protocolo que transmita datos de la manera más asincrónica posible, y Derecho es inusual entre las opciones de replicación de datos a este respecto: utiliza un nuevo enfoque de "procesamiento por lotes oportunista impulsado por el receptor", por el cual los remitentes rara vez necesitan pausa al transmitir datos de gran volumen.
Otras investigaciones
Otros resultados del esfuerzo de investigación de Birman en Cornell incluyen Bimodal Multicast, [7] un protocolo de transmisión probabilísticamente confiable, que usa el paradigma del chisme ; y Astrolabe, [8] una herramienta escalable para monitorear, extraer datos y administrar grandes sistemas.
Publicaciones Seleccionadas
- Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink y Kenneth P. Birman. Derecho: Replicación de máquinas de estado rápido para servicios en la nube. ACM Trans. Computación. Syst. 36, 2, artículo 4 (abril de 2019), 49 páginas. DOI: https://doi.org/10.1145/3302258
- Birman, Kenneth P. Guía de sistemas distribuidos fiables: creación de aplicaciones de alta seguridad y servicios alojados en la nube. Libro de texto, 2012, 730p. 138 ilus. (Springer Verlag)
- Birman, Kenneth P, Lakshmi Ganesh y Robbert van Renesse. Ejecución del software de control de redes inteligentes en arquitecturas de computación en la nube. Taller sobre necesidades computacionales para la red eléctrica de próxima generación, Universidad de Cornell, 19-20 de abril de 2011. Ithaca, NY.
- Freedman, Daniel A., Tudor Marian, Kenneth P. Birman, Hakim Weatherspoon. 2010. Caracterización temporal exacta de una red óptica de área amplia de 10 Gbps . Melbourne, Australia, noviembre.
- Surton, Robert, Kenneth P. Birman, R van Renesse 2013. Enrutamiento continuo para BGP con recuperación de TCP basada en aplicaciones . Sistemas y redes distribuidos (DSN), Budapest, junio.
- Birman, Kenneth P., Daniel A. Freedman y Qi Huang. Superar el CAP con una replicación uniforme de estado blando. Revista IEEE Computer (número especial sobre “El creciente impacto del teorema CAP”). Volumen 12. págs. 50–58. Febrero de 2012.
- Vigfusson, Ymir, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Haoyuan Li, Gregory Chockler, Yoav Tock. Dr. Multicast: Rx para escalabilidad de comunicaciones de centros de datos. Conferencia de sistemas europeos ACM SIGOPS (Eurosys), abril de 2010 (París, Francia). ACM SIGOPS 2010, págs. 349–362.
Premios y honores seleccionados
- Premio al Logro Sobresaliente del Comité Técnico de Procesamiento Distribuido de IEEE 2009
- Premio IEEE Tsutomu Kanai de Computación Distribuida 2009
- Premio Visionario de Investigación (Cisco Corporation) 2008
- Nombrado profesor N. Rama Rao de Ciencias de la Computación 2009
- Becario ACM (1998)
- Miembro del IEEE (2014)
- Premio ACM SIGOPS Hall of Fame 2013 (por "Explotar la sincronización virtual en sistemas distribuidos", publicado en la conferencia ACM SOSP de 1987).
Referencias
Puede encontrar una lista completa de las publicaciones de Birman aquí .
El grupo de Birman ha creado bastante software que se puede descargar de forma gratuita (en particular, la nueva plataforma Derecho de su grupo ). Derecho implementa un protocolo Paxos óptimo, configurable para admitir los Paxos duraderos clásicos con almacenamiento persistente, así como una multidifusión atómica conforme a la especificación de Paxos vertical pero utilizando sincronía virtual para la gestión de membresía. Derecho se asigna automáticamente al hardware RDMA cuando es posible, y tiene un alto rendimiento tanto en RDMA como en TCP estándar.
- ^ Birman, Kenneth (2012). Guía de sistemas distribuidos confiables. Creación de aplicaciones de alta seguridad y servicios alojados en la nube . Springer Verlag.
- ^ Birman, Kenneth; Joseph, Thomas (noviembre de 1987). "Comunicación confiable en presencia de fallas". Transacciones ACM en sistemas informáticos . 5 (1): 47–76. doi : 10.1145 / 7351.7478 . S2CID 11224827 .
- ^ Birman, Kenneth; Van Renesse, Robbert (1994). Computación distribuida confiable con el kit de herramientas de Isis . IEEE Computer Society Press.
- ^ Birman, Kenneth (1993). "El enfoque del grupo de procesos para la computación distribuida confiable". Comunicaciones de la ACM . 36 (12): 37–53. CiteSeerX 10.1.1.107.4597 . doi : 10.1145 / 163298.163303 . S2CID 12190528 .
- ^ Birman, Kenneth (julio de 1999). "Una revisión de experiencias con multidifusión confiable" (PDF) . Práctica y experiencia en software . 29 (9): 741–774. doi : 10.1002 / (sici) 1097-024x (19990725) 29: 9 <741 :: aid-spe259> 3.0.co; 2-i . hdl : 1813/7380 .
- ^ Jha, Sagar; Behrens, Jonathan; Gkountouvas, Theo; Milano, Matthew; Song, Weijia; Tremel, Edward; van Renesse, Robbert; Zink, Sydney; Birman, Ken (abril de 2019). "Derecho: Replicación de máquinas de estado rápido para servicios en la nube". Transacciones ACM en sistemas informáticos . 36 (2). doi : 10.1145 / 3302258 .
- ^ Birman, Kenneth; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (1999). "Multidifusión bimodal". Transacciones ACM en sistemas informáticos . 17 (2): 41–88. doi : 10.1145 / 312203.312207 . S2CID 207744063 .
- ^ Van Renesse, Robbert; Birman, Kenneth; Vogels, Werner (2003). "Astrolabio: una tecnología robusta y escalable para la monitorización, gestión y minería de datos de sistemas distribuidos". Transacciones ACM en sistemas informáticos . 21 (2): 164–206. doi : 10.1145 / 762483.762485 . S2CID 6204358 .
- ^ "Facultad de Ingeniería de la Facultad de Ingeniería de la Universidad de Cornell" . 2013 . Universidad de Cornell . Consultado el 20 de agosto de 2013 .
enlaces externos
- Página de inicio de Ken Birman
- Página de descarga de Derecho