最近 項目信息已發布 移植操作系統虛擬機 工作的幻影 微內核操作系統環境 基因節點.
該信息是在一次採訪中披露的,其中指出主要版本的 Phantom OS 現已準備好進行試點項目,而基於 Genode 的版本將在年底前準備好使用。 同時,到目前為止,項目網站上隻公布了一個可行的概念原型,其穩定性和功能性還沒有達到適合工業使用的水平,最接近的計劃是形成一個 alpha 版本.
自 2000 年代初以來,Phantom OS 已被開發 作為 Dmitry Zavalishin 的個人項目,自 2010 年起,它被轉移到 Dmitry 創建的 Digital Zone 公司旗下。
系統 因其專注於高可靠性和使用“一切都是對象”概念而聞名 而不是“一切都是文件”,由於內存狀態的保存和工作的連續循環而消除了文件的使用。
Phantom 中的應用程序不會終止,只是暫停和恢復 從他們住的地方。 只要應用程序需要,所有變量和數據結構都可以存儲,程序員不必特別注意保存數據。
Phantom 中的應用 被編譯成字節碼,它運行在基於堆棧的虛擬機中,類似於 Java 虛擬機。 虛擬機提供應用程序內存持久性:系統定期將虛擬機狀態的快照下載到持久性媒體。
關機或崩潰後, 可以從上次保存的內存快照繼續工作. 快照是異步創建的,不會暫停虛擬機,但快照會捕獲單個段,就像虛擬機已停止、保存到磁盤並再次啟動一樣。
所有應用程序都在一個公共的全局地址空間中運行。,這消除了內核和應用程序之間的上下文切換的需要,並大大簡化並加快了運行在虛擬機中的應用程序之間的通信,這些應用程序可以通過引用傳遞交換對象。
將 Java 程序遷移到 Phantom 考慮到 una 開發應用程序的主要方法, 這得益於 Phantom 虛擬機與 JVM 的相似性。 除了用於 Java 語言的字節碼編譯器之外,該項目還預計會創建 Python 和 C# 編譯器,以及從 WebAssembly 的中間代碼實現翻譯器。
傳統 Phantom OS,加上虛擬機, 包括它自己的內核和線程實現一 內存管理器,垃圾收集器, 同步機制、I/O 系統和與設備一起工作的驅動程序,這使項目準備好廣泛使用變得非常複雜。
另外,正在開發具有網絡堆棧、圖形子系統和用戶界面的組件。 值得注意的是,圖形子系統和窗口管理器在內核級別工作。
為了提高項目的穩定性、可移植性和安全性, 嘗試移植 Phantom 虛擬機以使用組件工作 開放微內核操作系統 基因節點,其開發由德國公司 Genode Labs 監督,對於那些想嘗試基於 Genode 的 Phantom 的人,已經準備了一個基於 Docker 的特殊構建環境。
使用EL Genode 將使使用已經過驗證的微內核和控制器成為可能,以及將驅動程序帶入用戶空間(在當前形式下,驅動程序是用 C 編寫並在 Phantom 內核級別運行)。
特別是,可以使用已通過數學可靠性檢查的 seL4 微內核,確認實現完全符合形式語言中指定的規範。 正在考慮為 Phantom 虛擬機準備類似的可信度測試,這將允許驗證整個操作系統環境。
基於 Genode 的端口的主要應用領域是開發各種工業和嵌入式設備的應用程序。
目前, 已經為虛擬機準備了變更集 並添加了在 Genode 之上運行的鉤子,用於內核的持久性組件和主要的低級接口。
需要注意的是,Phantom VM 已經可以在 Genode 64 位環境下工作,但是 VM 還沒有部署在持久化模式下,驅動子系統需要重新設計,具有網絡堆棧和圖形子系統的組件必須是適用於 Genode。
如果您想進一步了解系統的工作,您可以在 以下鏈接。