Gernot Heiser

Gernot Heiser (nacido en 1957) es un científico informático germano-australiano. Es catedrático y titular de la cátedra John Lions de sistemas operativos en la UNSW Sydney , donde dirige el grupo Trustworthy Systems (TS).

Heiser obtuvo su Abitur en 1976 en el Markgräfler Gymnasium Müllheim en Müllheim im Markgräflerland . ^{[ 1 ]}

En 1991, Heiser se unió a la Facultad de Informática e Ingeniería de la UNSW Sydney , inicialmente como profesor adjunto, alcanzando el rango de catedrático en 2002, puesto que conserva hasta la fecha.

También en 2002 se unió a la recién creada organización de investigación NICTA como uno de sus líderes de programa iniciales, a cargo del programa de Sistemas Integrados, en Tiempo Real y Operativos (ERTOS). Después de una reorganización en 2011, ERTOS se convirtió en el Grupo de Investigación de Sistemas de Software (SSRG), que él dirigió. Cuando NICTA fue absorbida por CSIRO en 2016, Heiser se retiró de la gestión del grupo, que entonces se llamaba Sistemas Confiables (TS). En 2021, CSIRO abandonó TS, ^{[ 2 ]} momento en el que Heiser llevó el grupo de regreso a UNSW y retomó su liderazgo.

Desde abril de 2020, Heiser ejerce como presidente fundador de la Fundación seL4 .

La investigación de Heiser se centra en los microkernels , los sistemas basados ​​en microkernels y las máquinas virtuales , y hace hincapié en el rendimiento y la fiabilidad.

Su grupo produjo Mungi , un sistema operativo de espacio de direcciones único , ^{[ 3 ]} para clústeres de computadoras de 64 bits , e implementaciones del microkernel L4 con comunicación entre procesos muy rápida . ^{[ 4 ]} Su equipo Gelato@UNSW fue miembro fundador de la Federación Gelato y se centró en el rendimiento y la escalabilidad de Linux en Itanium . Establecieron límites de rendimiento teóricos y prácticos de la comunicación entre procesos (IPC) mediante paso de mensajes en Itanium. ^{[ 5 ]}

Después de unirse a NICTA en su creación en 2002, su investigación se alejó de las plataformas de computación de alto rendimiento y se centró en los sistemas embebidos, con el objetivo de mejorar la seguridad y la confiabilidad mediante el uso de la tecnología de microkernel. ^{[ 6 ]} Esto condujo al desarrollo de un nuevo microkernel, llamado seL4, y su verificación formal, que se afirma que es la primera prueba completa de la corrección funcional de un kernel de sistema operativo de propósito general . ^{[ 7 ]}

Su trabajo en virtualización estuvo motivado por la necesidad de proporcionar un entorno de sistema operativo completo en sus microkernels. Su proyecto Wombat siguió el enfoque adoptado con el proyecto L4Linux en Dresde , pero era un Linux paravirtualizado multiarquitectura que se ejecutaba en hardware x86 , ARM y MIPS . El trabajo de Wombat posteriormente formó la base para el hipervisor OKL4 de su empresa Open Kernel Labs (OK Labs). El deseo de reducir el esfuerzo de ingeniería de la paravirtualización condujo al desarrollo del enfoque de capas suaves de paravirtualización automatizada que se demostró en hardware x86 e Itanium . ^{[ 8 ]} Su trabajo sobre acceso a memoria virtual no uniforme (vNUMA) demostró un hipervisor que presenta un sistema distribuido como un multiprocesador de memoria compartida como un posible modelo para chips de muchos núcleos con un gran número de núcleos de procesador. ^{[ 9 ]}

Los controladores de dispositivos son otro foco de su trabajo, incluyendo la primera demostración de controladores en modo usuario con una sobrecarga de rendimiento inferior al 10%, ^{[ 10 ]} un enfoque para el desarrollo de controladores que elimina la mayoría de los errores típicos de los controladores por diseño, ^{[ 11 ]} controladores de dispositivos producidos a partir de bancos de prueba de dispositivos, ^{[ 12 ]} y una demostración de la viabilidad de generar controladores de dispositivos automáticamente a partir de especificaciones formales. ^{[ 13 ]} También realizó investigaciones sobre la gestión de energía a nivel de sistema operativo. ^{[ 14 ]}

Desde que dejó OK Labs en 2010, se centró casi exclusivamente en seL4 y en sistemas basados ​​en seL4 de alta fiabilidad, tanto en investigación como en transferencia de tecnología. Entre sus logros de investigación más destacados se incluye un análisis sólido y completo del tiempo de ejecución en el peor de los casos (WCET) de seL4, considerado el primero de su tipo para un núcleo de sistema operativo en modo protegido . ^{[ 15 ] [ 16 ]} Su trabajo en la ampliación de la funcionalidad de seL4 para admitir sistemas de criticidad mixta (MCS) llevó a convertir el tiempo en un recurso de primera clase en el sistema de capacidades de seL4 . ^{[ 17 ]}

Centrándose en los canales de temporización microarquitectónicos , demostró en 2015 el primer ataque práctico de canal lateral de temporización entre núcleos. ^{[ 18 ]} Esto condujo al trabajo sobre la prevención sistemática de fugas en canales de temporización y a la propuesta de un conjunto de mecanismos para lograrlo, denominados colectivamente protección de tiempo . ^{[ 19 ]}

En el pasado, también trabajó en la simulación de dispositivos semiconductores , donde fue pionero en el uso de modelos multidimensionales para optimizar las células solares basadas en silicio . ^{[ 20 ]}

• Academia Nacional Alemana de Ciencias Leopoldina (Leopoldina) (Miembro) (2023) ^{[ 21 ]}
• La Real Sociedad de Nueva Gales del Sur (RSN) (Miembro) (2022) ^{[ 22 ]}
• Ponente distinguido de la Association for Computing Machinery (ACM) (2021) ^{[ 23 ]}
• ACM SIGOPS Junto con sus coautores (fue el tercer autor) Heiser recibió el premio del Salón de la Fama (2019), ^{[ 24 ]} por el artículo "seL4: Verificación formal de un núcleo de sistema operativo" ^{[ 7 ]}
• Miembro de la Academia Australiana de Tecnología e Ingeniería (ATSE) (2016) ^{[ 25 ]}
• Miembro del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) (2016) "Por sus contribuciones a la seguridad y protección de los sistemas operativos" ^{[ 26 ]}
• Investigador del año en TIC de la Sociedad Australiana de Informática (ACS) (2015) ^{[ 27 ]}
• Miembro de la Association for Computing Machinery (ACM) (2014) "Por contribuciones que demuestran que los sistemas operativos demostrablemente correctos son factibles y adecuados para su uso en el mundo real" ^{[ 28 ]}
• Profesor titular de la Universidad de Nueva Gales del Sur
• Héroe de la Innovación 2010 del Centro Warren de Ingeniería Avanzada de la Universidad de Sídney
• Científico del Año 2009 de Nueva Gales del Sur Categoría Ingeniería, Matemáticas y Ciencias de la Computación ^{[ 29 ]}
• Mejor artículo en el 22º Simposio ACM SIGOPS sobre Principios de Sistemas Operativos, 2009.
• Mejor artículo en la 13.ª Conferencia IEEE Asia-Pacífico sobre Arquitectura de Sistemas Informáticos, 2008.
• Mejor trabajo estudiantil en la Conferencia Técnica Anual de USENIX de 2005.

• Sitio web oficial
• El blog de Gernot Heiser
• Biografía en UNSW con lista completa de publicaciones