本文作者Xen项目咨询委员会主席Lars Kurth在上一篇文章中深入介绍了Unikernel的崛起，本文接着介绍今后几个月值得密切关注的几个新兴项目。Docker和Linux容器技术如今备受媒体关注，这种强大而简易的方法可用来封装应用程序，尤其是由于云(如阿里云)计算变得更主流。虽然这类技术仍然在发展之中，但是它们提供了一种简单、干净又精简的方式来分配应用程序工作负载。随着容器创新方面的热情越来越高涨，一种名为Unikernel的相关技术也开始引起注意。Unikernel又以能够在组件层面干净利落地分离功能而著称，它正带来众多新的方法以部署云服务。

　　传统的操作系统在单一机器上运行多个应用程序，管理资源，并将应用程序彼此隔离开来。Unikernel则在单一虚拟机上运行单一应用程序，改而依赖虚拟机管理程序(hypervisor)来隔离那些虚拟机。Unikernel通过使用“库操作系统”来构建，开发人员只要选择应用程序运行所需的一组最基本的服务就可以了。这些密封的、用途固定的映像直接在虚拟机管理程序上运行，没像Linux这种干预性的访客操作系统。

　　Unikernel图解(图片来源：Xen项目)

　　除了改进容器技术外，Unikernel还能为跨平台环境、大数据分析和横向扩展型云计算带来出色的灵活性、速度和多功能性。与基于容器的解决方案一样，这项技术兑现了易于部署的承诺，但Unikernel还提供了极其小巧的、专门的运行时环境，受到攻击的可能性要小得多。

　　今年有几个新兴的开源项目值得关注，其中包括ClickOS、HaLVM、Clive、LING、Rump Kernels、MirageOS和OSv，每一个项目都注重Unikernel方法的不同方面。比如说，MirageOS和HaLVM采取了全新设计(clean-slate)的方法，专注于安全性，ClickOS注重速度，而OSv和Rump Kernels旨在与老式软件兼容。若使用现有的整体式操作系统，不可能获得这类灵活的方法，现有的整体式操作系统已经积累了数十年的假设和取舍。

　　Unikernel怎样能提供更好的安全性?各种Unikernel实现技术采取的方法有什么不同?如今谁在使用这项技术?它给云和数据中心运营方带来的主要好处有哪些?虚拟机管理程序上的Unikernel会取代容器吗，还是说企业会结合使用这三种技术?如果是这样，如何结合使用，为何结合使用?后续文章会逐一解答这些问题，并给出这些新兴项目背后的主要开发人员的真知灼见。

　　ClickOS

　　这是一种极简、定制的虚拟化操作系统，旨在运行基于Click的中间设备(middlebox)。

　　最近的网络功能虚拟化(NFV)潮流有望将中间设备处理从基于硬件的设备向在廉价的大众化硬件(如配备万兆网卡的x86服务器)上运行的软件转变。ClickOS正是为实现这个目的而开发的一种高性能虚拟化软件中间设备平台。它包括在MiniOS(一种源自Xen的极简操作系统)上运行的Click模块化路由器软件，另外对网络输入/输出进行了优化，以便为几乎所有大小的数据包提供万兆吞吐率。这些虚拟机很小巧(6MB)，启动速度快(大约30毫秒)，增加的延迟很短(45微秒)。构建操作系统映像需要工具链(toolchain)，而工具堆栈(toolstack)可在数毫秒内启动虚拟机。

　　相关链接：http://cnp.neclab.eu/clickos/

　　Clive

　　Clive的口号是：消除云中的大部分软件堆栈。

　　Clive是一款操作系统，旨在可以在分布式和云计算环境下工作。

　　它的主要设计准则如下：

　　云中没有软件堆栈。应用程序和服务连同库一起编译，库允许应用程序和服务可以在裸机硬件上运行。

　　这个项目刚开始，不过已经有一些软件和说明文档。

　　这种设计主要归功于Plan 9和Nix。

