L4 (jádro)

L4
Web L4 Hq (anglicky)
Vyvíjí Jochen Liedtke a další
Rodina OS Unix-like a další
Druh Svobodný software
Aktuální verze 0.4 / 15. července 2013 (L4Ka::Pistachio)
Podporované platformy x86,
x86-64,
PowerPC (L4Ka::Pistachio)
MIPS (L4/MIPS)
Alpha (L4/Alpha)
Typ jádra mikrojádro druhé generace
Programovací jazyk C++[1], assembler (L4Ka::Pistachio)
assembler[2] (originální L4)
Licence Svobodný software, BSD licence (L4Ka::Pistachio)
Stav Aktivní

L4 je rodina mikrojader druhé generace nejčastěji používaných pro implementaci un*xových operačních systémů, ale používaných také v různých jiných systémech.

L4 byl stejně jako jeho předchůdce L3 vytvořen německým počítačovým vědcem Jochenem Liedtkem jako odpověď na slabý výkon raných mikrojaderných operačních systémů. Liedtke se domníval, že mikrojádro použitelné pro praxi vznikne spíše na základě systému navrženého pro vysoký výkon, než na základě systému navrženého pro jiné cíle. Jeho původní implementace v ručně psaném assembleru procesoru Intel 80386 vyvolala v počítačovém průmyslu značný zájem. L4 byl už od svého uvedení vyvíjen s důrazem na bezpečnost, izolaci procesů a robustnost.

Mikrojádro L4 se dočkalo nejrůznějších reimplementací původního binárního rozhraní (ABI) a vzniklo tak mimo jiné L4Ka::Hazelnut a L4Ka::Pistachio (Uni Karlsruhe), L4/Alpha a L4/MIPS (UNSW) a L4/Fiasco (Technická univerzita Drážďany). Z tohoto důvodu je název L4 vnímán obecněji a je nyní používán pro celou rodinu mikrojader zahrnující různé verze jaderného rozhraní.

L4 je široce rozšířeno. Jedné varianty, OKL4 od Open Kernel Labs, bylo prodáno v miliardách mobilních zařízení.[3]

Jiné Jazyky