Dmitry Zavalishin nyarioskeun ngeunaan proyék porting mesin virtual tina sistem operasi Phantom pikeun damel di lingkungan Genode microkernel OS. Wawancara nyatakeun yén versi utama Phantom parantos siap pikeun proyék pilot, sareng versi dumasar kana Genode bakal siap dianggo dina ahir taun. Dina waktos anu sami, ngan ukur prototipe konseptual anu tiasa dianggo anu parantos diumumkeun dina situs wéb proyék, stabilitas sareng pungsionalitasna teu acan dibawa ka tingkat anu cocog pikeun panggunaan industri, sareng diantara rencana anu paling caket nyaéta formasi versi alfa. cocog pikeun ékspérimén ku pamekar pihak katilu.
Kodeu proyék disebarkeun dina lisénsi LGPL, tapi parobihan terakhir dina gudang utama tanggal Nopémber 2019. Aktivitas umum anu aya hubunganana sareng proyék éta museur dina gudang kalayan garpu pikeun Genode, anu saprak Désémber 2020 parantos diurus ku Anton Antonov, mahasiswa Universitas Innopolis.
Saprak awal 2000s, sistem operasi Phantom geus dimekarkeun salaku proyék pribadi Dmitry Zavalishin, sarta saprak 2010 geus ditransfer dina jangjang pausahaan Digital Zona dijieun ku Dmitry. Sistem ieu kasohor ku fokusna kana réliabilitas anu luhur sareng panggunaan konsép "sagala mangrupikeun obyék" tibatan "sadayana mangrupikeun file", anu ngaleungitkeun pamakean file kusabab pelestarian kaayaan mémori sareng siklus kontinyu. gawe. Aplikasi dina Phantom henteu ditungtungan, tapi ngan direureuhkeun sareng diteruskeun ti mana aranjeunna antepkeun. Sadaya variabel sareng struktur data tiasa disimpen salami aplikasina peryogi, sareng programer henteu kedah ngurus khusus pikeun ngahemat data.
Aplikasi dina Phantom disusun jadi bytecode, nu dijalankeun dina mesin virtual dumasar-tumpukan, sarupa jeung mesin virtual Java. Mesin virtual nyadiakeun kegigihan memori aplikasi - sistem périodik flushes snapshots tina kaayaan mesin virtual ka média pengkuh. Saatos shutdown atawa kacilakaan, pagawean bisa dituluykeun mimitian ti snapshot memori panungtungan disimpen. Snapshots dijieun asynchronously sarta tanpa suspending mesin virtual, tapi snapshot ngarebut hiji-waktos keureut, saolah-olah mesin virtual ieu dieureunkeun, disimpen kana disk, tur dimimitian deui.
Sadaya aplikasi dijalankeun dina spasi alamat global umum, nu eliminates butuh konteks switch antara kernel jeung aplikasi, sarta greatly simplifies na speeds up komunikasi antara aplikasi ngajalankeun dina mesin virtual nu bisa tukeur objék ngaliwatan rujukan ngaliwatan. Separation aksés dilumangsungkeun dina tingkat objék, rujukan nu ngan bisa dimeunangkeun ku nelepon métode pakait (euweuh pointer arithmetic). Sakur data, kaasup nilai numerik, diperlakukeun salaku objék misah.
Pikeun aplikasi, pagawéan katingali terus-terusan sareng henteu gumantung kana reboot OS, kacilakaan, sareng pareum komputer. Model pemrograman pikeun Phantom dibandingkeun sareng ngajalankeun server aplikasi anu teu pernah eureun pikeun basa program obyék. Program porting Java pikeun Phantom dianggap salaku salah sahiji cara utama pikeun ngembangkeun aplikasi, anu difasilitasi ku kasaruaan mesin virtual Phantom sareng JVM. Salian kompiler bytecode pikeun basa Java, proyék ngarencanakeun nyiptakeun kompiler pikeun Python sareng C #, ogé palaksanaan penerjemah tina kode panengah WebAssembly.
Pikeun ngalakukeun operasi anu merlukeun kinerja tinggi, kayaning video na processing audio, kasebut nyaéta dimungkinkeun pikeun ngajalankeun objék binér kalawan kode asli dina threads misah (LLVM dipaké pikeun ngawangun objék binér). Pikeun ngakses jasa kernel tingkat handap, sababaraha kelas VM ("internal" kelas) dilaksanakeun dina tingkat kernel OS. Pikeun ngajalankeun aplikasi Linux, disadiakeun lapisan POSIX nu niru sauran anu dipikabutuh pikeun operasi prosés Unix (kegigihan pikeun aplikasi dina lapisan POSIX henteu acan disayogikeun).
Phantom OS tradisional, sajaba mesin virtual, ngawengku kernel sorangan kalawan palaksanaan threads, manajer memori, collector sampah, mékanisme sinkronisasi, hiji sistem I / O, sarta drivers pikeun gawé kalawan parabot, nu nyata complicates bringing. proyék pikeun kesiapan pikeun pamakéan nyebar. Kapisah, komponén sareng tumpukan jaringan, subsistem grafis sareng antarbeungeut pangguna nuju dikembangkeun. Catet yén subsistem grafik sareng manajer jandela damel di tingkat kernel.
Pikeun ngaronjatkeun stabilitas, portability sarta kaamanan proyek, usaha ieu dipigawé pikeun mindahkeun mesin virtual Phantom digawekeun ku komponén tina sistem operasi microkernel kabuka Genode, ngembangkeun nu diawasan ku parusahaan Jerman Genode Labs. Pikeun anu hoyong ékspérimén sareng Phantom dumasar kana Genode, lingkungan ngawangun khusus dumasar kana Docker parantos disiapkeun.
Ngagunakeun Genode bakal ngamungkinkeun ngagunakeun microkernels geus diuji sarta drivers, kitu ogé pikeun mawa supir kana spasi pamaké (dina formulir maranéhanana ayeuna, supir ditulis dina C tur ngajalankeun dina tingkat kernel Phantom). Khususna, éta bakal tiasa nganggo mikrokernel seL4, anu parantos lulus verifikasi réliabilitas matematika, mastikeun yén palaksanaan saluyu sareng spésifikasi anu dijelaskeun dina basa formal. Kamungkinan nyiapkeun bukti reliabiliti anu sami pikeun mesin virtual Phantom nuju dipertimbangkeun, anu bakal ngamungkinkeun verifikasi sadayana lingkungan OS.
Wewengkon aplikasi utama port basis Genode nyaéta pamekaran aplikasi pikeun sababaraha alat industri sareng dipasang. Ayeuna, sakumpulan parobihan pikeun mesin virtual parantos disiapkeun sareng beungkeutan anu dijalankeun di luhur Genode parantos ditambah pikeun komponén kegigihan kernel sareng antarmuka tingkat rendah utama. Diperhatikeun yén mesin virtual Phantom parantos tiasa dianggo dina lingkungan Genode 64-bit, tapi VM henteu acan dilaksanakeun dina modeu kegigihan, subsistem supir kedah didamel deui, sareng komponén sareng tumpukan jaringan sareng subsistem grafik gaduh. diadaptasi pikeun Genode.
sumber: opennet.ru