Jochen Liedtke (mayo 26, 1953 a junio 10, 2001 ) fue un alemán experto en informática , conocido por su trabajo en microkernel sistemas operativos , especialmente en la creación de la familia microkernel L4 .
Jochen Liedtke | |
---|---|
Nació | |
Fallecido | 10 de junio de 2001 | (48 años)
Nacionalidad | Alemania |
alma mater | Universidad Técnica de la Universidad de Bielefeld de Berlín |
Conocido por | Micronúcleos L3 , L4 |
Carrera científica | |
Campos | Informática Sistemas operativos |
Instituciones | GMD Thomas J. Watson Research Center Universidad de Karlsruhe |
Asesor de doctorado | Stefan Jähnichen |
Vitae
Educación
A mediados de la década de 1970, Liedtke estudió para obtener un diploma en matemáticas en la Universidad de Bielefeld . Su proyecto de tesis consistía en construir un compilador para el lenguaje de programación ELAN , que había sido lanzado para enseñar programación en escuelas alemanas. [ cita requerida ] El compilador fue escrito en ELAN.
Postgrado
Después de su graduación en 1977, permaneció en Bielefeld y trabajó en un entorno Elan para el microprocesador Zilog Z80 . Esto requería un sistema de tiempo de ejecución (entorno), al que llamó Eumel ("Sistema ELAN de microprocesador multiusuario extensible", pero también un término coloquial del norte de Alemania para un tonto simpático ). Eumel se convirtió en un completo sistema operativo multitarea y multiusuario compatible con la persistencia ortogonal , que comenzó a enviarse (¿ por quién? ¿A quién? ) En 1980 y luego se trasladó a los procesadores Zilog Z8000 , Motorola 68000 e Intel 8086 . Como estos procesadores carecían de protección de memoria, Eumel implementó una máquina virtual que agregó las características que faltan en el hardware. [1] Se enviaron más de 2000 sistemas Eumel, principalmente a escuelas, y algunos a prácticas legales como plataforma de procesamiento de texto .
En 1984, se unió a Gesellschaft für Mathematik und Datenverarbeitung (GMD), el Centro Nacional Alemán de Investigación en Ciencias de la Computación, que ahora forma parte de la Fraunhofer Society . Allí continuó su trabajo sobre Eumel. En 1987, cuando los microprocesadores que soportan memoria virtual estuvieron ampliamente disponibles en la forma de Intel 80386 , Liedtke comenzó a diseñar un nuevo sistema operativo para suceder a Eumel, al que llamó L3 ("el tercer sistema de Liedtke", en honor a Eumel y al intérprete de ALGOL 60 que él había escrito en la escuela secundaria). L3 se diseñó para lograr un mejor rendimiento mediante el uso de las últimas funciones de hardware y se implementó desde cero. En su mayoría, era compatible con versiones anteriores de Eumel, por lo que se beneficiaba del ecosistema de Eumel existente. L3 comenzó a enviarse en 1989, con un despliegue total de al menos 500. [1]
Tanto Eumel como L3 eran sistemas de microkernel , un diseño popular en la década de 1980. Sin embargo, a principios de la década de 1990, los microkernels habían recibido una mala reputación, ya que los sistemas construidos en la parte superior tenían un rendimiento deficiente, lo que culminó con la falla de mil millones de dólares del sistema operativo IBM Workplace . Se afirmó que la razón era inherente a la estructura del sistema operativo impuesta por los micronúcleos. [2] Liedtke, sin embargo, observó que la operación de paso de mensajes (IPC), que es fundamentalmente importante para el rendimiento del microkernel, era lenta en todos los microkernels existentes, incluido su propio sistema L3. [3] Su conclusión fue que se necesitaba un rediseño radical. Lo hizo reimplementando L3 desde cero, simplificando drásticamente el kernel, lo que resultó en una disminución de orden de magnitud en el costo de IPC. [4] El kernel resultante se renombró más tarde como "L4". Conceptualmente, la principal novedad de L4 fue su total dependencia de buscapersonas externos ( controladores de fallas de página ) y la construcción recursiva de espacios de direcciones. [5] Esto llevó a una familia completa de microkernels , con muchas implementaciones independientes de los mismos principios.
Liedtke también trabajó en la arquitectura de la computadora , inventando tablas de páginas protegidas como un medio para implementar un espacio de direcciones de 64 bits escasamente mapeado . [6] En 1996, Liedtke completó un doctorado en tablas de páginas protegidas en la Universidad Técnica de Berlín .
En el mismo año se unió al Centro de Investigación Thomas J. Watson , donde continuó trabajando en L4 (por una razón política llamada Lava Nucleus (LN), los micronúcleos no estaban de moda en IBM después del desastre de Workplace OS). El proyecto principal durante su tiempo en IBM fue el proyecto Saw Mill, que intentó convertir Linux en un sistema operativo multiservidor basado en L4.
En abril de 1999, asumió la Cátedra de Arquitectura de Sistemas en la Universidad de Karlsruhe . Allí, continuó colaborando con IBM en Saw Mill, pero al mismo tiempo trabajó en una nueva generación de L4 (versión 4). Se desarrollaron varios núcleos experimentales durante ese tiempo, incluido Hazelnut, el primer núcleo L4 que se portó (en contraste con la reimplementación) a una arquitectura diferente (de x86 a ARM ). El trabajo en la nueva versión fue completado después de su muerte por los estudiantes de Liedtke, Volkmar Uhlig, Uwe Dannowski y Espen Skoglund. Fue lanzado bajo el nombre de Pistachio en 2002.
Referencias
- ↑ a b Liedtke, Jochen (diciembre de 1993). "Un sistema persistente en uso real: experiencias de los primeros 13 años". Actas del 3er Taller Internacional sobre Orientación a Objetos en Sistemas Operativos (IWOOOS) . Asheville, Carolina del Norte, Estados Unidos. págs. 2-11. doi : 10.1109 / IWOOOS.1993.324932 .
- ^ Chen, Bradley; Bershad, Brian (diciembre de 1993). "El impacto de la estructura del sistema operativo en el rendimiento del sistema de memoria" . 14º Simposio de ACM sobre principios de sistemas operativos . Asheville, Carolina del Norte, Estados Unidos. págs. 120-133.
- ^ Liedtke, Jochen (septiembre de 1996). "Hacia microkernels reales". Comunicaciones de la ACM . 39 (9): 70–77. CiteSeerX 10.1.1.27.8231 . doi : 10.1145 / 234215.234473 . S2CID 2867357 .
- ^ Liedtke, Jochen (diciembre de 1993). Mejora de IPC mediante Kernel Design . Actas del decimocuarto simposio de ACM sobre principios de sistemas operativos. SOSP '93. Nueva York, NY, EE. UU .: Association for Computing Machinery (ACM). págs. 175-188. doi : 10.1145 / 168619.168633 . ISBN 0-89791-632-8.
- ^ Liedtke, Jochen (diciembre de 1995). Sobre la construcción de μ-Kernel (PDF) . Actas del Decimoquinto Simposio de ACM sobre principios de sistemas operativos. SOSP '95. Nueva York, NY, EE. UU .: Association for Computing Machinery (ACM). págs. 237-250. doi : 10.1145 / 224056.224075 . ISBN 0-89791-715-4.
- ^ Jochen Liedtke. "Estructuras de tabla de página para memoria virtual de grano fino" , Informe técnico 872, Centro Nacional Alemán de Investigación en Ciencias de la Computación (GMD), octubre de 1994.
enlaces externos
- In Memoriam Jochen Liedtke (1953-2001)
- Lista de publicaciones de Liedtke relacionadas con microkernels