¿Existe alguna aplicación de L4 (microkernel)?[cerrado]

Question

Busqué mucho en Google sobre el microkernel L4 y descubrí que hay muy menos recursos en L4.

1. ¿Cuáles son algunos buenos enlaces a los que puedo hacer referencia?
2. ¿Existe alguna aplicación de L4 (es decir, dónde se usa)?

Answer 1

L4 supuestamente superó mil millones de instalaciones hace un año, así que la respuesta corta es sí. Según mi lectura, Linux que se ejecuta sobre L4 es factores más rápidos que ejecutarse solo, lo que lo convierte en un Linux L4, y Android se ha portado a L4 sobre Linux. En mi opinión, si se están ejecutando tantas instalaciones, ¿por qué no podemos tener L4 disponible a través de un shell, como ksh o bash? La respuesta corta son los conductores; Los dioses de L4 eligieron para nosotros que L4 debería ser Linux para admitir controladores, a pesar de que a Linux le faltan controladores. Hay un poco sobre esto aquí en esta wiki de la comunidad: http://alopex.li/wiki/L4FiascoTutorial Y el fundamento de L4 / Linux aquí: http://www.slideshare.net/sartakov/ 03-componentes-avanzados

Si los controladores son tan problemáticos, de modo que el software libre impide que los proveedores comerciales los escriban, ¿por qué no crear una versión "qt" para los escritores de controladores, es decir, un kit de dominio público que unifica la funcionalidad de la computadora para definir los controladores? Luego, los escritores de sistemas operativos crearían el backend para su sistema operativo de modo que el proveedor solo tenga que hacer el trabajo una vez.

El otro tema útil es la idea de una VM sobre L4, usando Perl Parrot VM (PVM) como un ejemplo hipotético; si L4 pudiera modificarse para ejecutarse estrictamente en registros ... imagina el rendimiento

Answer 2

L4 es una familia de microkernels que comparten una API más o menos común y algunas ideas / conceptos básicos.

Las aplicaciones típicas son escenarios de alta disponibilidad / tiempo real duro, así como uso como hipervisor que aloja sistemas operativos más tradicionales.

Acerca de las aplicaciones: Hay un kernel L4 de ok-labs.com que se usó, por ejemplo, en Motorola Evoke. para ejecutar la pila de aplicaciones en paralelo con la pila de banda base en el mismo procesador. También se utiliza un kernel de ok-labs para alojar la pila de banda base del iPad2.

sysgo.com tiene un núcleo llamado PikeOS que utilizan para aplicaciones aeroespaciales / de defensa.

Answer 3

Según Andrew Tanenbaum L4 se usa en teléfonos móviles (quinto desde la última respuesta,o puede hacer una búsqueda de texto para "L4").Lamentablemente, no he podido encontrar mucho más que el sitio web L4 y FIASCO .