L4 (jádro)
jádro operačního systému GNU Hurd NG / From Wikipedia, the free encyclopedia
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.
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 | assembler[1] (originální L4) C++[2], assembler (L4Ka::Pistachio) C++[3], assembler (L4/Fiasco) |
Licence | Svobodný software, BSD licence (L4Ka::Pistachio) |
Stav | Aktivní |
Oficiální web | www.l4ka.org L4 Hq (archiv) |
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 (Technologický institut v 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í.[4]