C'è qualche applicazione di L4 (microkernel)?[Chiuso]

Question

Ho cercato su Google molto il microkernel L4 e ho scoperto che ci sono pochissime risorse su L4.

1. Quali sono alcuni buoni link a cui posso fare riferimento?
2. Esiste un'applicazione di L4 (ovvero dove viene utilizzato)?

Answer 1

L4 presumibilmente ha superato un miliardo di installazioni un anno fa, quindi la risposta breve è sì. Secondo la mia lettura, Linux in esecuzione su L4 è fattori più veloci rispetto a funzionare da solo, creando un Linux L4, e Android è stato portato su L4 su Linux. Secondo me, se sono in esecuzione così tante installazioni, perché non possiamo avere L4 a nostra disposizione tramite una shell, come ksh o bash? La risposta breve sono i driver; è stato scelto per noi dagli dei di L4 che L4 dovrebbe essere Linux per supportare i driver, anche se Linux è a corto di driver. C'è un po 'al riguardo qui su questo wiki della comunità: http://alopex.li/wiki/L4FiascoTutorial E la motivazione per L4 / Linux qui: http://www.slideshare.net/sartakov/ 03-advanced-components

Se i driver sono così problematici, in modo tale che il software libero impedisce ai venditori commerciali di scriverli, allora perché non creare una versione "qt" per gli autori di driver, vale a dire un kit di dominio pubblico che unifica le funzionalità del computer per definire i driver. Quindi gli autori del sistema operativo creerebbero il backend per il loro sistema operativo in modo tale che il fornitore debba eseguire il lavoro una sola volta.

L'altro argomento utile è l'idea di una VM su L4, utilizzando Perl Parrot VM (PVM) come esempio ipotetico; se L4 potesse essere modificato per funzionare rigorosamente nei registri .... immagina le prestazioni

Answer 2

L4 è una famiglia di microkernel che condivide un'API più o meno comune e alcune idee / concetti di base.

Le applicazioni tipiche sono scenari hard-realtime / ad alta disponibilità e un file utilizzo come hypervisor che ospita sistemi operativi più tradizionali.

Informazioni sulle applicazioni: Esiste un kernel L4 da ok-labs.com che è stato ad esempio utilizzato nel Motorola Evoke per eseguire lo stack dell'applicazione fianco a fianco con lo stack in banda base sullo stesso processore. Un kernel di ok-labs viene utilizzato anche per ospitare lo stack in banda base dell'iPad2.

sysgo.com ha un kernel chiamato PikeOS che usano per applicazioni aerospaziali / di difesa.

Answer 3

Secondo Andrew Tanenbaum L4 viene utilizzato nei telefoni cellulari (quinto dall'ultima risposta,oppure puoi fare una ricerca di testo per "L4").Sfortunatamente, non sono riuscito a trovare molto altro oltre al sito web L4 e FIASCO .