Labhair Dmitry Zavalishin faoi thionscadal chun meaisín fíorúil de chóras oibriúcháin Phantom a phortáil chun oibriú i dtimpeallacht OS microkernel Genode. Tugann an t-agallamh faoi deara go bhfuil an príomhleagan de Phantom réidh cheana féin do thionscadail phíolótacha, agus beidh an leagan atá bunaithe ar an Genod réidh le húsáid ag deireadh na bliana. Ag an am céanna, níor fógraíodh ach fréamhshamhail choincheapúil inoibrithe ar shuíomh Gréasáin an tionscadail, níor tugadh a chobhsaíocht agus a fheidhmiúlacht go dtí leibhéal atá oiriúnach d'úsáid thionsclaíoch, agus i measc na bpleananna láithreach foirmiú leagan alfa oiriúnach le haghaidh turgnaimh. luaitear ag forbróirí tríú páirtí.
Déantar cód an tionscadail a dháileadh faoin gceadúnas LGPL, ach ba é Samhain 2019 an t-athrú deireanach ar an bpríomhstór. Tá gníomhaíocht phoiblí a bhaineann leis an tionscadal comhchruinnithe i stór le forc le haghaidh Genode, atá á chothabháil ó mhí na Nollag 2020 ag Anton Antonov, mac léinn ó Ollscoil Innopolis.
Ó na 2000í luatha, tá córas oibriúcháin Phantom ag forbairt mar thionscadal pearsanta de chuid Dmitry Zavalishin, agus ó 2010 i leith aistríodh é faoi sciathán na cuideachta Crios Digiteach cruthaithe ag Dmitry. Tá an córas suntasach mar gheall ar a fhócas ar ard-iontaofacht agus úsáid an choincheapa “is réad é gach rud” in ionad “is comhad é gach rud”, rud a ligeann duit a dhéanamh gan comhaid a úsáid mar gheall ar staid chuimhne a chaomhnú agus timthriall leanúnach oibre. Ní chuirtear deireadh le hiarratais i Phantom, ach ní chuirtear ar fionraí iad agus go gcuirtear isteach arís iad ón bpointe isteach. Is féidir na hathróga agus na struchtúir sonraí go léir a stóráil chomh fada agus is gá an t-iarratas, agus ní gá don ríomhchláraitheoir a bheith buartha go sonrach faoi shábháil na sonraí.
Déantar feidhmchláir Phantom a thiomsú i bytecode, a ritheann i meaisín fíorúil stack-bhunaithe, cosúil leis an meaisín fíorúil Java. Cinntíonn an meaisín fíorúil marthanacht cuimhne iarratais - athshocraíonn an córas pictiúir de staid an mheaisín fíorúil go tréimhsiúil go meán buan. Tar éis múchadh nó tuairteála, is féidir leanúint ar aghaidh leis an obair ag tosú ón ngrianghraf cuimhne deiridh a sábháladh. Cruthaítear pictiúir i mód asincrónach agus gan oibriú an mheaisín fhíorúil a chur ar sos, ach taifeadtar slisne aonuaire sa phictiúr, amhail is dá gcuirfí stop leis an meaisín fíorúil, sábháladh ar an diosca é agus cuireadh tús leis arís.
Ritheann gach feidhmchlár i spás seoltaí domhanda coiteann, rud a chuireann deireadh leis an ngá atá le lasca comhthéacs idir an eithne agus feidhmchláir, agus a shimplíonn agus a luasann go mór an t-idirghníomhú idir feidhmchláir atá ag rith sa mheaisín fíorúil, ar féidir leo rudaí a mhalartú trí thagairt a rith. Déantar scaradh rochtana ar leibhéal na rudaí, agus ní féidir tagairtí a fháil ach trí na modhanna cuí a ghlaoch (níl aon uimhríocht phointeora ann). Próiseáiltear aon sonraí, lena n-áirítear luachanna uimhriúla, mar réada ar leithligh.
Maidir leis an bhfeidhmchlár, is cosúil go bhfuil an obair leanúnach agus nach mbraitheann sé ar atosaithe OS, tuairteanna agus múchadh ríomhaire. Cuirtear an tsamhail ríomhchlárúcháin do Phantom i gcomparáid le freastalaí feidhmchláir gan stad a rith do theanga ríomhchlárúcháin oibiachta. Meastar gur ceann de na príomh-mhodhanna forbartha feidhmchlár é cláir Java a aistriú chuig Phantom, rud a éascaítear trí chomhchosúlacht idir meaisín fíorúil Phantom agus an JVM. Chomh maith leis an tiomsaitheoir bytecode don teanga Java, tá sé beartaithe ag an tionscadal tiomsaitheoirí a chruthú do Python agus C#, chomh maith le haistritheoir ó chód idirmheánach WebAssembly a chur i bhfeidhm.
Chun oibríochtaí a éilíonn ardfheidhmíocht a dhéanamh, mar shampla próiseáil físe agus fuaime, is féidir rudaí dénártha a reáchtáil le cód dúchais i snáitheanna ar leith (úsáidtear LLVM chun rudaí dénártha a chur le chéile). Chun rochtain a fháil ar sheirbhísí eithne íseal-leibhéil, cuirtear roinnt ranganna VM ("inmheánacha") i bhfeidhm ag leibhéal eithne an OS. Chun feidhmchláir Linux a rith, soláthraítear ciseal POSIX a dhéanann aithris ar ghlaonna atá riachtanach chun próisis Unix a oibriú (níl marthanacht d’fheidhmchláir sa chiseal POSIX curtha ar fáil go fóill).
Cuimsíonn Traidisiúnta Phantom OS, chomh maith leis an meaisín fíorúil, a eithne féin le cur i bhfeidhm snáitheanna, bainisteoir cuimhne, bailitheoir truflais, meicníochtaí sioncrónaithe, córas ionchuir / aschuir agus tiománaithe chun oibriú le crua-earraí, rud a chuireann casta suntasach ar an tionscadal a thabhairt. chun ullmhacht le húsáid fhorleathan. Ar leithligh, tá comhpháirteanna le stack líonra, fochóras grafaicí agus comhéadan úsáideora á bhforbairt. Is fiú a thabhairt faoi deara go n-oibríonn an fochóras grafaicí agus an bainisteoir fuinneoige ag an leibhéal eithne.
Chun cobhsaíocht, iniomparthacht agus slándáil an tionscadail a mhéadú, rinneadh iarracht an meaisín fíorúil Phantom a phortáil chun oibriú ag baint úsáide as comhpháirteanna den chóras oibriúcháin microkernel oscailte Genode, a bhfuil a fhorbairt faoi mhaoirseacht na cuideachta Gearmánach Genode Labs. Dóibh siúd atá ag iarraidh triail a bhaint as Phantom bunaithe ar Genode, ullmhaíodh timpeallacht tógála speisialta atá bunaithe ar an Docker.
Trí úsáid a bhaint as Genode beifear in ann microkernels agus tiománaithe cruthaithe cheana féin a úsáid, chomh maith leis na tiománaithe a bhogadh isteach sa spás úsáideora (ina bhfoirm reatha, scríobhtar na tiománaithe i C agus déantar iad a fhorghníomhú ag leibhéal eithne Phantom). Go háirithe, beifear in ann an microkernel seL4 a úsáid, a ndearnadh fíorú iontaofachta matamaitice air, ag dearbhú go gcomhlíonann an cur i bhfeidhm go hiomlán na sonraíochtaí atá sonraithe sa teanga fhoirmiúil. Táthar ag smaoineamh ar an bhféidearthacht cruthúnas iontaofachta den chineál céanna a ullmhú le haghaidh meaisín fíorúil Phantom, rud a cheadóidh timpeallacht iomlán an OS a fhíorú.
Is é an príomh-réimse iarratais don chalafort Genod-bhunaithe ná forbairt na n-iarratas ar fheistí tionsclaíocha agus leabaithe éagsúla. Faoi láthair, tá sraith athruithe don mheaisín fíorúil ullmhaithe cheana féin agus tá ceangail curtha leis a oibríonn ar bharr an Ghnéóid chun marthanacht na gcomhpháirteanna eithne agus na príomh-chomhéadan ísealleibhéil a chinntiú. Tugtar faoi deara gur féidir leis an meaisín fíorúil Phantom oibriú cheana féin sa timpeallacht Genode 64-giotán, ach tá sé riachtanach fós a chur i bhfeidhm an VM i mód marthanachta, athoibriú an fochóras tiománaí agus comhpháirteanna a oiriúnú le cruachta líonra agus fochóras grafaicí do Genode.
Foinse: oscailtenet.ru