L4 (micronúcleo)

L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 ( ABI) y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo L4 y sus diferentes versiones.

Paradigma de diseño

Al explicar la idea de un micronúcleo, Liedtke decía:

Un concepto es tolerado dentro de un micronúcleo sólo si moviéndolo fuera de él, es decir, desarrollando implementaciones similares a nivel de usuario, la funcionalidad requerida del sistema no podría ser totalmente satisfecha.[1]

De esta manera, el micronúcleo L4 proporciona sólo cuatro mecanismos básicos: modelo de hilos, un mecanismo para comunicación entre procesos síncrona, scheduling y una abstracción del espacio de direcciones.

Un sistema operativo basado en un micronúcleo L4, tiene que proporcionar sus servicios a manera de "servidores" en espacio usuario que los núcleos monolíticos como Linux o micronúcleos de generaciones más antiguas incluyen internamente. Por ejemplo, para implementar un sistema seguro tipo Unix, los servidores tienen que proveer el manejo de permisos que Mach incluía dentro del núcleo.

Other Languages
čeština: L4 (jádro)
français: Micronoyau L4
日本語: L4
português: L4 (micronúcleo)
русский: L4 (микроядро)