Familia de microkernel L4


L4 es una familia de microkernels de segunda generación , que se utiliza para implementar una variedad de tipos de sistemas operativos (SO), aunque principalmente para tipos compatibles con la Interfaz de sistema operativo portátil ( POSIX ) similar a Unix .

L4, al igual que su predecesor, el microkernel L3 , fue creado por el informático alemán Jochen Liedtke como respuesta al bajo rendimiento de los sistemas operativos anteriores basados ​​en microkernel. Liedtke sintió que un sistema diseñado desde el principio para un alto rendimiento, en lugar de otros objetivos, podría producir un micronúcleo de uso práctico. Su implementación original en el código de lenguaje ensamblador específico de Intel i386 codificado a mano en 1993 despertó un gran interés en la industria de la computación. [ cita requerida ] Desde su introducción, L4 se ha desarrollado para ser multiplataforma y para mejorar la seguridad , el aislamiento y la solidez .

Ha habido varias reimplementaciones de la interfaz binaria (ABI) de la aplicación del núcleo binario L4 original y sus sucesores, incluidos L4Ka :: Pistachio ( Instituto de Tecnología de Karlsruhe ), L4 / MIPS ( Universidad de Nueva Gales del Sur (UNSW)), Fiasco ( Universidad Tecnológica de Dresde (TU Dresden)). Por esta razón, el nombre L4 se ha generalizado y ya no se refiere únicamente a la implementación original de Liedtke. Ahora se aplica a toda la familia de microkernel , incluida la interfaz del kernel L4 y sus diferentes versiones.

L4 está ampliamente implementado. Una variante, OKL4 de Open Kernel Labs , se envía en miles de millones de dispositivos móviles. [1] [2]

Un concepto es tolerado dentro del microkernel solo si moverlo fuera del kernel, es decir, permitir implementaciones competitivas, evitaría la implementación de la funcionalidad requerida del sistema. [3]

Con este espíritu, el microkernel L4 proporciona algunos mecanismos básicos: espacios de direcciones (abstracción de tablas de página y protección de memoria), subprocesos y programación (abstracción de ejecución y protección temporal) y comunicación entre procesos (para comunicación controlada a través de los límites de aislamiento).


Árbol genealógico L4