Unikernels: The Next Stage of Linux's Dominance

Unikernels have demonstrated enormous advantages over Linux in many important domains, causing some to propose that the days of Linux's dominance may be coming to an end. On the contrary, we believe that unikernels' advantages represent the next natural evolution for Linux, as it can adopt the best ideas from the unikernel approach and, along with its battle-tested codebase and large open source community, continue to dominate. In this paper, we posit that an upstreamable unikernel target is achievable from the Linux kernel, and, through an early Linux unikernel prototype, demonstrate that some simple changes can bring dramatic performance advantages.

[1]  David J. Scott,et al.  Unikernels: the rise of the virtual library operating system , 2013, CACM.

[2]  Don Marti,et al.  OSv - Optimizing the Operating System for Virtual Machines , 2014, USENIX Annual Technical Conference.

[3]  Antti Kantee The Rise and Fall of the Operating System , 2015, login Usenix Mag..

[4]  BY anIL maDhaVaPeDDY,et al.  What if all the software layers in a virtual appliance were compiled within the same safe , high-level language framework ? , 2013 .

[5]  Mengyuan Li,et al.  Peeking Behind the Curtains of Serverless Platforms , 2018, USENIX Annual Technical Conference.

[6]  Galen C. Hunt,et al.  Shielding Applications from an Untrusted Cloud with Haven , 2014, OSDI.

[7]  Luigi Rizzo,et al.  netmap: A Novel Framework for Fast Packet I/O , 2012, USENIX ATC.

[8]  Dan Williams,et al.  Unikernels as Processes , 2018, SoCC.

[9]  Akinori Yonezawa,et al.  Kernel Mode Linux: Toward an Operating System Protected by a Type Theory , 2003, ASIAN.

[10]  Dawson R. Engler,et al.  Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.

[11]  Michael Stumm,et al.  The Alloc Stream Facility: a redesign of application-level stream I/O , 1994, Computer.

[12]  Hans Werner Meuer,et al.  Top500 Supercomputer Sites , 1997 .

[13]  Florian Schmidt,et al.  My VM is Lighter (and Safer) than your Container , 2017, SOSP.

[14]  Jeff Dike,et al.  A user-mode port of the Linux kernel , 2000, Annual Linux Showcase & Conference.

[15]  Carlos Maltzahn,et al.  Ceph: a scalable, high-performance distributed file system , 2006, OSDI '06.

[16]  Larry L. Peterson,et al.  Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors , 2007, EuroSys '07.

[17]  Han Dong,et al.  EbbRT: A Framework for Building Per-Application Library Operating Systems , 2016, OSDI.

[18]  Jon Howell,et al.  Embassies: Radically Refactoring the Web , 2013, NSDI.

[19]  Anil Madhavapeddy,et al.  Unikernels: Rise of the Virtual Library Operating System , 2013 .

[20]  Dilma Da Silva,et al.  K42: building a complete operating system , 2006, EuroSys.

[21]  Jon Crowcroft,et al.  Unikernels: library operating systems for the cloud , 2013, ASPLOS '13.

[22]  Nicolae Tapus,et al.  LKL: The Linux kernel library , 2010, 9th RoEduNet IEEE International Conference.

[23]  Dan Williams,et al.  Will Serverless End the Dominance of Linux in the Cloud? , 2017, HotOS.

[24]  Paal E. Engelstad,et al.  IncludeOS: A Minimal, Resource Efficient Unikernel for Cloud Services , 2015, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom).