Baru-baru ini Informasi tentang proyek ini dirilis untuk mem-port mesin virtual sistem operasi Phantom untuk dikerjakan lingkungan sistem operasi mikrokernel genoda.
Informasi tersebut diungkapkan dalam sebuah wawancara yang menunjukkan bahwa versi utama dari Phantom OS sekarang siap untuk proyek percontohan, dan versi berbasis Genode akan siap digunakan pada akhir tahun. Pada saat yang sama, sejauh ini hanya prototipe konseptual yang layak telah diumumkan di situs web proyek, stabilitas dan fungsionalitasnya belum dibawa ke tingkat yang sesuai untuk penggunaan industri, dan di antara rencana terdekat adalah pembentukan versi alfa. .
Sejak awal 2000-an, Phantom OS telah dikembangkan sebagai proyek pribadi Dmitry Zavalishin dan sejak 2010 ditransfer di bawah sayap perusahaan Zona Digital yang dibuat oleh Dmitry.
Sistem terkenal karena fokusnya pada keandalan tinggi dan penggunaan konsep "semuanya adalah objek" alih-alih "semuanya adalah file", yang menghilangkan penggunaan file karena pelestarian status memori dan siklus kerja yang berkelanjutan.
Aplikasi di Phantom tidak dihentikan, hanya dijeda dan dilanjutkan dari tempat mereka tinggal. Semua variabel dan struktur data dapat disimpan selama aplikasi membutuhkannya, dan pemrogram tidak perlu melakukan perawatan khusus untuk menyimpan data.
Aplikasi di Phantom dikompilasi menjadi bytecode, yang berjalan di mesin virtual berbasis tumpukan, mirip dengan mesin virtual Java. Mesin virtual menyediakan persistensi memori aplikasi: sistem secara berkala mengunduh snapshot dari status mesin virtual ke media persisten.
Setelah shutdown atau crash, pekerjaan dapat dilanjutkan dari snapshot memori terakhir yang disimpan. Snapshot dibuat secara asinkron dan tanpa menangguhkan mesin virtual, tetapi snapshot menangkap satu segmen, seolah-olah mesin virtual dihentikan, disimpan ke disk, dan dimulai lagi.
Semua aplikasi berjalan di ruang alamat global yang sama., yang menghilangkan kebutuhan untuk sakelar konteks antara kernel dan aplikasi, dan sangat menyederhanakan dan mempercepat komunikasi antara aplikasi yang berjalan di mesin virtual yang dapat bertukar objek melalui penerusan referensi.
Migrasi Program Java ke Phantom dianggap sebagai cara utama untuk mengembangkan aplikasi, yang difasilitasi oleh kesamaan mesin virtual Phantom dengan JVM. Selain kompiler bytecode untuk bahasa Java, proyek ini memperkirakan pembuatan kompiler untuk Python dan C#, serta implementasi penerjemah dari kode perantara WebAssembly.
Phantom OS tradisional, ditambah mesin virtual, termasuk kernelnya sendiri dengan implementasi utassebuah manajer memori, pengumpul sampah, mekanisme sinkronisasi, sistem I/O dan driver untuk bekerja dengan peralatan, yang secara signifikan memperumit kesiapan proyek untuk digunakan secara luas.
Secara terpisah, komponen dengan tumpukan jaringan, subsistem grafis, dan antarmuka pengguna sedang dikembangkan. Perlu dicatat bahwa subsistem grafis dan window manager bekerja pada level kernel.
Untuk meningkatkan stabilitas, portabilitas dan keamanan proyek, mencoba mem-port mesin virtual Phantom untuk bekerja menggunakan komponen buka sistem operasi mikrokernel genoda, yang pengembangannya diawasi oleh perusahaan Jerman Genode Labs. Bagi yang ingin bereksperimen dengan Phantom berbasis Genode, telah disiapkan lingkungan build khusus berbasis Docker.
Penggunaan Genode akan memungkinkan untuk menggunakan mikrokernel dan pengontrol yang sudah terbukti, serta membawa driver ke ruang pengguna (dalam bentuknya saat ini, driver ditulis dalam C dan dijalankan pada level kernel Phantom).
Secara khusus, dimungkinkan untuk menggunakan mikrokernel seL4, yang telah lulus pemeriksaan keandalan matematis, yang mengonfirmasikan bahwa implementasi sepenuhnya sesuai dengan spesifikasi yang ditentukan dalam bahasa formal. Pertimbangan sedang diberikan untuk mempersiapkan tes kepercayaan serupa untuk mesin virtual Phantom, yang akan memungkinkan seluruh lingkungan sistem operasi untuk diverifikasi.
Area aplikasi utama dari port berbasis Genode adalah pengembangan aplikasi untuk berbagai perangkat industri dan tertanam.
Saat ini, set perubahan telah disiapkan untuk mesin virtual dan kait telah ditambahkan yang berjalan di atas Genode untuk komponen ketekunan kernel dan antarmuka tingkat rendah utama.
Perlu dicatat bahwa Phantom VM sudah dapat bekerja di lingkungan Genode 64-bit, tetapi VM belum digunakan dalam mode persistensi, subsistem driver perlu dikerjakan ulang, dan komponen dengan tumpukan jaringan dan subsistem grafis harus disesuaikan untuk Genode.
Jika Anda ingin tahu lebih banyak tentang cara kerja sistem, Anda dapat berkonsultasi dengan detail di link berikut.