2015年叫板Docker的7个Unikernel项目

  • 来源:云头条
  •  2015-12-13
  •   浏览 2308 次

本文作者Xen项目咨询委员会主席Lars Kurth在上一篇文章中深入介绍了Unikernel的崛起,本文接着介绍今后几个月值得密切关注的几个新兴项目。

Docker和Linux容器技术如今备受媒体关注,这种强大而简易的方法可用来封装应用程序,尤其是由于云计算变得更主流。虽然这类技术仍在发展之中,但它们提供了一种简单、干净又精简的方式来分配应用程序工作负载。

随着容器创新方面的热情越来越高涨,一种名为Unikernel的相关技术也开始引起注意。Unikernel又以能够在组件层面干净利落地分离功能而著称,它正带来众多新的方法以部署云服务。

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

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

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

今年有几个新兴的开源项目值得关注,其中包括ClickOS、Clive、HaLVM、LING、MirageOS、Rump Kernels和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是一款操作系统,旨在可以在分布式和云计算环境下工作。

它的主要设计准则如下:

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

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

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

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

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

使用手册(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

HaLVM

Haskell轻量级虚拟机(HaLVM))是Glasgow Haskell Compiler工具套件的移植版,该工具套件让开发人员可以编写高级的轻量级虚拟机,可在Xen虚拟机管理程序上直接运行。

虽然Galois最初设计HaLVM的初衷是便于快速、轻松地为操作系统组件建立原型,但是它取得了长足发展,现在支持一系列广泛得多的使用场合。比如说,如果结合适当的库,HaLVM就能作为网络设备来运行。

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

LING

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

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

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

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

相关链接:http://erlangonxen.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

Rump Kernels

Rump Kernels让你能够构建所需的软件堆栈,而不会迫使你重新发明轮子。软件堆栈需要类似驱动程序的组件,它们按传统方式紧密组合到操作系统里面――即使你不想要某个操作系统的限制和基础设施开销,也确实需要驱动程序。

Pump Kernels解决这个问题的办法是,提供了免费、可重复使用、组件化、内核质量的驱动程序,比如文件系统、POSIX系统调用、PCI设备驱动程序以及TCP/IP和SCSI协议堆栈。Rumprun Unikernel是一种随时可投入到生产环境的技术,它只有几千行代码,外加Rump Kernel组件,支持POSIX化的软件直接在原始硬件和云虚拟机管理程序(比如KVM和Xen)上运行。Rump Kernels还可以集成到第三方平台中。

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

OSv

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

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

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

To Top