Ny prototype an'ny OS Phantom an-trano mifototra amin'ny Genode dia ho vonona alohan'ny faran'ny taona

Dmitry Zavalishin dia niresaka momba ny tetikasa iray handefasana milina virtoaly amin'ny rafitra fiasan'ny Phantom mba hiasa ao amin'ny tontolo Genode microkernel OS. Ny tafatafa dia nanamarika fa ny dikan-teny fototra amin'ny Phantom dia efa vonona ho an'ny tetikasa mpanamory, ary ny dikan-teny mifototra amin'ny Genode dia ho vonona hampiasaina amin'ny faran'ny taona. Mandritra izany fotoana izany, prototype ara-tsaina azo ampiasaina ihany no nambara tao amin'ny tranokalan'ny tetikasa, ny fahamarinan-toerana sy ny fiasa izay tsy nentina ho amin'ny ambaratonga mety amin'ny fampiasana indostrialy, ary eo amin'ireo drafitra eo no ho eo ny fananganana dikan-alfa mety amin'ny andrana. avy amin'ny mpamorona antoko fahatelo no voalaza.

Ny kaody tetikasa dia zaraina amin'ny alΓ lan'ny fahazoan-dΓ lana LGPL, fa ny fanovana farany tao amin'ny tahiry lehibe dia tamin'ny Novambra 2019. Ny hetsika ho an'ny daholobe mifandraika amin'ny tetikasa dia mifantoka amin'ny fitahirizana miaraka amin'ny garderie ho an'ny Genode, izay nokarakarain'i Anton Antonov, mpianatra avy amin'ny Oniversite Innopolis hatramin'ny Desambra 2020.

Hatramin'ny fiandohan'ny taona 2000, ny rafitra fandidiana Phantom dia nivoatra ho tetikasa manokana an'i Dmitry Zavalishin, ary nanomboka tamin'ny 2010 dia nafindra teo ambanin'ny elatry ny orinasa Digital Zone noforonin'i Dmitry. Ny rafitra dia miavaka amin'ny fifantohana amin'ny fahatokisana avo lenta sy ny fampiasana ny foto-kevitra hoe "zavatra ny zava-drehetra" fa tsy hoe "rakitra daholo ny zava-drehetra", izay ahafahanao manao tsy misy fampiasana rakitra noho ny fitahirizana ny fanjakana fitadidiana sy tsingerin'ny asa mitohy. Ny fampiharana amin'ny Phantom dia tsy tapitra, fa miato fotsiny ary averina amin'ny toerana tapaka. Azo tehirizina mandritra ny fotoana rehetra ilain'ny fampiharana ny fiovaovana sy firafitry ny angona rehetra, ary tsy mila manahy manokana momba ny fitahirizana ny data ny programmer.

Ny fampiharana ao amin'ny Phantom dia natambatra ho bytecode, izay mandeha amin'ny milina virtoaly mifototra amin'ny stack, mitovy amin'ny milina virtoaly Java. Ny milina virtoaly dia miantoka ny faharetan'ny fitadidiana fampiharana - ny rafitra dia mamerina tsindraindray ny sarin'ny toetry ny milina virtoaly amin'ny haino aman-jery maharitra. Aorian'ny fanakatonana na fianjerana, dia afaka manohy ny asa manomboka amin'ny sary fahatsiarovana voatahiry farany. Ny sary dia noforonina amin'ny fomba asynchronous ary tsy miato ny fiasan'ny milina virtoaly, fa ny snapshot dia mirakitra sombiny indray mandeha, toy ny hoe nijanona ilay milina virtoaly, voatahiry ao anaty kapila ary natomboka indray.

Ny fampiharana rehetra dia mandeha amin'ny habaka adiresy eran'izao tontolo izao, izay manafoana ny filΓ na fifandimbiasan'ny contexte eo amin'ny kernel sy ny rindranasa, ary manamora sy manafaingana ihany koa ny fifandraisana misy eo amin'ireo rindranasa mandeha amin'ny milina virtoaly, izay afaka mifanakalo zavatra amin'ny alΓ lan'ny reference passing. Ny fisarahana amin'ny fidirana dia atao amin'ny haavon'ny zavatra, ny fanondroana izay azo alaina amin'ny alΓ lan'ny fiantsoana ny fomba mety (tsy misy aritmetika pointer). Ny angona rehetra, anisan'izany ny sanda isa, dia voahodina ho zavatra misaraka.

