Dmitry Zavalishin tkellem dwar proġett għall-port ta 'magna virtwali tas-sistema operattiva Phantom biex taħdem fl-ambjent Genode microkernel OS. L-intervista tinnota li l-verżjoni ewlenija ta 'Phantom hija diġà lesta għal proġetti pilota, u l-verżjoni bbażata fuq Genode se tkun lesta għall-użu fl-aħħar tas-sena. Fl-istess ħin, tħabbar biss prototip kunċettwali li jaħdem fuq il-websajt tal-proġett, li l-istabbiltà u l-funzjonalità tiegħu ma nġiebux għal livell adattat għall-użu industrijali, u fost il-pjanijiet immedjati l-formazzjoni ta 'verżjoni alfa adattata għall-esperimenti minn żviluppaturi ta 'partijiet terzi huwa msemmi.
Il-kodiċi tal-proġett huwa mqassam taħt il-liċenzja LGPL, iżda l-aħħar bidla fir-repożitorju prinċipali kienet iddatata Novembru 2019. L-attività pubblika relatata mal-proġett hija kkonċentrata f’repożitorju b’furketta għal Genode, li ilu jinżamm minn Diċembru 2020 minn Anton Antonov, student mill-Università ta’ Innopolis.
Mill-bidu tas-snin 2000, is-sistema operattiva Phantom ilha tiżviluppa bħala proġett personali ta 'Dmitry Zavalishin, u mill-2010 ġiet trasferita taħt il-ġwienaħ tal-kumpanija Żona Diġitali maħluqa minn Dmitry. Is-sistema hija notevoli għall-fokus tagħha fuq affidabbiltà għolja u l-użu tal-kunċett ta '"kollox huwa oġġett" minflok "kollox huwa fajl", li jippermettilek tagħmel mingħajr l-użu ta' fajls minħabba l-preservazzjoni tal-istat tal-memorja u ċiklu kontinwu ta’ xogħol. L-applikazzjonijiet f'Phantom ma jiġux mitmuma, iżda huma sospiżi biss u jerġgħu jibdew mill-punt interrott. Il-varjabbli u l-istrutturi tad-dejta kollha jistgħu jinħażnu sakemm l-applikazzjoni teħtieġ, u l-programmatur m'għandux għalfejn jinkwieta speċifikament dwar is-salvataġġ tad-dejta.
L-applikazzjonijiet f'Phantom huma kkompilati f'bytecode, li jaħdem f'magna virtwali bbażata fuq munzell, simili għall-magna virtwali Java. Il-magna virtwali tiżgura l-persistenza tal-memorja tal-applikazzjoni - is-sistema perjodikament tirrisettja snapshots tal-istat tal-magna virtwali għal midja permanenti. Wara għeluq jew ħabta, ix-xogħol jista' jkompli jibda mill-aħħar snapshot tal-memorja salvata. Snapshots huma maħluqa f'modalità asinkronika u mingħajr ma titwaqqaf l-operazzjoni tal-magna virtwali, iżda porzjon ta 'darba tiġi rreġistrata fl-istampa, bħallikieku l-magna virtwali twaqqaf, issejvjata fuq disk u bdiet mill-ġdid.
L-applikazzjonijiet kollha jaħdmu fi spazju ta 'indirizz globali komuni, li jelimina l-ħtieġa għal swiċċijiet ta' kuntest bejn il-qalba u l-applikazzjonijiet, u wkoll jissimplifika u jħaffef b'mod sinifikanti l-interazzjoni bejn l-applikazzjonijiet li jaħdmu fil-magna virtwali, li jistgħu jiskambjaw oġġetti permezz ta 'passaġġ ta' referenza. Is-separazzjoni tal-aċċess titwettaq fil-livell tal-oġġetti, li r-referenzi għalihom jistgħu jinkisbu biss permezz tas-sejħa tal-metodi xierqa (m'hemm l-ebda aritmetika tal-pointer). Kwalunkwe data, inklużi valuri numeriċi, tiġi pproċessata bħala oġġetti separati.
Għall-applikazzjoni, ix-xogħol jidher li huwa kontinwu u ma jiddependix fuq reboots tal-OS, ħabtiet, u għeluq tal-kompjuters. Il-mudell ta 'programmazzjoni għal Phantom huwa mqabbel mat-tmexxija ta' server ta 'applikazzjoni li ma jieqaf qatt għal lingwa ta' programmar ta 'oġġett. Il-porting tal-programmi Java għal Phantom huwa meqjus bħala wieħed mill-metodi ewlenin ta 'żvilupp ta' applikazzjoni, li huwa ffaċilitat mix-xebh tal-magna virtwali Phantom mal-JVM. Minbarra l-kompilatur tal-bytecode għal-lingwa Java, il-proġett jippjana li joħloq kompilaturi għal Python u C#, kif ukoll jimplimenta traduttur mill-kodiċi intermedju WebAssembly.
Biex twettaq operazzjonijiet li jeħtieġu prestazzjoni għolja, bħall-ipproċessar tal-vidjo u tal-awdjo, huwa possibbli li tħaddem oġġetti binarji b'kodiċi nattiv f'ħjut separati (LLVM jintuża biex jiġbor oġġetti binarji). Biex taċċessa servizzi tal-kernel ta' livell baxx, xi klassijiet VM ("klassijiet interni") huma implimentati fil-livell tal-kernel tal-OS. Biex tħaddem applikazzjonijiet Linux, jiġi pprovdut saff POSIX li jimita s-sejħiet meħtieġa għat-tħaddim tal-proċessi Unix (il-persistenza għall-applikazzjonijiet fis-saff POSIX għadha mhix ipprovduta).
Tradizzjonali Phantom OS, minbarra l-magna virtwali, jinkludi l-qalba tagħha stess bl-implimentazzjoni ta 'ħjut, maniġer tal-memorja, kollettur taż-żibel, mekkaniżmi ta' sinkronizzazzjoni, sistema ta 'input/output u sewwieqa biex taħdem ma' ħardwer, li tikkomplika b'mod sinifikanti t-twettiq tal-proġett għall-prontezza għal użu mifrux. Separatament, qed jiġu żviluppati komponenti b'munzell tan-netwerk, sottosistema tal-grafika u interface tal-utent. Ta 'min jinnota li s-sottosistema tal-grafika u l-maniġer tat-twieqi joperaw fil-livell tal-qalba.
Biex tiżdied l-istabbiltà, il-portabbiltà u s-sigurtà tal-proġett, sar tentattiv biex il-magna virtwali Phantom tittrasferixxi biex taħdem bl-użu ta 'komponenti tas-sistema operattiva mikrokernel miftuħa Genode, li l-iżvilupp tagħha huwa sorveljat mill-kumpanija Ġermaniża Genode Labs. Għal dawk li jridu jesperimentaw bil-Phantom ibbażat fuq Genode, ġie ppreparat ambjent ta 'bini speċjali bbażat fuq Docker.
L-użu ta 'Genode jagħmilha possibbli li jintużaw mikrokernels u sewwieqa diġà ppruvati, kif ukoll iċċaqlaq is-sewwieqa fl-ispazju tal-utent (fil-forma attwali tagħhom, is-sewwieqa huma miktuba f'Ċ u eżegwiti fil-livell tal-qalba Phantom). B'mod partikolari, se jkun possibbli li jintuża l-mikrokernel seL4, li jkun għadda minn verifika tal-affidabbiltà matematika, li tikkonferma li l-implimentazzjoni tikkonforma bis-sħiħ mal-ispeċifikazzjonijiet speċifikati fil-lingwa formali. Qed tiġi kkunsidrata l-possibbiltà li titħejja prova simili ta 'affidabbiltà għall-magna virtwali Phantom, li tippermetti l-verifika tal-ambjent kollu tal-OS.
Iż-żona ewlenija ta 'applikazzjoni għall-port ibbażat fuq Genode hija l-iżvilupp ta' applikazzjonijiet għal diversi apparati industrijali u inkorporati. Bħalissa, diġà tħejja sett ta 'bidliet għall-magna virtwali u ġew miżjuda rbit li jaħdmu fuq Genode biex jiżguraw il-persistenza tal-komponenti tal-qalba u l-interfaces ewlenin ta' livell baxx. Huwa nnutat li l-magna virtwali Phantom diġà tista 'taħdem fl-ambjent tal-Genode 64-bit, iżda xorta huwa meħtieġ li timplimenta l-VM fil-mod ta' persistenza, tinħadem mill-ġdid is-subsistema tas-sewwieq u tadatta l-komponenti b'munzell tan-netwerk u sottosistema tal-grafika għal Genode.
Sors: opennet.ru