最近、システム開発の世界はUnikernelsに興奮しています。簡単に言うと、Unikernelsは、既存のオペレーティングシステムのプロセスではなく、内蔵の起動可能なオペレーティングシステムにコンパイルされたアプリケーションです。ガベージコレクション言語のコードはUnikernelを生成できますか？
Google Goのようなガベージコレクトされた言語からUnikernelをコンパイルするための理論的な問題や実際の注意点はありますか？
ガベージコレクトされた言語からユニークカーネルをコンパイルするための理論上の問題や実際的な警告はありません。実際、最初のユニークなプロジェクトの1つであるMirageOSは、ガベージコレクタを備えた関数型プログラミング言語OCamlのユニークな言語を開発するためのフレームワークです。 Haskell、HaLVM、およびErlang/OTPの言語固有のユニークなフレームワークであるLINGも存在し、ユーザーコミュニティが拡大しています。 Cliveのようなgolangベースのユニークなプロジェクトもあります。
ブラウズするユニークなプロジェクト空間の包括的かつ最新のリストについては、the unikernel.org projects listを参照してください。