Dmitry Zavalishin alizungumza kuhusu mradi wa kuweka mashine pepe ya mfumo wa uendeshaji wa Phantom kufanya kazi katika mazingira ya Genode microkernel OS. Mahojiano yanabainisha kuwa toleo kuu la Phantom tayari liko tayari kwa miradi ya majaribio, na toleo la Genode litakuwa tayari kutumika mwishoni mwa mwaka. Wakati huo huo, ni mfano tu wa dhana inayoweza kutekelezeka ambayo imetangazwa kwenye wavuti ya mradi, uthabiti na utendakazi ambao haujafikishwa kwa kiwango kinachofaa kwa matumizi ya viwandani, na kati ya mipango ya haraka uundaji wa toleo la alpha linalofaa kwa majaribio. na watengenezaji wa wahusika wengine imetajwa.
Msimbo wa mradi unasambazwa chini ya leseni ya LGPL, lakini mabadiliko ya mwisho katika hazina kuu yalikuwa ya Novemba 2019. Shughuli ya umma inayohusiana na mradi imejilimbikizia kwenye hazina iliyo na uma ya Genode, ambayo imekuwa ikidumishwa tangu Desemba 2020 na Anton Antonov, mwanafunzi kutoka Chuo Kikuu cha Innopolis.
Tangu miaka ya mapema ya 2000, mfumo wa uendeshaji wa Phantom umekuwa ukiendeleza kama mradi wa kibinafsi wa Dmitry Zavalishin, na tangu 2010 umehamishwa chini ya mrengo wa kampuni ya Digital Zone iliyoundwa na Dmitry. Mfumo huo unajulikana kwa kuzingatia kuegemea juu na matumizi ya dhana ya "kila kitu ni kitu" badala ya "kila kitu ni faili", ambayo inakuwezesha kufanya bila matumizi ya faili kutokana na uhifadhi wa hali ya kumbukumbu na. mzunguko unaoendelea wa kazi. Maombi katika Phantom hayajakatishwa, lakini yanasimamishwa tu na kurejeshwa kutoka kwa sehemu iliyokatizwa. Vigezo vyote na miundo ya data inaweza kuhifadhiwa kwa muda mrefu kama programu inahitaji, na programu haitaji kuwa na wasiwasi hasa kuhusu kuhifadhi data.
Maombi katika Phantom yanakusanywa katika bytecode, ambayo hutumika katika mashine ya mtandaoni yenye runda, sawa na mashine pepe ya Java. Mashine pepe huhakikisha uendelevu wa kumbukumbu ya programu - mfumo mara kwa mara huweka upya vijipicha vya hali ya mashine pepe hadi midia ya kudumu. Baada ya kuzima au kuacha kufanya kazi, kazi inaweza kuendelea kuanzia picha ya mwisho iliyohifadhiwa ya kumbukumbu. Picha za picha huundwa kwa hali ya asynchronous na bila kusitisha utendakazi wa mashine ya kawaida, lakini kipande cha wakati mmoja kinarekodiwa kwenye muhtasari, kana kwamba mashine ya mtandaoni imesimamishwa, kuhifadhiwa kwenye diski na kuanza tena.
Programu zote huendeshwa katika nafasi ya kawaida ya anwani ya kimataifa, ambayo huondoa hitaji la swichi za muktadha kati ya kernel na programu, na pia hurahisisha na kuharakisha mwingiliano kati ya programu zinazoendeshwa kwenye mashine pepe, ambayo inaweza kubadilishana vitu kupitia kupitisha marejeleo. Mgawanyiko wa ufikiaji unafanywa kwa kiwango cha vitu, marejeleo ambayo yanaweza kupatikana tu kwa kupiga simu njia zinazofaa (hakuna hesabu ya pointer). Data yoyote, ikijumuisha nambari za nambari, inachakatwa kama vitu tofauti.
Kwa programu, kazi inaonekana kuwa ya kuendelea na haitegemei kuwasha upya OS, kuacha kufanya kazi na kuzimwa kwa kompyuta. Muundo wa programu wa Phantom unalinganishwa na kuendesha seva ya programu isiyoisha kamwe kwa lugha ya upangaji wa kitu. Kupeleka programu za Java kwa Phantom inachukuliwa kuwa moja ya njia kuu za ukuzaji wa programu, ambayo inawezeshwa na kufanana kwa mashine ya kawaida ya Phantom kwa JVM. Mbali na mkusanyaji wa bytecode kwa lugha ya Java, mradi unapanga kuunda watunzi wa Python na C #, na pia kutekeleza mtafsiri kutoka kwa msimbo wa kati wa WebAssembly.
Ili kutekeleza shughuli zinazohitaji utendakazi wa hali ya juu, kama vile usindikaji wa video na sauti, inawezekana kuendesha vipengee jozi na msimbo asilia katika nyuzi tofauti (LLVM inatumika kuunganisha vitu binary). Ili kufikia huduma za kiwango cha chini cha kernel, baadhi ya madarasa ya VM (madarasa ya "ndani") yanatekelezwa katika kiwango cha OS kernel. Ili kuendesha programu za Linux, safu ya POSIX imetolewa ambayo huiga simu zinazohitajika kwa ajili ya uendeshaji wa michakato ya Unix (uvumilivu wa programu katika safu ya POSIX bado haujatolewa).
Traditional Phantom OS, pamoja na mashine ya kawaida, inajumuisha kernel yake mwenyewe na utekelezaji wa nyuzi, meneja wa kumbukumbu, mtoza takataka, mifumo ya maingiliano, mfumo wa pembejeo / pato na madereva ya kufanya kazi na vifaa, ambayo inachanganya sana kuleta mradi. kuwa tayari kwa matumizi makubwa. Kando, vipengele vilivyo na mrundikano wa mtandao, mfumo mdogo wa michoro na kiolesura cha mtumiaji vinatengenezwa. Ni vyema kutambua kwamba mfumo mdogo wa graphics na meneja wa dirisha hufanya kazi katika ngazi ya kernel.
Ili kuongeza uthabiti, kubebeka na usalama wa mradi huo, jaribio lilifanywa kuweka mashine ya mtandaoni ya Phantom kufanya kazi kwa kutumia vipengee vya mfumo wa uendeshaji wa microkernel wazi wa Genode, maendeleo ambayo yanasimamiwa na kampuni ya Ujerumani Genode Labs. Kwa wale wanaotaka kufanya majaribio ya Phantom kulingana na Genode, mazingira maalum ya kujenga msingi wa Docker yametayarishwa.
Kutumia Genode itafanya iwezekanavyo kutumia microkernels tayari kuthibitishwa na madereva, pamoja na kuhamisha madereva kwenye nafasi ya mtumiaji (katika fomu yao ya sasa, madereva yameandikwa kwa C na kutekelezwa kwa kiwango cha Phantom kernel). Hasa, itawezekana kutumia microkernel ya seL4, ambayo imepitia uthibitishaji wa uaminifu wa hisabati, kuthibitisha kwamba utekelezaji unakubaliana kikamilifu na vipimo vilivyotajwa katika lugha rasmi. Uwezekano wa kuandaa uthibitisho sawa wa kuaminika kwa mashine ya Phantom virtual inazingatiwa, ambayo itawawezesha uthibitishaji wa mazingira yote ya OS.
Eneo kuu la maombi ya bandari ya Genode ni maendeleo ya maombi ya vifaa mbalimbali vya viwanda na vilivyopachikwa. Hivi sasa, seti ya mabadiliko ya mashine pepe tayari imetayarishwa na vifungo vimeongezwa ambavyo vinafanya kazi juu ya Genode ili kuhakikisha uendelevu wa vipengele vya kernel na miingiliano kuu ya kiwango cha chini. Imebainika kuwa mashine ya mtandaoni ya Phantom inaweza tayari kufanya kazi katika mazingira ya 64-bit Genode, lakini bado ni muhimu kutekeleza VM katika hali ya kuendelea, kurekebisha mfumo mdogo wa dereva na kurekebisha vipengele na stack ya mtandao na mfumo mdogo wa graphics kwa Genode.
Chanzo: opennet.ru