académico americano
Kenneth P. Birman (nacido el 18 de noviembre de 1955) es profesor del Departamento de Ciencias de la Computación de la Universidad de Cornell. Actualmente ocupa la Cátedra N. Rama Rao de Ciencias de la Computación.
Educación
Birman recibió su licenciatura en la Universidad de Columbia y su doctorado en la Universidad de California, Berkeley . [1]
Investigación 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 la nube .
Birman, miembro de la ACM y del IEEE , fue editor jefe de ACM Transactions on Computer Systems entre 1993 y 1998. También es autor de varios libros, el más reciente de los cuales es Reliable Distributed Computing: Technologies, Web Services, and Applications , publicado por Springer-Verlag en mayo de 2007. [2]
Sincronía virtual, derecho y el kit de herramientas de Isis
Es más conocido por desarrollar el kit de herramientas Isis, [3] [4] [5] que introdujo el modelo de ejecución de sincronía virtual para la comunicación multicast. Birman fundó Isis Distributed Systems para comercializar este software, que fue utilizado por bolsas de valores, para el control del tráfico aéreo y en la automatización de fábricas. El software Isis operó en las bolsas de valores de Nueva York y Suiza durante más de una década, y continúa siendo utilizado activamente en el sistema de control del tráfico aéreo francés y en el buque de guerra AEGIS de la Armada de los EE. UU. [6]
La tecnología permite que los sistemas distribuidos se adapten automáticamente cuando ocurren fallas u otras interrupciones, que compartan de forma segura claves y datos de políticas de seguridad y que repliquen servicios críticos para que se pueda mantener la disponibilidad 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. El más reciente de ellos es Derecho, [7] una biblioteca C++ que proporciona Paxos en un formato especialmente adecuado para las redes de centros de datos modernos, que funcionan 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 forma más asincrónica posible, y Derecho es inusual entre las opciones de replicación de datos en este sentido: utiliza un nuevo enfoque de "agrupamiento oportunista impulsado por el receptor", por el cual los remitentes rara vez necesitan hacer una pausa cuando transmiten datos de gran volumen.
Otras investigaciones
Otros resultados del esfuerzo de investigación de Birman en Cornell incluyen Bimodal Multicast, [8] un protocolo de transmisión probabilísticamente confiable que utiliza el paradigma del chisme ; y Astrolabe, [9] una herramienta escalable para monitorear, extraer datos y administrar sistemas grandes.
Publicaciones seleccionadas
- Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink y Kenneth P. Birman. Derecho: Fast State Machine Replication for Cloud Services. ACM Trans. Comput. Syst. 36, 2, artículo 4 (abril de 2019), 49 páginas. DOI: https://doi.org/10.1145/3302258
- Birman, Kenneth P. Guía para sistemas distribuidos confiables: creación de aplicaciones de alta seguridad y servicios alojados en la nube. Libro de texto, 2012, 730 págs. 138 ilustraciones (Springer Verlag)
- Birman, Kenneth P, Lakshmi Ganesh y Robbert van Renesse. Ejecución de software de control de red inteligente 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 y 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 TCP basada en aplicaciones . Sistemas y redes distribuidas (DSN), Budapest, junio.
- Birman, Kenneth P., Daniel A. Freedman y Qi Huang. Superando el CAP con replicación consistente de estado blando. IEEE Computer Magazine (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 la escalabilidad de las comunicaciones en centros de datos. Conferencia europea de sistemas ACM SIGOPS (Eurosys), abril de 2010 (París, Francia). ACM SIGOPS 2010, págs. 349–362.
Premios y distinciones seleccionados
- Premio al logro sobresaliente 2009 del Comité técnico de procesamiento distribuido del IEEE
- Premio IEEE Tsutomu Kanai de Computación Distribuida 2009
- Premio Visionario de Investigación (Cisco Corporation) 2008
- Nombrado profesor de informática N. Rama Rao en 2009
- Becario ACM (1998)
- Miembro del IEEE (2014)
- Premio Salón de la Fama ACM SIGOPS 2013 (por "Explotación de la sincronía virtual en sistemas distribuidos", publicado en la conferencia ACM SOSP de 1987).
[10]
Referencias
Una lista completa de las publicaciones de Birman se puede encontrar aquí.
El grupo de Birman ha creado una gran cantidad de 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 el Paxos duradero clásico con almacenamiento persistente, así como una multidifusión atómica que cumple con la especificación vertical de Paxos pero que utiliza sincronía virtual para la gestión de miembros. Derecho se asigna automáticamente al hardware RDMA cuando es posible y tiene un alto rendimiento tanto en RDMA como sobre TCP estándar.
- ^ "Ken Birman | Ingeniería de Cornell". www.engineering.cornell.edu . Consultado el 5 de diciembre de 2022 .
- ^ Birman, Kenneth (2012). Guía para 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". ACM Transactions on Computer Systems . 5 (1): 47–76. doi : 10.1145/7351.7478 . hdl : 1813/6534 . S2CID 11224827.
- ^ Birman, Kenneth; Van Renesse, Robbert (1994). Computación distribuida confiable con el kit de herramientas 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) . Software: práctica y experiencia . 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 rápida de máquinas de estados para servicios en la nube". ACM Transactions on Computer Systems . 36 (2). doi :10.1145/3302258. S2CID 218482757.
- ^ Birman, Kenneth; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (1999). "Multidifusión bimodal". ACM Transactions on Computer Systems . 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". ACM Transactions on Computer Systems . 21 (2): 164–206. doi :10.1145/762483.762485. S2CID 6204358.
- ^ "Facultad de Ingeniería de la Facultad 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