Operační systémy jsou jednou z nejdůležitějších součástí současného digitálního světa. Každý den zajišťují fungování počítačů, serverů i dalších zařízení a rozhodují nejen o výkonu, ale také o bezpečnosti, stabilitě a způsobu práce s daty. Zatímco většina uživatelů dnes používá několik zavedených platforem, vznikají také nové projekty, které se snaží přemýšlet o fungování operačního systému jiným způsobem.
Jedním z nich je český projekt LiberSystem od společnosti LiberSoft. Ten nevzniká jako další linuxová distribuce, která by pouze upravovala existující systém, ale jako samostatný operační systém s vlastní architekturou a odlišným přístupem k bezpečnosti, aplikacím i práci s daty.
Cílem projektu je vytvořit moderní otevřenou platformu, která bude bezpečná už od základního návrhu. LiberSystem proto využívá několik principů, které se v klasických operačních systémech objevují méně často – například capability model, mikrojádrovou architekturu, programovací jazyk Rust nebo aplikační prostředí založené na technologii WebAssembly.
Více informací o projektu je dostupných na https://libersystem.com. Informace o společnosti LiberSoft jsou k dispozici na https://libersoft.org.
Bezpečnost jako základní princip operačního systému
Bezpečnost operačních systémů se v posledních letech stává jedním z nejdůležitějších témat informačních technologií. Rostoucí počet zařízení připojených k internetu, práce s citlivými daty a stále složitější softwarové prostředí znamenají, že tradiční přístupy k zabezpečení často nestačí.
LiberSystem se snaží tento problém řešit už na úrovni samotné architektury. Bezpečnost zde není pouze dodatečnou funkcí, kterou lze později doplnit pomocí aktualizací nebo bezpečnostních nástrojů. Je součástí návrhu celého systému.
Jedním z hlavních prvků je takzvaný capability model. Tento přístup mění způsob, jakým operační systém pracuje s oprávněními. Místo široce nastavených přístupů, kdy aplikace často získává více práv, než skutečně potřebuje, pracuje capability model s přesně definovanými schopnostmi.
Každá aplikace nebo služba tak může získat pouze konkrétní oprávnění k určitému zdroji. Nemá automaticky přístup ke všem částem systému, ale pouze k těm, které potřebuje pro svou činnost.
Tento model přináší několik výhod. Pokud například dojde k chybě v aplikaci, její dopad může být omezen pouze na přidělené schopnosti. Útočník nebo škodlivý program tak nemá automaticky možnost ovládnout celý systém.
Mikrojádro místo tradičního návrhu jádra
Dalším důležitým prvkem LiberSystemu je využití mikrojádrové architektury. Ta se liší od klasického přístupu používaného v mnoha současných operačních systémech.
V tradičním monolitickém jádře běží velké množství systémových funkcí přímo v prostoru jádra. Tento přístup může být výkonný, ale zároveň znamená, že chyba v jedné části může ovlivnit celý systém.
Mikrojádro naopak ponechává v nejnižší vrstvě pouze základní nezbytné funkce. Ostatní služby, například ovladače nebo další systémové komponenty, mohou fungovat odděleně.
Výhodou je lepší izolace jednotlivých částí systému, vyšší stabilita a jednodušší možnost úprav. Pokud například dojde k problému v určité službě, nemusí to znamenat pád celého operačního systému.
Tento přístup odpovídá filozofii LiberSystemu, která se snaží vytvořit systém, kde jsou jednotlivé části jasně oddělené a mají přesně definované role.
Rust jako jazyk bezpečného systémového vývoje
Významnou vlastností LiberSystemu je také skutečnost, že je vyvíjen v programovacím jazyce Rust. Ten se v posledních letech stále více používá právě v oblastech, kde je důležitá bezpečnost a spolehlivost.
Rust byl navržen tak, aby pomáhal předcházet běžným chybám při práci s pamětí. Právě chyby související s nesprávným přístupem k paměti patří dlouhodobě mezi časté příčiny bezpečnostních problémů systémového softwaru.
Díky vlastnostem Rustu může LiberSystem využívat typovou a paměťovou bezpečnost. Typový systém pomáhá odhalovat chyby už během vývoje a pravidla práce s pamětí snižují riziko nebezpečných stavů při běhu programu.
Použití Rustu tak není pouze technologickou volbou, ale součástí celkové strategie projektu. Cílem je vytvořit operační systém, kde bezpečnost vychází přímo ze způsobu jeho vývoje.
Jiný přístup než Linux: nejen „všechno je soubor“
LiberSystem navazuje na myšlenky otevřeného softwaru, ale nechce být kopií existujících řešení. Nejvýraznějším příkladem je odlišný přístup k organizaci systému oproti tradičním unixovým principům.
Linux dlouhodobě využívá filozofii „všechno je soubor“. Tento princip měl velký význam pro rozvoj unixových systémů a přinesl mnoho výhod. LiberSystem však přichází s jiným návrhem.
Místo jednotného přístupu používá oddělené struktury pro různé typy prostředků. Jednotlivé oblasti systému mohou mít vlastní logické prostory, například vol:// pro práci se svazky nebo úložištěm a dev:// pro zařízení.
Díky tomu je možné lépe rozlišovat jednotlivé typy objektů v systému a přesněji řídit jejich použití. Operační systém tak nemusí všechny informace převádět do stejného modelu.
Odlišný je také přístup k reprezentaci dat. LiberSystem není založen pouze na principu „všechno je text“. Podporuje více způsobů práce s informacemi podle konkrétní potřeby.
Vedle klasické textové reprezentace počítá například s formáty JSON nebo CBOR, které umožňují efektivnější práci se strukturovanými daty. Jednotlivé části systému tak mohou komunikovat způsobem, který odpovídá jejich účelu.
WebAssembly jako základ moderních aplikací
Jedním z nejzajímavějších směrů LiberSystemu je aplikační model založený na technologii WebAssembly.
Tradičně musí vývojáři připravovat různé verze aplikací pro různé procesorové platformy. Program vytvořený pro jednu architekturu nemusí automaticky fungovat na jiné.
LiberSystem se snaží tento problém řešit jiným způsobem. Díky WebAssembly modelu mohou aplikace fungovat jako přenositelný kód, který lze spustit na různých platformách bez nutnosti vytvářet samostatné verze.
Výsledkem má být možnost vytvořit jednu aplikaci, respektive jednu binární podobu aplikace, která bude fungovat napříč podporovanými platformami.
Tento přístup může výrazně zjednodušit vývoj i distribuci softwaru a zároveň zapadá do filozofie systému, který se snaží oddělovat jednotlivé části a zvyšovat bezpečnost.
Multiplatformní systém pro různé typy zařízení
LiberSystem není zaměřen pouze na jeden typ hardwaru. Projekt počítá s podporou více procesorových architektur, mezi které patří například x86_64, ARM64 a RISC-V.
Architektura x86_64 je běžně využívána v klasických osobních počítačích. ARM64 se stále více prosazuje v mobilních zařízeních, moderních počítačích i úsporných serverových řešeních. RISC-V představuje otevřenou procesorovou architekturu, která získává pozornost díky možnosti vlastního návrhu a širší dostupnosti.
Podpora více platforem je důležitá nejen z hlediska současného využití, ale také kvůli dlouhodobé nezávislosti projektu na jediné technologii.
Aktuální fáze vývoje a budoucnost projektu
LiberSystem se v současnosti nachází ve fázi aktivního vývoje. Projekt není zaměřen pouze na vytvoření základního jádra, ale také na budování celého prostředí, které umožní praktické využití systému.
Vývojáři pracují na jednotlivých systémových komponentách, podpoře hardwarových platforem, nástrojích pro vývojáře i prostředí pro aplikace založené na WebAssembly.
Dlouhodobým cílem není pouze vytvořit další operační systém, ale vybudovat kompletní technologickou platformu, která nabídne bezpečné a otevřené prostředí pro uživatele i vývojáře.
LiberSystem chce ukázat, že moderní operační systém nemusí pouze pokračovat v desítky let starých principech. Nové technologie umožňují navrhovat systémy, které mohou být bezpečnější, lépe oddělené a připravené na budoucí požadavky.
LiberSystem jako alternativa nové generace
Operační systém LiberSystem představuje ambiciózní projekt, který se snaží přinést vlastní pohled na fungování počítačových systémů. Nejde pouze o další variantu existující platformy, ale o snahu vytvořit nový základ postavený na bezpečnosti, transparentnosti a moderním návrhu.
Kombinace capability modelu, mikrojádra, jazyka Rust, podpory více procesorových architektur, různých datových reprezentací a WebAssembly aplikací ukazuje směr, kterým se projekt vydává.
Budoucnost LiberSystemu bude záviset na dalším vývoji, rozšiřování funkcí a vytvoření širšího ekosystému. Už samotný přístup projektu ale ukazuje, že oblast operačních systémů stále nabízí prostor pro nové myšlenky a inovace.
Více informací o projektu je dostupných na https://libersystem.com.
