Siaradodd Dmitry Zavalishin am brosiect i borthi peiriant rhithwir o system weithredu Phantom i weithio yn amgylchedd AO microkernel Genod. Mae'r cyfweliad yn nodi bod y brif fersiwn o Phantom eisoes yn barod ar gyfer prosiectau peilot, a bydd y fersiwn sy'n seiliedig ar Genod yn barod i'w ddefnyddio ar ddiwedd y flwyddyn. Ar yr un pryd, dim ond prototeip cysyniadol ymarferol sydd wedi'i gyhoeddi ar wefan y prosiect, ac nid yw ei sefydlogrwydd a'i ymarferoldeb wedi'u dwyn i lefel sy'n addas ar gyfer defnydd diwydiannol, ac ymhlith y cynlluniau uniongyrchol ffurfio fersiwn alffa sy'n addas ar gyfer arbrofion. gan ddatblygwyr trydydd parti yn cael ei grybwyll.
Mae cod y prosiect yn cael ei ddosbarthu o dan drwydded LGPL, ond roedd y newid olaf yn y brif gadwrfa yn ddyddiedig Tachwedd 2019. Mae gweithgaredd cyhoeddus sy'n gysylltiedig â'r prosiect wedi'i ganoli mewn ystorfa gyda fforc ar gyfer Genod, sydd wedi'i chynnal ers mis Rhagfyr 2020 gan Anton Antonov, myfyriwr o Brifysgol Innopolis.
Ers y 2000au cynnar, mae system weithredu Phantom wedi bod yn datblygu fel prosiect personol Dmitry Zavalishin, ac ers 2010 fe'i trosglwyddwyd o dan adain y cwmni Parth Digidol a grëwyd gan Dmitry. Mae'r system yn nodedig am ei ffocws ar ddibynadwyedd uchel a'r defnydd o'r cysyniad "mae popeth yn wrthrych" yn lle "mae popeth yn ffeil", sy'n caniatáu ichi wneud heb ddefnyddio ffeiliau oherwydd cadw cyflwr cof a cylch gwaith parhaus. Nid yw ceisiadau yn Phantom yn cael eu terfynu, ond dim ond o'r pwynt torri y cânt eu hatal a'u hailddechrau. Gellir storio'r holl newidynnau a strwythurau data cyhyd ag y mae eu hangen ar y cais, ac nid oes angen i'r rhaglennydd boeni'n benodol am arbed y data.
Mae cymwysiadau yn Phantom yn cael eu crynhoi yn bytecode, sy'n rhedeg mewn peiriant rhithwir sy'n seiliedig ar bentwr, yn debyg i beiriant rhithwir Java. Mae'r peiriant rhithwir yn sicrhau dyfalbarhad cof y cais - mae'r system yn ailosod cipluniau o gyflwr y peiriant rhithwir i gyfryngau parhaol o bryd i'w gilydd. Ar ôl cau i lawr neu ddamwain, gall gwaith barhau gan ddechrau o'r ciplun cof diwethaf a arbedwyd. Crëir cipluniau yn y modd asyncronig a heb oedi gweithrediad y peiriant rhithwir, ond cofnodir tafell un-amser yn y ciplun, fel pe bai'r peiriant rhithwir yn cael ei stopio, ei gadw ar ddisg a'i ddechrau eto.
Mae pob cais yn rhedeg mewn gofod cyfeiriad byd-eang cyffredin, sy'n dileu'r angen am switshis cyd-destun rhwng y cnewyllyn a chymwysiadau, a hefyd yn symleiddio'n sylweddol ac yn cyflymu'r rhyngweithio rhwng cymwysiadau sy'n rhedeg yn y peiriant rhithwir, a all gyfnewid gwrthrychau trwy basio cyfeirio. Cyflawnir gwahaniad mynediad ar lefel gwrthrychau, na ellir cael cyfeiriadau ato ond trwy ffonio'r dulliau priodol (nid oes rhifyddeg pwyntydd). Mae unrhyw ddata, gan gynnwys gwerthoedd rhifol, yn cael ei brosesu fel gwrthrychau ar wahân.
Ar gyfer y rhaglen, mae'n ymddangos bod y gwaith yn barhaus ac nid yw'n dibynnu ar ailgychwyn yr AO, damweiniau a chau cyfrifiaduron. Mae'r model rhaglennu ar gyfer Phantom yn cael ei gymharu â rhedeg gweinydd cymhwysiad di-dor ar gyfer iaith raglennu gwrthrych. Ystyrir bod trosglwyddo rhaglenni Java i Phantom yn un o'r prif ddulliau o ddatblygu cymwysiadau, sy'n cael ei hwyluso gan debygrwydd peiriant rhithwir Phantom i'r JVM. Yn ogystal â'r casglwr cod byte ar gyfer yr iaith Java, mae'r prosiect yn bwriadu creu casglwyr ar gyfer Python a C#, yn ogystal â gweithredu cyfieithydd o god canolradd WebAssembly.
Er mwyn cyflawni gweithrediadau sy'n gofyn am berfformiad uchel, megis prosesu fideo a sain, mae'n bosibl rhedeg gwrthrychau deuaidd gyda chod brodorol mewn edafedd ar wahân (defnyddir LLVM i gydosod gwrthrychau deuaidd). I gael mynediad at wasanaethau cnewyllyn lefel isel, mae rhai dosbarthiadau VM (“mewnol”) yn cael eu gweithredu ar lefel cnewyllyn OS. Er mwyn rhedeg cymwysiadau Linux, darperir haen POSIX sy'n efelychu galwadau angenrheidiol ar gyfer gweithredu prosesau Unix (ni ddarperir parhad ar gyfer ceisiadau yn yr haen POSIX eto).
Mae Phantom OS traddodiadol, yn ogystal â'r peiriant rhithwir, yn cynnwys ei gnewyllyn ei hun gyda gweithrediad edafedd, rheolwr cof, casglwr sbwriel, mecanweithiau cydamseru, system fewnbwn / allbwn a gyrwyr ar gyfer gweithio gyda chaledwedd, sy'n cymhlethu'n sylweddol dod â'r prosiect. yn barod ar gyfer defnydd eang. Ar wahân, mae cydrannau gyda stac rhwydwaith, is-system graffeg a rhyngwyneb defnyddiwr yn cael eu datblygu. Mae'n werth nodi bod yr is-system graffeg a'r rheolwr ffenestri yn gweithredu ar lefel y cnewyllyn.
Er mwyn cynyddu sefydlogrwydd, hygludedd a diogelwch y prosiect, gwnaed ymgais i borthladd y peiriant rhithwir Phantom i weithio gan ddefnyddio cydrannau'r system weithredu microkernel agored Genode, y mae ei ddatblygiad yn cael ei oruchwylio gan y cwmni Almaeneg Genode Labs. I'r rhai sydd am arbrofi gyda Phantom yn seiliedig ar Genode, mae amgylchedd adeiladu arbennig yn seiliedig ar Docker wedi'i baratoi.
Bydd defnyddio Genode yn ei gwneud hi'n bosibl defnyddio microkernels a gyrwyr sydd eisoes wedi'u profi, yn ogystal â symud y gyrwyr i ofod defnyddwyr (yn eu ffurf bresennol, mae'r gyrwyr wedi'u hysgrifennu yn C a'u gweithredu ar lefel cnewyllyn Phantom). Yn benodol, bydd yn bosibl defnyddio'r microkernel seL4, sydd wedi cael gwiriad dibynadwyedd mathemategol, gan gadarnhau bod y gweithrediad yn cydymffurfio'n llawn â'r manylebau a nodir yn yr iaith ffurfiol. Mae'r posibilrwydd o baratoi prawf tebyg o ddibynadwyedd ar gyfer peiriant rhithwir Phantom yn cael ei ystyried, a fydd yn caniatáu gwirio amgylchedd cyfan yr OS.
Y prif faes cais ar gyfer y porthladd sy'n seiliedig ar Genod yw datblygu cymwysiadau ar gyfer amrywiol ddyfeisiau diwydiannol a gwreiddio. Ar hyn o bryd, mae set o newidiadau ar gyfer y peiriant rhithwir eisoes wedi'u paratoi ac mae rhwymiadau wedi'u hychwanegu sy'n gweithio ar ben Genod ar gyfer sicrhau dyfalbarhad cydrannau cnewyllyn a'r prif ryngwynebau lefel isel. Nodir y gall y peiriant rhithwir Phantom eisoes weithio yn yr amgylchedd Genod 64-bit, ond mae'n dal yn angenrheidiol i weithredu'r VM yn y modd dyfalbarhad, ail-weithio'r is-system gyrrwr ac addasu cydrannau gyda stack rhwydwaith ac is-system graffeg ar gyfer Genod.
Ffynhonnell: opennet.ru