Den Dmitry Zavalishin huet iwwer e Projet geschwat fir eng virtuell Maschinn vum Phantom Betriebssystem ze portéieren fir am Genode Microkernel OS Ëmfeld ze schaffen. Den Interview stellt fest datt d'Haaptversioun vu Phantom scho prett ass fir Pilotprojeten, an d'Genode-baséiert Versioun wäert fäerdeg sinn fir d'Enn vum Joer ze benotzen. Zur selwechter Zäit gouf op der Websäit vum Projet nëmmen e funktionnable konzeptuellen Prototyp ugekënnegt, d'Stabilitéit an d'Funktionalitéit vun deenen net op en Niveau bruecht gi fir industriell Notzung, an ënner den direkten Pläng d'Bildung vun enger Alpha Versioun gëeegent fir Experimenter vun Drëtt-Partei Entwéckler ernimmt.
De Projet Code gëtt ënner der LGPL Lizenz verdeelt, awer déi lescht Ännerung am Haaptrepository gouf vum November 2019 datéiert. Ëffentlech Aktivitéit am Zesummenhang mam Projet ass an engem Repository mat enger Gabel fir Genode konzentréiert, déi zënter Dezember 2020 vum Anton Antonov, Student vun der Innopolis Universitéit erhale gëtt.
Zënter de fréien 2000er huet de Phantom Betribssystem als perséinleche Projet vum Dmitry Zavalishin entwéckelt, an zënter 2010 ass et ënner dem Flillek vun der Digital Zone Firma, déi vum Dmitry geschaf gouf, transferéiert ginn. De System ass bemierkenswäert fir säi Fokus op héich Zouverlässegkeet an d'Benotzung vum Konzept vun "Alles ass en Objet" amplaz vun "Alles ass eng Datei", wat Iech erlaabt ouni d'Benotzung vu Dateien ze maachen wéinst der Erhaalung vum Erënnerungszoustand an e kontinuéierleche Zyklus vun der Aarbecht. Uwendungen am Phantom ginn net ofgeschloss, awer nëmmen aus dem ënnerbrach Punkt suspendéiert a weidergefouert. All Variablen an Datestrukture kënne gespäichert ginn sou laang wéi d'Applikatioun brauch, an de Programméierer brauch keng speziell Suergen iwwer d'Späichere vun den Donnéeën.
Uwendungen am Phantom ginn an Bytecode kompiléiert, deen an enger Stackbaséierter virtueller Maschinn leeft, ähnlech wéi d'Java virtuell Maschinn. Déi virtuell Maschinn garantéiert d'Persistenz vun der Applikatioun Erënnerung - de System setzt periodesch Schnappschëss vum Zoustand vun der virtueller Maschinn op permanent Medien zréck. No engem Ofschloss oder Crash kann d'Aarbecht weidergoen aus dem leschte gespäicherten Erënnerungssnapshot. Snapshots ginn am asynchrone Modus erstallt an ouni d'Operatioun vun der virtueller Maschinn ze pausen, awer eng eemoleg Slice gëtt am Snapshot opgeholl, wéi wann d'virtuell Maschinn gestoppt gouf, op Disk gespäichert an erëm ugefaang.
All Applikatiounen lafen an engem gemeinsame globalen Adressraum, wat de Besoin fir Kontextschalter tëscht dem Kernel an Uwendungen eliminéiert, an och d'Interaktioun tëscht Applikatiounen, déi an der virtueller Maschinn lafen, vereinfacht a beschleunegt däitlech a beschleunegt d'Objeten iwwer Referenzpassage. Zougang Trennung gëtt um Niveau vun Objeten duerchgefouert, Referenzen op déi nëmmen duerch Uruff déi entspriechend Methoden kritt kënne ginn (et gëtt keng Zeigerarithmetik). All Donnéeën, inklusiv numeresch Wäerter, ginn als separat Objete veraarbecht.
Fir d'Applikatioun schéngt d'Aarbecht kontinuéierlech ze sinn an hänkt net vun OS Neistarten, Crashen a Computerausschalten of. De Programméierungsmodell fir Phantom gëtt verglach mam Laafen vun engem ni-stoppende Applikatiounsserver fir eng Objektprogramméierungssprooch. Java Programmer op Phantom portéieren gëtt als ee vun den Haaptmethoden vun der Applikatiounsentwécklung ugesinn, déi duerch d'Ähnlechkeet vun der Phantom virtueller Maschinn zum JVM erliichtert gëtt. Zousätzlech zum Bytecode Compiler fir d'Java Sprooch, plangt de Projet Compilere fir Python a C # ze kreéieren, wéi och en Iwwersetzer aus dem WebAssembly Zwëschencode ëmzesetzen.
Fir Operatiounen auszeféieren déi héich Leeschtung erfuerderen, sou wéi Video- an Audioveraarbechtung, ass et méiglech binär Objekter mat gebiertege Code an getrennten Threads auszeféieren (LLVM gëtt benotzt fir binär Objekter ze sammelen). Fir Zougang zu Low-Level Kernel Servicer ze kréien, ginn e puer VM Klassen ("intern" Klassen) um OS Kernel Niveau implementéiert. Fir Linux Uwendungen auszeféieren, gëtt eng POSIX Schicht zur Verfügung gestallt, déi Uruff emuléiert déi néideg ass fir d'Operatioun vun Unix Prozesser (Persistenz fir Uwendungen an der POSIX Schicht ass nach net zur Verfügung gestallt).
Traditionell Phantom OS, zousätzlech zu der virtueller Maschinn, enthält säin eegene Kernel mat der Ëmsetzung vun Threads, e Memory Manager, e Gerempels Sammler, Synchroniséierungsmechanismen, en Input / Output System a Chauffeuren fir mat Hardware ze schaffen, wat de Projet wesentlech komplizéiert komplizéiert. zu Bereetschaft fir verbreet Benotzung. Separat ginn Komponente mat engem Netzwierkstack, engem Grafik-Subsystem an engem User-Interface entwéckelt. Et ass bemierkenswäert datt de Grafik-Subsystem an de Fënstermanager um Kernelniveau funktionnéieren.
Fir d'Stabilitéit, d'Portabilitéit an d'Sécherheet vum Projet z'erhéijen, gouf e Versuch gemaach d'Phantom virtuell Maschinn ze portéieren fir mat Komponente vum oppene Mikrokernel Betriebssystem Genode ze schaffen, d'Entwécklung vun deem vun der däitscher Firma Genode Labs iwwerwaacht gëtt. Fir déi, déi mam Phantom op Genode experimentéiere wëllen, ass e speziell Docker-baséiert Build-Ëmfeld virbereet ginn.
D'Benotzung vun Genode mécht et méiglech scho bewisen Mikrokernelen a Chauffeuren ze benotzen, souwéi d'Chauffeuren an de Benotzerraum ze réckelen (an hirer aktueller Form sinn d'Treiber an C geschriwwe ginn an um Phantom Kernel Niveau ausgefouert). Besonnesch wäert et méiglech sinn de seL4 Mikrokernel ze benotzen, deen mathematesch Zouverlässegkeet iwwerpréift huet, bestätegen datt d'Ëmsetzung voll mat de Spezifikatioune entsprécht an der formeller Sprooch spezifizéiert. D'Méiglechkeet fir en ähnleche Beweis vun Zouverlässegkeet fir d'Phantom virtuell Maschinn ze preparéieren gëtt berücksichtegt, wat d'Verifizéierung vum ganze OS Ëmfeld erlaabt.
Den Haaptapplikatiounsberäich fir den Genode-baséierten Hafen ass d'Entwécklung vun Uwendungen fir verschidden industriell an embedded Apparater. De Moment ass eng Rei vun Ännerungen fir d'virtuell Maschinn scho virbereet ginn a Bindungen goufen derbäigesat, déi uewen op Genode schaffen fir d'Persistenz vu Kernelkomponenten an den Haaptschnëttniveauen ze garantéieren. Et gëtt bemierkt datt d'Phantom virtuell Maschinn schonn an der 64-Bit Genode-Ëmfeld funktionéiere kann, awer et ass nach ëmmer néideg fir de VM am Persistenzmodus ëmzesetzen, de Chauffer-Subsystem ëmzeschaffen an d'Komponente mat engem Netzwierkstack an engem Grafik-Subsystem fir Genode unzepassen.
Source: opennet.ru