Ho an'ny fampiharana, toa mitohy ny asa ary tsy miankina amin'ny famerenana indray ny OS, fianjerana, ary fanakatonana solosaina. Ny maodelin'ny fandaharana ho an'ny Phantom dia ampitahaina amin'ny fampandehanana mpizara fampiharana tsy miato ho an'ny fiteny fandaharana zavatra. Ny fandefasana programa Java amin'ny Phantom dia heverina ho iray amin'ireo fomba lehibe amin'ny fampivoarana fampiharana, izay manamora ny fitovian'ny milina virtoaly Phantom amin'ny JVM. Ho fanampin'ny compiler bytecode ho an'ny teny Java, mikasa ny hamorona compiler ho an'ny Python sy C# ny tetikasa, ary koa hampihatra mpandika teny avy amin'ny code intermediate WebAssembly.

Mba hanaovana asa izay mitaky fampisehoana avo lenta, toy ny fanodinana horonan-tsary sy feo, dia azo atao ny mampandeha zavatra mimari-droa miaraka amin'ny kaody teratany amin'ny kofehy misaraka (LLVM dia ampiasaina hanangonana zavatra binary). Mba hidirana amin'ny serivisy kernel ambany, ny kilasy VM sasany ("anatiny") dia ampiharina amin'ny ambaratonga kernel OS. Mba hampandehanana ny rindranasa Linux dia misy sosona POSIX omena izay maka tahaka ny antso ilaina amin'ny fampandehanana ny fizotran'ny Unix (mbola tsy omena ny fikirizana ho an'ny fampiharana ao amin'ny sosona POSIX).

Ny prototype an'ny OS Phantom an-trano mifototra amin'ny Genode dia ho vonona alohan'ny faran'ny taona

Ny Phantom OS nentim-paharazana, ankoatry ny milina virtoaly, dia ahitana ny kernel manokana miaraka amin'ny fampiharana kofehy, mpitantana fahatsiarovana, mpanangom-pako, mekanika synchronization, rafitra fampidirana / famoahana ary mpamily miasa amin'ny hardware, izay manasarotra ny fanatanterahana ny tetikasa. amin'ny fahavononana hampiasaina betsaka. Mitokana, ny singa miaraka amin'ny tambazotran'ny tambajotra, ny subsystem amin'ny sary ary ny interface interface dia novolavolaina. Marihina fa ny subsystem graphic sy ny mpitantana ny varavarankely dia miasa amin'ny ambaratonga kernel.

Mba hampitomboana ny fahamarinan-toerana, ny fahafaha-mitondra ary ny fiarovana ny tetikasa, dia nisy ezaka natao mba handefasana ny milina virtoaly Phantom hiasa amin'ny alΓ lan'ny singa amin'ny rafitra fiasan'ny microkernel misokatra Genode, ny fampandrosoana izay dia manara-maso ny orinasa alemΓ  Genode Labs. Ho an'ireo izay te hanandrana ny Phantom mifototra amin'ny Genode dia efa nomanina ny tontolo fanorenana manokana miorina amin'ny Docker.

Ny fampiasana Genode dia ahafahana mampiasa microkernels sy mpamily efa voaporofo, ary koa mamindra ny mpamily ho any amin'ny habaka mpampiasa (amin'ny endriny ankehitriny, ny mpamily dia voasoratra ao amin'ny C ary tanterahina amin'ny ambaratonga kernel Phantom). Amin'ny ankapobeny, azo atao ny mampiasa ny microkernel seL4, izay nandalo fanamarinana azo itokisana amin'ny matematika, manamafy fa ny fampiharana dia mifanaraka tanteraka amin'ny fepetra voafaritra amin'ny fiteny ofisialy. Ny fahafahana manomana porofo mitovy amin'ny fahamendrehana ho an'ny milina virtoaly Phantom dia heverina, izay ahafahana manamarina ny tontolo OS manontolo.

Ny faritra fampiharana lehibe ho an'ny seranan-tsambo mifototra amin'ny Genode dia ny fampivoarana ny fampiharana ho an'ny fitaovana indostrialy sy tafiditra ao anatiny. Amin'izao fotoana izao dia efa nomanina ny fanovΓ na ho an'ny milina virtoaly ary nampiana fatorana izay miasa eo an-tampon'ny Genode mba hiantohana ny faharetan'ny singa kernel sy ny fifandraisana ambany indrindra. Marihina fa ny milina virtoaly Phantom dia efa afaka miasa ao amin'ny tontolo Genode 64-bit, saingy mbola ilaina ny mampihatra ny VM amin'ny fomba fikirizana, mamerina ny subsystem mpamily ary mampifanaraka ireo singa miaraka amin'ny tamba-jotra sy subsystem grafika ho an'ny Genode.

Ny prototype an'ny OS Phantom an-trano mifototra amin'ny Genode dia ho vonona alohan'ny faran'ny taona
Ny prototype an'ny OS Phantom an-trano mifototra amin'ny Genode dia ho vonona alohan'ny faran'ny taona
Ny prototype an'ny OS Phantom an-trano mifototra amin'ny Genode dia ho vonona alohan'ny faran'ny taona


Source: opennet.ru

Add a comment