　　Clive文档草案(http://lsub.org/export/clivesys.pdf)介绍了这个系统。

　　系统接口按照类似CSP的方式来设计。应用程序和组件通过通道(channel)来对话，而通道与网络、管道及其他任何输入/输出工件实现连接。

　　使用手册(http://lsub.org/sys/man/)详细记载了程序包和命令。

　　用来编译Clive软件的修改后的go编译器可以使用如下命令来下载和安装：

　　git clonegit://git.lsub.org/golang.git golang

　　cd golang

　　git checkoutlsub

　　GOROOT=`pwd`

　　cd src

　　all.bash

　　clive软件可以使用如下命令来下载：

　　git clone git://git.lsub.org/clive.git clive

　　cd clive

　　相关链接：http://lsub.org/ls/clive.html

　　LING

　　LING是一种新的Erlang平台，可以直接在Xen上运行。你可以减少管理难题，提升安全和性能。

　　LING与Erlang/OTP高度兼容，可以理解.beam文件。

　　LING启动到外壳只需不到100毫秒。实例可以在请求后启动。LING是扩展性超强的云的构建模块。

　　LING消除了大多数攻击途径。它只使用3个外部库，不使用OpenSSL。文件系统具有只读属性。

　　相关链接：http://erlangonxen.org

　　HaLVM

　　Haskell轻量级虚拟机(HaLVM))是Glasgow Haskell Compiler工具套件的移植版，该工具套件让开发人员可编写高级的轻量级虚拟机，可以在Xen虚拟机管理程序上直接运行。虽然Galois最初设计HaLVM的初衷是便于快速、轻松地为操作系统组件建立原型，但它取得了长足发展，现在支持一系列广泛得多的使用场合。比如若结合适当的库，HaLVM就能作为网络设备来运行。

　　相关链接：https://galois.com/project/halvm/

　　Rump Kernels

　　Rump Kernels让你能够构建所需的软件堆栈，而不会迫使你重新发明轮子。软件堆栈需要类似驱动程序的组件，它们按传统方式紧密组合到操作系统里面――即使你不想要某个操作系统的限制和基础设施开销，也确实需要驱动程序。Pump Kernels解决这个问题的办法是，提供了免费、可重复使用、组件化、内核质量的驱动程序，比如文件系统、POSIX系统调用、PCI设备驱动程序以及TCP/IP和SCSI协议堆栈。Rumprun Unikernel是一种随时可投入到生产环境的技术，它只有几千行代码，外加Rump Kernel组件，支持POSIX化的软件直接在原始硬件和云虚拟机管理程序(比如KVM和Xen)上运行。Rump Kernels还可以集成到第三方平台中。

　　相关链接：http://rumpkernel.org

　　MirageOS

　　MirageOS是一种库操作系统，它可以为跨众多云计算和移动平台运行的安全、高性能的网络应用程序构建Unikernel。可以在Linux和MacOS X之类的平常操作系统上开发代码，然后编译成完全独立、专门的Unikernel，可在Xen虚拟机管理程序下运行。由于Xen支持大多数公有云(如阿里云)计算基础设施，如亚马逊EC2或Rackspace，这样一来，相比使用全面软件堆栈的系统，你的服务器运行起来成本更低、安全性更高，可实现更精细化的控制。

　　MirageOS使用OCaml语言，代码库提供了开发过程中适用于Unix下的网络、存储和并发支持，但是编译后可以变成操作系统驱动程序，部署到生产环境中。该框架完全是事件驱动型，不支持抢占式线程。MirageOS 1.0已在2013年12月发布，随后在2014年7月发布了MirageOS2.0。

　　相关链接：http://openmirage.org

　　OSv

　　OSv是一种为云设计的开源操作系统。它是从头开始全新设计的，旨在实现轻松部署和管理，性能很出众。

　　OSv减少了传统操作系统带来的内存和处理器开销。调度很轻盈，应用程序和内核协同运行，内存池共享。OSv提供了无与伦比的短延迟和稳定性能，这减少了操作系统实例的大小和数量，直接节省了资本开支。

　　语言运行时环境、操作系统和虚拟机管理程序都提供了保护和抽象机制。OSv简化了操作系统，从而尽量减少了这几层的冗余。

　　相关链接：http://osv.io