Дмитрий Завалишин дар бораи лоиҳаи интиқоли мошини виртуалии системаи оператсионии Phantom барои кор дар муҳити микро ядрои Genode OS сухан гуфт. Дар мусоҳиба қайд карда мешавад, ки версияи асосии Phantom аллакай барои лоиҳаҳои озмоишӣ омода аст ва версияи Genode дар охири сол барои истифода омода хоҳад шуд. Ҳамзамон, дар вебсайти лоиҳа танҳо як прототипи консептуалии қобили кор эълон карда шудааст, ки устуворӣ ва функсияи он ба сатҳи муносиб барои истифодаи саноатӣ расонида нашудааст ва дар байни нақшаҳои фаврӣ ташаккули версияи алфа барои таҷрибаҳо мувофиқ аст. аз ҷониби таҳиягарони тарафи сеюм зикр шудааст.
Рамзи лоиҳа тибқи литсензияи LGPL паҳн карда мешавад, аммо тағйироти охирин дар анбори асосӣ моҳи ноябри соли 2019 буд. Фаъолияти ҷамъиятии марбут ба лоиҳа дар як анбори дорои штангаи Геноде мутамарказ шудааст, ки аз моҳи декабри соли 2020 аз ҷониби Антон Антонов, донишҷӯи Донишгоҳи Иннополис нигоҳ дошта мешавад.
Аз ибтидои солҳои 2000-ум, системаи оператсионии Phantom ҳамчун лоиҳаи шахсии Дмитрий Завалишин инкишоф меёбад ва аз соли 2010 он ба зери қаноти ширкати Digital Zone, ки аз ҷониби Дмитрий сохта шудааст, интиқол дода мешавад. Система бо тамаркуз ба эътимоднокии баланд ва истифодаи мафҳуми "ҳама чиз як объект аст" ба ҷои "ҳама чиз файл аст", ки ба шумо имкон медиҳад бидуни истифодаи файлҳо аз ҳисоби нигоҳ доштани ҳолати хотира ва цикли муттасили кор. Барномаҳо дар Phantom қатъ карда намешаванд, аммо танҳо аз нуқтаи қатъшуда боздошта мешаванд ва дубора оғоз карда мешаванд. Ҳама тағирёбандаҳо ва сохторҳои додаҳоро то он даме, ки барнома эҳтиёҷ дорад, нигоҳ доштан мумкин аст ва ба барномасоз лозим нест, ки дар бораи захира кардани маълумот ғамхорӣ кунад.
Барномаҳо дар Phantom ба байт-код тартиб дода мешаванд, ки дар мошини маҷозии ба стек асосёфта, ба мошини виртуалии Java монанд кор мекунанд. Мошини виртуалӣ устувории хотираи барномаро таъмин мекунад - система давра ба давра аксҳои ҳолати мошини виртуалиро ба васоити доимӣ барқарор мекунад. Пас аз қатъ ё садама кор метавонад аз лаҳзаи охирини хотираи захирашуда идома ёбад. Лавҳаҳо дар реҷаи асинхронӣ ва бидуни таваққуфи кори мошини виртуалӣ сохта мешаванд, аммо як буридаи якдафъаина дар аксбардорӣ сабт карда мешавад, гӯё мошини виртуалӣ қатъ шуда, дар диск сабт карда шуда, дубора оғоз карда мешавад.
Ҳама замимаҳо дар фазои умумиҷаҳонии суроғаҳо кор мекунанд, ки ин зарурати коммутаторҳои контекстӣ байни ядро ва барномаҳоро аз байн мебарад, инчунин ҳамкории байни замимаҳои дар мошини виртуалӣ коркунандаро ба таври назаррас содда ва суръат мебахшад, ки метавонад тавассути интиқоли истинод объектҳоро мубодила кунад. Ҷудокунии дастрасӣ дар сатҳи объектҳо анҷом дода мешавад, ки истинод ба онҳо танҳо тавассути даъват кардани усулҳои мувофиқ ба даст оварда мешавад (арифметикаи нишондиҳанда вуҷуд надорад). Ҳама гуна маълумот, аз ҷумла арзишҳои ададӣ, ҳамчун объектҳои алоҳида коркард карда мешаванд.
Барои барнома кор доимӣ ба назар мерасад ва аз дубора оғоз кардани OS, садамаҳо ва қатъ шудани компютер вобаста нест. Модели барномасозӣ барои Phantom бо иҷро кардани сервери барномасозии бефосила барои забони барномасозии объект муқоиса карда мешавад. Интиқоли барномаҳои Java ба Phantom яке аз усулҳои асосии таҳияи барномаҳо ҳисобида мешавад, ки ба он шабоҳати мошини виртуалии Phantom ба JVM мусоидат мекунад. Илова ба компилятори байткод барои забони Java, лоиҳа ба нақша гирифтааст, ки компиляторҳоро барои Python ва C# эҷод кунад ва инчунин тарҷумонро аз коди мобайнии WebAssembly татбиқ кунад.
Барои иҷрои амалиётҳое, ки маҳсулнокии баландро талаб мекунанд, аз қабили коркарди видео ва аудио, метавон объектҳои бинариро бо коди модарӣ дар риштаҳои алоҳида иҷро кард (LLVM барои ҷамъ кардани объектҳои дуӣ истифода мешавад). Барои дастрасӣ ба хидматҳои ядроии сатҳи паст, баъзе синфҳои VM (синфҳои дохилӣ) дар сатҳи ядрои ОС амалӣ карда мешаванд. Барои иҷро кардани замимаҳои Linux, қабати POSIX пешбинӣ шудааст, ки зангҳои барои амалиёти равандҳои Unix заруриро тақлид мекунад (суботкорӣ барои барномаҳо дар қабати POSIX ҳанӯз таъмин нашудааст).
Анъанавии Phantom OS, ба ғайр аз мошини виртуалӣ, ядрои худро бо татбиқи риштаҳо, менеҷери хотира, коллектори партовҳо, механизмҳои синхронизатсия, системаи вуруд / баромад ва драйверҳо барои кор бо сахтафзор дар бар мегирад, ки ба таври назаррас овардани лоиҳаро мушкил мекунад. ба истифодаи васеъ тайёр будан. Алоҳида ҷузъҳои дорои стеки шабакавӣ, зерсистемаи графикӣ ва интерфейси корбар таҳия карда мешаванд. Қобили қайд аст, ки зерсистемаи графикӣ ва мудири тиреза дар сатҳи ядро кор мекунанд.
Барои баланд бардоштани устуворӣ, интиқолпазирӣ ва амнияти лоиҳа кӯшиш карда шуд, ки мошини виртуалии Phantom барои кор бо истифода аз ҷузъҳои системаи оператсионии микро ядрои кушодаи Genode кор кунад, ки таҳияи он аз ҷониби ширкати олмонии Genode Labs назорат карда мешавад. Барои онҳое, ки мехоҳанд бо Phantom дар асоси Genode таҷриба кунанд, муҳити махсуси бунёди Docker омода карда шудааст.
Истифодаи Genode имкон медиҳад, ки микроядроҳо ва драйверҳои аллакай исботшуда истифода шаванд ва инчунин драйверҳоро ба фазои корбар интиқол диҳед (дар шакли ҳозираи онҳо, драйверҳо дар C навишта шудаанд ва дар сатҳи ядрои Phantom иҷро карда мешаванд). Аз ҷумла, истифода бурдани микро ядрои seL4 имконпазир мегардад, ки аз санҷиши эътимоднокии математикӣ гузаштааст ва тасдиқ мекунад, ки татбиқ пурра ба мушаххасоти дар забони расмӣ нишондодашуда мувофиқат мекунад. Имконияти омода кардани як далели шабеҳи эътимоднокӣ барои мошини виртуалии Phantom баррасӣ мешавад, ки имкон медиҳад, ки тамоми муҳити OS тафтиш карда шавад.
Самти асосии татбиқи бандари Геноде таҳияи барномаҳо барои дастгоҳҳои гуногуни саноатӣ ва дохилӣ мебошад. Дар айни замон, маҷмӯи тағиротҳо барои мошини виртуалӣ аллакай омода карда шудаанд ва пайвандҳо илова карда шудаанд, ки дар болои Genode барои таъмини устувории ҷузъҳои ядро ва интерфейсҳои асосии сатҳи паст кор мекунанд. Қайд карда мешавад, ки мошини маҷозии Phantom аллакай дар муҳити Genode 64-бит кор карда метавонад, аммо ба ҳар ҳол зарур аст, ки VM-ро дар реҷаи устуворӣ амалӣ созем, зерсистемаи драйверро аз нав кор карда, ҷузъҳоро бо стек шабакавӣ ва зерсистемаи графикӣ барои Genode мутобиқ созем.
Манбаъ: opennet.ru