onlangs Informatie over het project is vrijgegeven om de virtuele machine van het besturingssysteem te porten Fantoom om aan te werken de microkernel-besturingssysteemomgeving genode.
De informatie werd onthuld in een interview waarin wordt opgemerkt dat de hoofdversie van Phantom OS is nu klaar voor proefprojecten, en de op Genode gebaseerde versie zal tegen het einde van het jaar klaar zijn voor gebruik. Tegelijkertijd is tot nu toe alleen een levensvatbaar conceptueel prototype aangekondigd op de projectwebsite, waarvan de stabiliteit en functionaliteit niet op een niveau zijn gebracht dat geschikt is voor industrieel gebruik, en een van de meest nabije plannen is de vorming van een versie alpha .
Sinds het begin van de jaren 2000 is het Phantom OS ontwikkeld als een persoonlijk project van Dmitry Zavalishin en sinds 2010 wordt het overgedragen onder de vleugels van het door Dmitry opgerichte bedrijf Digital Zone.
Het systeem staat bekend om zijn focus op hoge betrouwbaarheid en het gebruik van het "alles is een object"-concept in plaats van "alles is een bestand", wat het gebruik van bestanden elimineert vanwege het behoud van de geheugenstatus en een continue werkcyclus.
Apps in Phantom zijn niet beëindigd, alleen gepauzeerd en hervat van waar ze verbleven. Alle variabelen en datastructuren kunnen worden opgeslagen zolang de applicatie ze nodig heeft, en de programmeur hoeft geen speciale zorg te besteden aan het opslaan van de data.
De toepassingen in Phantom zijn gecompileerd in bytecode, die wordt uitgevoerd in een op stapels gebaseerde virtuele machine, vergelijkbaar met de Java-virtuele machine. De virtuele machine zorgt voor persistentie van het applicatiegeheugen: het systeem downloadt periodiek momentopnamen van de status van de virtuele machine naar persistente media.
Na een shutdown of crash, het werk kan doorgaan vanaf de laatst opgeslagen geheugensnapshot. Momentopnamen worden asynchroon gemaakt en zonder de virtuele machine te onderbreken, maar een momentopname legt een enkel segment vast, alsof de virtuele machine is gestopt, op schijf is opgeslagen en opnieuw is gestart.
Alle applicaties draaien in een gemeenschappelijke globale adresruimte., wat de noodzaak voor contextwisselingen tussen de kernel en applicaties elimineert, en de communicatie tussen applicaties die op een virtuele machine draaien die objecten kan uitwisselen aanzienlijk vereenvoudigt en versnelt.
Java-programma's migreren naar Phantom overweeg eens van de belangrijkste manieren om applicaties te ontwikkelen, wat wordt vergemakkelijkt door de gelijkenis van de virtuele Phantom-machine met de JVM. Naast de bytecode-compiler voor de Java-taal, voorziet het project in de creatie van compilers voor Python en C#, evenals in de implementatie van een vertaler uit de intermediaire code van WebAssembly.
Traditioneel Phantom OS, plus virtuele machine, bevat zijn eigen kernel met thread-implementatieeen geheugenbeheerder, een vuilnisman, synchronisatiemechanismen, een I/O-systeem en stuurprogramma's voor het werken met apparatuur, die het project gereed maken voor wijdverbreid gebruik aanzienlijk bemoeilijken.
Los daarvan worden componenten met een netwerkstack, een grafisch subsysteem en een gebruikersinterface ontwikkeld. Opgemerkt moet worden dat het grafische subsysteem en de windowmanager op kernelniveau werken.
Om de stabiliteit, draagbaarheid en veiligheid van het project te verbeteren, geprobeerd om de virtuele Phantom-machine te porten om te werken met behulp van de componenten open microkernel-besturingssysteem genode, waarvan de ontwikkeling wordt begeleid door het Duitse bedrijf Genode Labs. Voor wie wil experimenteren met Phantom op basis van Genode is er een speciale bouwomgeving op basis van Docker voorbereid.
Het gebruik van Genode maakt het mogelijk om reeds bewezen microkernels en controllers te gebruiken, evenals het brengen van de stuurprogramma's naar de gebruikersruimte (in hun huidige vorm zijn de stuurprogramma's geschreven in C en draaien ze op het Phantom-kernelniveau).
In het bijzonder zal het mogelijk zijn om de seL4-microkernel te gebruiken, die de wiskundige betrouwbaarheidscontrole heeft doorstaan, wat bevestigt dat de implementatie volledig voldoet aan de specificaties die in de formele taal zijn gespecificeerd. Er wordt overwogen om een vergelijkbare betrouwbaarheidstest voor de virtuele Phantom-machine voor te bereiden, waarmee de volledige besturingssysteemomgeving kan worden geverifieerd.
Het belangrijkste toepassingsgebied van de op Genode gebaseerde poort is de ontwikkeling van toepassingen voor verschillende industriële en embedded apparaten.
nog, er is al een wijzigingenset voorbereid voor de virtuele machine en hooks zijn toegevoegd die bovenop Genode draaien voor de persistentiecomponenten van de kernel en de belangrijkste low-level interfaces.
Opgemerkt wordt dat de Phantom VM al kan werken in een Genode 64-bits omgeving, maar de VM is nog niet geïmplementeerd in de persistentiemodus, het stuurprogramma-subsysteem moet worden herwerkt en componenten met een netwerkstack en grafisch subsysteem moeten worden aangepast voor Genode.
Als u meer wilt weten over de werking van het systeem, kunt u de details raadplegen in de volgende link.