L4 (Microkernel)

L4 (Microkernel)

L4 ist der Name eines Mikrokernels, entworfen und implementiert von Jochen Liedtke. Der Kernel wurde von Liedtke am IBM Thomas J. Watson Research Center in Hawthorne entwickelt. Später wurde er in verschiedenen Implementierungen an der Uni Karlsruhe, der TU Dresden und der University of New South Wales weiterentwickelt.

Inhaltsverzeichnis

Entwicklung

Die Entwicklungslinie basiert auf L1, einem Interpreter für eine Teilmenge von Algol 60 auf einem 8-Bit Rechner mit 4 KB Hauptspeicher. 1979 wurde L2 (Extendable Multiuser Microprocessor ELAN-System, kurz „Eumel“) freigegeben, eine zunächst auf 8 Bit, dann auf 16 Bit ausgelegte Assembler-Implementierung auf Intel-x86-Basis, die auch nach Japan transferiert wurde. 1988 entwickelte Liedtke am GMD das 32-Bit-System L3, welches auf neuen Intel-Plattformen bis heute produktiv beim TÜV Süd im Einsatz ist.

Applikationen

Mit L4 wird hauptsächlich das API bezeichnet. Dieses wird nach den stabilen Versionen Version 2 und Version 4 unterschieden, zwischen denen die Entwicklungsstadien X.0, X.1 und X.2 liegen. Aktueller Stand ist Version X.2. Es existieren Implementierungen der L4-API der Universität Karlsruhe (Hazelnut, Pistachio) und der TU Dresden (Fiasco).

Besondere Merkmale

Kernel, die auf dem L4-API basieren, bieten eine synchrone IPC, einfaches Interrupt- und Threadmanagement sowie eine einfache, externe Speicherverwaltung.

Auf Basis von L4 können, dem modularen Prinzip der Mikrokernel folgend, graphische Nutzeroberflächen (wie DOpE), der Linux-Kern im Nutzermodus (L4Linux, Wombat) und ganzheitlich echtzeitfähige Betriebssysteme (wie DROPS) laufen.

L4 auf Linux

Die L4-Implementierung Fiasco-UX erlaubt, dass der Mikrokernel selbst wiederum als Anwendung unter Linux betrieben werden kann, was die Entwicklung deutlich vereinfacht, ähnlich dem Prinzip von User Mode Linux. Die L4-Implementierung wurde unter der GNU GPL als Freie Software lizenziert.[1]

Bibliotheken

Für Entwickler von Anwendungen auf Basis des Mikrokernels stehen die Bibliotheken L4Env (Fiasco), Iguana und Kenge (Pistachio) zur Verfügung.

Beweisbar sichere Systeme

Die Konstruktion von beweisbar sicheren Systemen wird mit dem Projekt VFiasco angestrebt, welches durch den Einsatz von aus der Mathematik und theoretischen Informatik bekannten Koalgebren verifiziert wird.

Einzelnachweise

  1. ↑ Homepage des Gruppe L4Linux: FAQ

Weblinks

  • Open Kernel Labs Announces OKL4 (Commercial L4 Microkernel) - 17. April 2007
  • L4Hq - L4 Headquarters, Community-Seite für L4-Projekte
  • L4Ka - Implementierungen L4Ka::Pistachio und L4Ka::Hazelnut
  • Fiasco – Eine freie C++-Implementierung für x86- und ARM-Prozessoren
  • UNSW - Portierung auf die Architekturen Alpha und MIPS
  • L4Linux - Linux auf dem L4 Microkernel
  • DROPS - The Dresden Real-Time Operating System Project
  • VFiasco - Verified Fiasco Project
  • L3 - Vorgänger-System zu L4

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Microkernel —   [engl. kernel »Kern«], ein kleiner, etwa 10 100 KByte großer Kern eines Betriebssystems, der den prozessorspezifischen Code enthält (Kernel). Die restlichen Betriebssystemteile arbeiten wie Anwendungsprogramme als separate Prozesse. Der… …   Universal-Lexikon

  • microkernel — /mīˈkrō kûr nl/ (computing) noun The smallest possible collection of processor specific operating system functions ORIGIN: ↑micro (1a) …   Useful english dictionary

  • Microkernel — Structure of monolithic and microkernel based operating systems, respectively In computer science, a microkernel is the near minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). These mechanisms …   Wikipedia

  • Microkernel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Mikrokernel (oder auch Mikrokern) bezeichnet einen… …   Deutsch Wikipedia

  • Microkernel — Se conoce como microkernel al modelo de kernel de sistema operativo que consiste en distribuir en porciones de código modulares y sencillas las operaciones necesarias para construir una máquina virtual sobre el hardware de un sistema de cómputo.… …   Enciclopedia Universal

  • microkernel —    An alternative operatingsystem kernel design developed by researchers at Carnegie Mellon University and implemented in the Mach operating system.    Traditionally, the kernel has been a monolithic piece of the operating system, resident in… …   Dictionary of networking

  • microkernel — mikrobranduolys statusas T sritis informatika apibrėžtis Operacinės sistemos struktūrizuoto ↑branduolio pagrindinė dalis. Branduolys branduolyje. Tai branduolio dalis, į kurią sudėtos pačios svarbiausios branduolio funkcijos (sinchronizavimo,… …   Enciklopedinis kompiuterijos žodynas

  • Microkernel — Noyau de système d exploitation Pour les articles homonymes, voir noyau. Un noyau de système d’exploitation (abrégé noyau, ou kernel en anglais, de l allemand kern), est la partie fondamentale de certains systèmes d’exploitation. Il gère les… …   Wikipédia en Français

  • microkernel — noun A minimal operating system kernel offering basic mechanisms rather than abstract services …   Wiktionary

  • microkernel — ● ►en n. m. ►SYSTM Voir micronoyau …   Dictionnaire d'informatique francophone

  • microkernel — noun Computing a small modular part of an operating system kernel which implements its basic features …   English new terms dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”