Phantom US, prendrà la base de Genode i que estarà llest per a finals d'any

fa poc es va donar a conèixer informació sobre el projecte per portar la màquina virtual del sistema operatiu Phantom per treballar a l'entorn del sistema operatiu microkernel Genode.

La informació va ser donada a conèixer en una entrevista en la qual s'assenyala que la versió principal de Phantom OS ja està llesta per a projectes pilot, i la versió basada en Genode estarà llesta per al seu ús a finals d'any. Alhora, fins ara només s'ha anunciat un prototip conceptual viable al lloc web del projecte, l'estabilitat i funcionalitat del qual no s'han portat a un nivell adequat per a ús industrial, i entre els plans més propers hi ha la formació d'una versió alfa.

Des de principis de la dècada del 2000, el sistema operatiu Phantom s'ha desenvolupat com un projecte personal de Dmitry Zavalishin i des del 2010 es transfereix sota l'ala de l'empresa Digital Zone creada per Dmitry.

el sistema es destaca pel seu enfocament a l'alta confiabilitat i l'ús del concepte de «tot és un objecte» en lloc de «tot és un arxiu», el que elimina lús de fitxers a causa de la preservació de lestat de la memòria i un cicle continu de treball.

Les aplicacions a Phantom no s'acaben, sinó que només es pausen i es reprenen des d'on es van quedar. Totes les variables i estructures de dades es poden emmagatzemar durant el temps que l'aplicació ho necessiti, i el programador no ha de tenir una cura especial per desar les dades.

Les aplicacions a Phantom es compilen en bytecode, que sexecuta en una màquina virtual basada en pila, similar a la màquina virtual de Java. La màquina virtual proporciona persistència de la memòria de laplicació: el sistema descarrega periòdicament instantànies de lestat de la màquina virtual en mitjans persistents.

Després d'un apagat o bloqueig, el treball pot continuar a partir de la darrera instantània de memòria guardada. Les instantànies es creen de forma asíncrona i sense suspendre la màquina virtual, però una instantània captura un segment únic, com si la màquina virtual s'aturés, es guardés al disc i s'iniciés de nou.

Totes les aplicacions s'executen en un espai d'adreces global comú, el que elimina la necessitat de canvis de context entre el kernel i les aplicacions, i simplifica i accelera enormement la comunicació entre les aplicacions que sexecuten en una màquina virtual que pot intercanviar objectes a través del pas de referència.

La migració de programes Java per a Phantom es considera una de les principals formes de desenvolupar aplicacions, cosa que es veu facilitada per la similitud de la màquina virtual Phantom amb la JVM. A més del compilador bytecode per al llenguatge Java, el projecte preveu la creació de compiladors per a Python i C#, així com la implementació d'un traductor a partir del codi intermedi de WebAssembly.

Phantom OS tradicional, a més de la màquina virtual, inclou el vostre propi kernel amb la implementació de fils, un administrador de memòria, un recol·lector d'escombraries, mecanismes de sincronització, un sistema d'E/S i controladors per treballar amb equips, cosa que complica significativament portar el projecte a la preparació per a l'ús generalitzat.

Per separat, es desenvolupen components amb una pila de xarxa, un subsistema gràfic i una interfície d'usuari. Cal destacar que el subsistema de gràfics i l'administrador de finestres funcionen a nivell del nucli.

Per millorar l'estabilitat, la portabilitat i la seguretat del projecte, es va intentar traslladar la màquina virtual Phantom perquè funcioni utilitzant els components del sistema operatiu de microkernel obert Genode, el desenvolupament del qual està supervisat per l'empresa alemanya Genode Labs. Per a aquells que vulguin experimentar amb Phantom basat en Genode, s'ha preparat un entorn de construcció especial basat en Docker.

L'ús de Genode farà possible l'ús de micronuclis i controladors ja provats, així com portar els controladors a lespai de lusuari (en la seva forma actual, els controladors estan escrits en C i sexecuten en el nivell del kernel Phantom).

En particular, serà possible utilitzar el microkernel seL4, que ha passat la verificació de confiabilitat matemàtica, fet que confirma que la implementació compleix completament les especificacions especificades en el llenguatge formal. S'està considerant la possibilitat de preparar una prova de confiança similar per a la màquina virtual Phantom, que permetrà verificar tot l'entorn del sistema operatiu.

L'àrea d'aplicació principal del port basat a Genode és el desenvolupament d'aplicacions per a diversos dispositius industrials i integrats.

Actualment, ja s'ha preparat un conjunt de canvis per a la màquina virtual i s'han afegit enllaços que s'executen sobre Genode per als components de persistència del nucli i les principals interfícies de baix nivell.

S'observa que la màquina virtual Phantom ja pot funcionar en un entorn Genode de 64 bits, però la VM encara no s'ha implementat en mode de persistència, el subsistema del controlador s'ha de reelaborar i els components amb una pila de xarxa i un subsistema de gràfics tenen per a ser adaptat per a Genode.

Si vols conèixer més sobre la feina del sistema, pots consultar els detalls al següent enllaç.


Deixa el teu comentari

La seva adreça de correu electrònic no es publicarà. Els camps obligatoris estan marcats amb *

*

*

  1. Responsable de les dades: AB Internet Networks 2008 SL
  2. Finalitat de les dades: Controlar l'SPAM, gestió de comentaris.
  3. Legitimació: El teu consentiment
  4. Comunicació de les dades: No es comunicaran les dades a tercers excepte per obligació legal.
  5. Emmagatzematge de les dades: Base de dades allotjada en Occentus Networks (UE)
  6. Drets: En qualsevol moment pots limitar, recuperar i esborrar la teva informació.