學習網址：
1、https://www.xenproject.org/developers/teams/mirage-os.html
什麼是mirageOS？
Mirage是一個exokernel（也稱爲雲操作系統），用於在各種雲計算，嵌入式和移動平臺上構建安全，高性能的網絡應用程序。Mirage OS最初設計用於雲端使用，這就是爲什麼我們稱之爲雲操作系統。Mirage OS應用程序是在桌面操作系統（如Linux或Mac OSX）上以高級功能編程語言（OCaml）開發的，然後被編譯爲完全獨立的專用微內核。這些微內核直接運行在Xen Project虛擬機管理程序API上。由於Xen項目爲Amazon EC2，Rackspace Cloud等許多公共雲提供功能，所以Mirage可以讓您的服務器在任何基於Xen Project的雲端或託管服務中更便宜，更安全，更快速地運行。
2、Unikernels - Xenhttps://wiki.xenproject.org/wiki/Unikernels
什麼是Unikernel？
通常，虛擬機管理程序將虛擬機加載到功能齊全的操作系統中，如Linux，Windows或其中一個BSD的一些風格。這些操作系統被設計爲在硬件上運行，因此它們具有來自各種具有不同設計概念的供應商的各種硬件驅動程序所需的所有複雜性。這些操作系統也用於多用戶，多進程和多用途。它們被設計爲每個人的一切，所以它們必然是複雜和龐大的。
另一方面，Unikernel是（通常）單用途。它不是設計爲在硬件上運行，因此缺乏驅動程序的膨脹和複雜性。它不是多用戶或多進程的，所以它可以專注於創建一個運行一個應用程序的代碼和一個應用程序的線程。大多數不是多用途的，因爲目標是創建特定實例將執行的單個有效載荷（OSv是一個例外）。由於這種單一設計，Unikernel的體積小巧輕便。
新名詞的解釋：
http://baike.baidu.com/link?url=mFY_e6E-UVzDh3YEoJZTZnozxflwsB7aUI28ocrkbCr-74G3ome0fEz0cywWg9IZs3Ukn9Al786rIhmZUg3GcK
-
VPS
- VPS（Virtual Private Server 虛擬專用服務器）技術，將一臺服務器分割成多個虛擬專享服務器的優質服務。實現VPS的技術分爲容器[1] 技術，和虛擬化技術[2] 。在容器或虛擬機中，每個VPS都可分配獨立公網IP地址、獨立操作系統、實現不同VPS間磁盤空間、內存、CPU資源、進程和系統配置的隔離，爲用戶和應用程序模擬出“獨佔”使用計算資源的體驗。VPS可以像獨立服務器一樣，重裝操作系統，安裝程序，單獨重啓服務器。VPS爲使用者提供了管理配置的自由，可用於企業虛擬化，也可以用於IDC資源租用。
HVM和PV的解釋與區別：
在XEN中pv是半虛擬化，hvm是全虛擬化，pv只能用於linux內核的系統，效率更高，hvm可以虛擬所有常見操作系統(可以使用windows)，理論效率比pv略低，另外，hvm需要cpu虛擬化指令支持，pv無此要求。KVM是新興的虛擬化項目，出售KVM的VPS商家不多，但據說KVM虛擬技術是比較強悍的。而OpenVZ是一個類似於Linux-VServer的操作系級全虛擬化解決方案，目前基於Xen和OpenVZ的VPS服務商比較多。
學習xen虛擬化的文章：Xen虛擬化技術中PV和HVM的區別 - cgj - 博客園
http://www.cnblogs.com/jiayy/p/3765591.html
半虛擬化(PV)需要一個xen-PV-enabled內核和PV驅動，而Linux、netBSD中都提供了；不需要物理機CPU含有虛擬化擴展。
全虛擬化（hvm）技術需要Intel VT或AMD-V硬件擴展——》來提高仿真的性能，但不需要任何的內核支持（比如就可以實現非開源的windoes了，而半虛擬化就需要修改內核）；xen使用qemu來仿真PC硬件（包括BIOS、IDE硬盤控制器、顯卡、USB、網卡等）。
Virtualization Spectrum - Xenhttps://wiki.xenproject.org/wiki/Virtualization_Spectrum
Unikernels - O'Reilly Media
http://www.oreilly.com/webops-perf/free/unikernels.csp