可以從垃圾收集語言中生成一個Unikernel？

Question

最近，系統開發領域對Unikernels感到非常興奮。簡而言之，Unikernels是編譯爲自包含的可引導操作系統而不是現有操作系統中的進程的應用程序。

從谷歌的Go這樣的垃圾收集語言編譯Unikernel是否存在任何理論問題或實際警告？

Answer 1

從垃圾收集語言編譯unikernel沒有理論問題或實際警告。事實上，第一個unikernel項目之一MirageOS是一個用OCaml開發unikernels的框架，它是一個帶有垃圾回收器的函數式編程語言。 Haskell的特定於語言的unikernel框架，HaLVM和Erlang/OTP，LING也存在並且具有不斷增長的用戶社區。甚至還有基於golang的unikernel項目，如Clive。

瀏覽the unikernel.org projects list瞭解爆炸的unikernel項目空間的更全面和最新的列表。