最近 プロジェクトに関する情報が公開されました オペレーティングシステムの仮想マシンを移植する 取り組むファントム マイクロカーネルオペレーティングシステム環境 ゲノデ.
情報はインタビューで開示され、メインバージョンの これで、PhantomOSがパイロットプロジェクトに対応できるようになりました、およびGenodeベースのバージョンは年末までに使用できるようになります。 同時に、これまでのところ、実行可能な概念的なプロトタイプのみがプロジェクトのWebサイトで発表されており、その安定性と機能は産業用途に適したレベルに達していません。最も近い計画の中には、バージョンアルファの形成があります。 。
2000年代初頭以来、PhantomOSが開発されてきました Dmitry Zavalishinの個人的なプロジェクトとして、2010年以降、Dmitryによって作成されたDigitalZone会社の翼の下に移管されています。
システム 高い信頼性と「すべてがオブジェクトである」という概念の使用に重点を置いていることで知られています 「すべてがファイルである」の代わりに、メモリ状態の保存と作業の継続的なサイクルによりファイルの使用を排除します。
Phantomのアプリは終了せず、一時停止して再開するだけです 彼らが滞在した場所から。 すべての変数とデータ構造は、アプリケーションが必要とする限り保存でき、プログラマーはデータを保存するために特別な注意を払う必要はありません。
ファントムのアプリケーション バイトコードにコンパイルされます、Java仮想マシンと同様に、スタックベースの仮想マシンで実行されます。 仮想マシンはアプリケーションメモリの永続性を提供します。システムは仮想マシンの状態のスナップショットを永続メディアに定期的にダウンロードします。
シャットダウンまたはクラッシュ後、 最後に保存されたメモリスナップショットから作業を続行できます。 スナップショットは、仮想マシンを一時停止せずに非同期で作成されますが、スナップショットは、仮想マシンが停止され、ディスクに保存され、再開されたかのように、単一のセグメントをキャプチャします。
すべてのアプリケーションは、共通のグローバルアドレス空間で実行されます。、これにより、カーネルとアプリケーション間のコンテキストスイッチが不要になり、参照の受け渡しを介してオブジェクトを交換できる仮想マシンで実行されているアプリケーション間の通信が大幅に簡素化および高速化されます。
Javaプログラムのファントムへの移行 と見なされます アプリケーションを開発する主な方法の これは、Phantom仮想マシンとJVMの類似性によって促進されます。 このプロジェクトでは、Java言語用のバイトコードコンパイラに加えて、PythonおよびC＃用のコンパイラの作成、およびWebAssemblyの中間コードからのトランスレータの実装を予測しています。
従来のPhantomOSと仮想マシン、スレッド実装を備えた独自のカーネルが含まれています、 メモリマネージャー、ガベージコレクター、 同期メカニズム、I / Oシステム、および機器を操作するためのドライバー。これにより、プロジェクトを広く使用できるようにすることが非常に複雑になります。
これとは別に、ネットワークスタック、グラフィカルサブシステム、およびユーザーインターフェイスを備えたコンポーネントが開発されています。 グラフィックサブシステムとウィンドウマネージャーはカーネルレベルで機能することに注意してください。
プロジェクトの安定性、移植性、セキュリティを向上させるために、 コンポーネントを使用して動作するようにPhantom仮想マシンを移植しようとしました オープンマイクロカーネルオペレーティングシステム ゲノデ、その開発はドイツの会社Genode Labsによって監督されています。GenodeをベースにしたPhantomを実験したい人のために、Dockerをベースにした特別なビルド環境が用意されています。
の使用 Genodeは、すでに実証済みのマイクロカーネルとコントローラーを使用できるようにします、およびドライバーをユーザースペースに取り込む（現在の形式では、ドライバーはCで記述され、Phantomカーネルレベルで実行されます）。
特に、数学的信頼性チェックに合格したseL4マイクロカーネルを使用することが可能であり、実装が形式言語で指定された仕様に完全に準拠していることを確認します。 Phantom仮想マシンに対して同様の信頼性テストを準備することを検討しています。これにより、オペレーティングシステム環境全体を検証できます。
Genodeベースのポートの主なアプリケーション領域は、さまざまな産業用および組み込みデバイス用のアプリケーションの開発です。
現在のところ、 チェンジセットは仮想マシン用にすでに準備されています カーネルの永続性コンポーネントと主要な低レベルインターフェースのためにGenode上で実行されるフックが追加されました。
PhantomVMはすでにGenode64ビット環境で動作できますが、VMはまだ永続モードでデプロイされておらず、ドライバーサブシステムを作り直す必要があり、ネットワークスタックとグラフィックサブシステムを備えたコンポーネントはGenodeに適合。
システムの動作について詳しく知りたい場合は、の詳細を参照してください。 次のリンク。