Gibt es eine Anwendung von L4 (Mikrokernel)?[geschlossen]

Question

Ich habe viel über den L4-Mikrokern gegoogelt und festgestellt, dass auf L4 sehr wenig Ressourcen vorhanden sind.

1. Auf welche guten Links kann ich verweisen?
2. Gibt es eine Anwendung von L4 (d. H. Wo es verwendet wird)?

Answer 1

L4 hat angeblich vor einem Jahr eine Milliarde Installationen bestanden, daher lautet die kurze Antwort Ja. Nach meiner Lektüre ist Linux, das auf L4 läuft, ein Faktor, der schneller ist als allein, was zu einem Linux L4 führt, und Android wurde auf L4 über Linux portiert. Meiner Ansicht nach, wenn so viele Installationen ausgeführt werden, warum können wir L4 nicht über eine Shell wie ksh oder bash zur Verfügung haben? Die kurze Antwort lautet Fahrer; Für uns wurde von den L4-Göttern ausgewählt, dass L4 Linux sein sollte, um Treiber zu unterstützen, obwohl Linux nur wenige Treiber hat. Hier in diesem Community-Wiki gibt es ein wenig darüber: http://alopex.li/wiki/L4FiascoTutorial Und die Gründe für L4 / Linux hier: http://www.slideshare.net/sartakov/ 03-Advanced-Komponenten

Wenn Treiber so problematisch sind, dass freie Software kommerzielle Anbieter daran hindert, sie zu schreiben, können Sie eine "qt" -Version für Treiberschreiber erstellen, dh ein gemeinfreies Kit, das die Computerfunktionalität vereinheitlicht, um Treiber zu definieren. Dann würden OS-Autoren das Backend für ihr Betriebssystem so erstellen, dass der Anbieter die Arbeit nur einmal ausführen muss.

Das andere nützliche Thema ist die Idee einer VM über L4, wobei Perl Parrot VM (PVM) als hypothetisches Beispiel verwendet wird. Wenn L4 so geändert werden könnte, dass es ausschließlich in Registern ausgeführt wird, stellen Sie sich die Leistung vor

Answer 2

L4 ist eine Familie von Mikrokernen, die eine mehr oder weniger verbreitete API und einige grundlegende Ideen / Konzepte gemeinsam haben.

Typische Anwendungen sind Echtzeit- / Hochverfügbarkeitsszenarien sowie a Verwendung als Hypervisor, der traditionellere Betriebssysteme hostet.

Informationen zu Anwendungen: Es gibt einen L4-Kernel von ok-labs.com , der beispielsweise im Motorola Evoke verwendet wurde um den Anwendungsstapel neben dem Basisbandstapel auf demselben Prozessor auszuführen. Ein Kernel von ok-labs wird auch verwendet, um den Basisband-Stack des iPad2 zu hosten.

sysgo.com verfügt über einen Kernel namens PikeOS, den sie für Luft- und Raumfahrt- / Verteidigungsanwendungen verwenden.

Answer 3

Laut Andrew Tanenbaum wird L4 in Mobiltelefonen verwendet (fünfter von letzter Antwort,oder Sie können eine Textsuche nach "L4" durchführen.Leider habe ich nicht viel anderes gefunden als die L4-Website und FIASCO .