Bhruidhinn Dmitry Zavalishin mun phròiseact gus inneal brìgheil siostam obrachaidh Phantom a ghiùlan gu bhith ag obair ann an àrainneachd Genode microkernel OS. Tha an t-agallamh a’ toirt fa-near gu bheil am prìomh dhreach de Phantom deiseil mu thràth airson pròiseactan pìleat, agus bidh an dreach stèidhichte air Genode deiseil airson a chleachdadh aig deireadh na bliadhna. Aig an aon àm, cha deach ach prototype bun-bheachdail obrachail ainmeachadh air làrach-lìn a’ phròiseict gu ruige seo, agus cha deach seasmhachd agus comas-gnìomh a thoirt gu ìre a tha iomchaidh airson cleachdadh gnìomhachais, agus am measg nam planaichean as fhaisge tha cruthachadh dreach alpha freagarrach airson deuchainnean le luchd-leasachaidh treas-phàrtaidh.
Tha còd a’ phròiseict air a chuairteachadh fo chead LGPL, ach tha an t-atharrachadh mu dheireadh anns a’ phrìomh ionad-tasgaidh leis an deit Samhain 2019. Tha an gnìomhachd poblach co-cheangailte ris a’ phròiseact stèidhichte anns an stòr le forc airson Genode, a tha bhon Dùbhlachd 2020 air a chumail suas le Anton Antonov, oileanach bho Oilthigh Innopolis.
Bho thràth anns na 2000n, chaidh siostam obrachaidh Phantom a leasachadh mar phròiseact pearsanta Dmitry Zavalishin, agus bho 2010 tha e air a ghluasad fo sgiath a ’chompanaidh Digital Zone a chruthaich Dmitry. Tha an siostam ainmeil airson a bhith ag amas air earbsachd àrd agus cleachdadh a’ bhun-bheachd de “tha a h-uile dad na nì” an àite “is e faidhle a th’ anns a h-uile dad ”, a tha a’ cur às do chleachdadh fhaidhlichean mar thoradh air gleidheadh staid cuimhne agus cearcall leantainneach de obair. Chan eil tagraidhean anns an Taibhse air an toirt gu crìch, ach dìreach air an stad agus air an ath-thòiseachadh bhon àite far an do dh'fhalbh iad. Faodar a h-uile caochladair agus structar dàta a stòradh cho fada ‘s a dh’ fheumas an tagradh, agus chan fheum am prògramadair cùram sònraichte a ghabhail gus an dàta a shàbhaladh.
Tha tagraidhean ann an Phantom air an cur ri chèile ann am bytecode, a bhios a’ ruith ann an inneal brìgheil stèidhichte air stac, coltach ris an inneal brìgheil Java. Bidh an inneal brìgheil a ’toirt seachad seasmhachd cuimhne tagraidh - bidh an siostam bho àm gu àm a’ sruthadh dealbhan de staid an inneal brìgheil gu meadhanan leantainneach. Às deidh dùnadh no tubaist, faodar obair a leantainn a’ tòiseachadh bhon dealbh cuimhne mu dheireadh a chaidh a shàbhaladh. Bithear a’ cruthachadh snapshots gu neo-chunbhalach agus gun a bhith a’ cuir stad air an inneal brìgheil, ach tha dealbh a’ glacadh sliseag aon-ùine, mar gum biodh an inneal brìgheil air a stad, air a shàbhaladh gu diosc, agus air tòiseachadh a-rithist.
Bidh a h-uile tagradh a’ ruith ann an àite seòlaidh cruinne coitcheann, a chuireas às don fheum air suidsichean co-theacsa eadar an kernel agus tagraidhean, agus a bhios gu mòr a’ sìmpleachadh agus a ’luathachadh conaltradh eadar tagraidhean a tha a’ ruith ann an inneal brìgheil as urrainn nithean iomlaid tro iomradh a ’dol seachad. Thathas a ’dèanamh sgaradh ruigsinneachd aig ìre nithean, nach fhaighear iomradh air ach le bhith a’ gairm na dòighean co-fhreagarrach (chan eil àireamhachd puing ann). Bithear a’ làimhseachadh dàta sam bith, a’ gabhail a-steach luachan àireamhach, mar nithean fa leth.
Airson an tagraidh, tha coltas leantainneach air an obair agus chan eil e an urra ri ath-thòiseachadh OS, tubaistean agus dùnadh coimpiutair. Tha am modail prògramadh airson Phantom air a choimeas ri bhith a’ ruith frithealaiche tagraidh gun stad airson cànan prògramadh nì. Thathas den bheachd gu bheil a bhith a’ giùlan phrògraman Java airson Phantom mar aon de na prìomh dhòighean air tagraidhean a leasachadh, a tha air a chomasachadh leis cho coltach ‘s a tha inneal brìgheil Phantom leis an JVM. A bharrachd air an inneal-cruinneachaidh bytecode airson cànan Java, tha am pròiseact an dùil luchd-cruinneachaidh a chruthachadh airson Python agus C #, a bharrachd air a bhith a’ buileachadh eadar-theangair bho chòd eadar-mheadhanach WebAssembly.
Gus gnìomhachd a dhèanamh a dh ’fheumas àrd-choileanadh, leithid giollachd bhidio is claisneachd, tha e comasach nithean dà-chànanach a ruith le còd dùthchasach ann an snàithleanan fa leth (tha LLVM air a chleachdadh gus nithean dà-chànanach a thogail). Gus faighinn gu seirbheisean kernel aig ìre ìosal, tha cuid de chlasaichean VM (“clasaichean a-staigh”) air an cur an gnìomh aig ìre kernel OS. Gus tagraidhean Linux a ruith, tha còmhdach POSIX air a thoirt seachad a bhios ag aithris na gairmean a tha riatanach airson obrachadh phròiseasan Unix (chan eil seasmhachd airson tagraidhean anns an ìre POSIX air a thoirt seachad fhathast).
Tha an Phantom OS traidiseanta, a bharrachd air an inneal brìgheil, a’ toirt a-steach a kernel fhèin le buileachadh snàithleanan, manaidsear cuimhne, neach-cruinneachaidh sgudail, uidheamachdan sioncronaidh, siostam I / O, agus draibhearan airson a bhith ag obair le uidheamachd, a tha gu mòr a’ dèanamh duilgheadas le bhith a ’toirt a-steach. am pròiseact deiseil airson a chleachdadh fad is farsaing. Air leth, thathas a’ leasachadh phàirtean le stac lìonra, fo-shiostam grafaigeach agus eadar-aghaidh cleachdaiche. Bu chòir a thoirt fa-near gu bheil am fo-shiostam grafaiceachd agus am manaidsear uinneig ag obair aig ìre kernel.
Gus seasmhachd, so-ghiùlain agus tèarainteachd a’ phròiseict a leasachadh, chaidh oidhirp a dhèanamh an inneal brìgheil Phantom a ghluasad gu obair a’ cleachdadh na pàirtean den t-siostam obrachaidh fosgailte microkernel Genode, a tha ga leasachadh fo stiùir a’ chompanaidh Ghearmailteach Genode Labs. Dhaibhsan a tha airson feuchainn air Phantom stèidhichte air Genode, chaidh àrainneachd togail sònraichte stèidhichte air Docker ullachadh.
Le bhith a’ cleachdadh Genode bidh e comasach microkernels agus draibhearan a chaidh a dhearbhadh mar-thà a chleachdadh, a bharrachd air draibhearan a thoirt a-steach don àite luchd-cleachdaidh (anns an fhoirm làithreach aca, tha na draibhearan sgrìobhte ann an C agus gan ruith aig ìre kernel Phantom). Gu sònraichte, bidh e comasach am microkernel seL4 a chleachdadh, a tha air a dhol seachad air dearbhadh matamataigeach air earbsachd, a ’dearbhadh gu bheil am buileachadh a’ gèilleadh gu h-iomlan ris na sònrachaidhean a tha air an sònrachadh sa chànan foirmeil. Thathas a’ beachdachadh air comasachd dearbhadh earbsachd coltach ri seo ullachadh airson inneal brìgheil Phantom, a leigeas le àrainneachd an OS gu lèir a dhearbhadh.
Is e am prìomh raon tagraidh den phort stèidhichte air Genode leasachadh thagraidhean airson diofar innealan gnìomhachais agus freumhaichte. Aig an àm seo, chaidh seata de dh’ atharrachaidhean airson an inneal mas-fhìor ullachadh mar-thà agus chaidh ceanglachan a tha a’ ruith air mullach Genode a chur ris airson co-phàirtean seasmhachd an kernel agus na prìomh eadar-aghaidh aig ìre ìosal. Thathas a’ toirt fa-near gum faod an inneal brìgheil Phantom obrachadh mar-thà ann an àrainneachd Genode 64-bit, ach cha deach an VM a chuir an gnìomh fhathast ann am modh leantainneachd, feumar fo-shiostam an draibhear ath-obrachadh, agus tha co-phàirtean le stac lìonra agus fo-shiostam grafaigs air. a bhith air an atharrachadh airson Genode.
Source: fosgailtenet.ru