L4 (microkernel)
De Wikipedia, la enciclopedia libre
L4 es, colectivamente, una familia de programas de computadora relacionados. Se trata de una serie de microkernels que están llegando a ser muy conocidos en la industria de computadoras por su excelente funcionamiento y pequeño tamaño. L4 era originalmente un solo producto, un núcleo altamente optimizado para Intel i386, diseñado e implementado por Jochen Liedtke. Desde entonces el sistema ha experimentado un desarrollo drástico en varios sentidos, tanto produciendo implementaciones independientes de la plataforma pero aun así con alto rendimiento, así como mejorando la seguridad, protección y estabilidad.
[editar] Historia
Al darse cuenta de las limitaciones de diseño y rendimiento del microkernel Mach, a mediados de los 90 un número de desarrolladores se dedicaron a revisar el concepto básico de microkernel. Mach agregaba gastos indirectos considerables a la comunicación entre procesos (IPC) para apoyar conceptos que no eran realmente útiles fuera de Unix. El sistema IPC era un ejemplo clásico de costo distribuido. Por ejemplo, en un sistema monousuario como el del telefonía celular, los permisos y derechos son muchos menos importantes que en un sistema Unix. Mientras Mach se jactaba de ser un microkernel parecía que tenía más de lo que era necesario.
