Unikernels: The Next Stage of Linux's Dominance

ABSTRACT

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.

References

1. LibOS. htps://github.com/libos-nuse/linux-libos-tools. (Accessed on 04/08/2019). Google Scholar
2. November 2018 | TOP500 Supercomputer Sites. htps://www.top500.org/lists/2018/11/. (Accessed on 04/08/2019). Google Scholar
3. Kernel mode linux | linux journal. htps://www.linuxjournal.com/article/6516, May 2003. (Accessed on 04/08/2019). Google Scholar
4. Data Plane Development Kit. htps://www.dpdk.org/, 2018. (Accessed on 04/06/2019). Google Scholar
5. Storage Performance Development Kit. htps://spdk.io/, 2018. (Accessed on 01/16/2019). Google Scholar
6. UKL: A Unikernel Based on Linux. htps://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/, November 2018. (Accessed on 04/08/2019). Google Scholar
7. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the Art of Virtualization. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, SOSP '03, pages 164--177, New York, NY, USA, 2003. ACM. Google Scholar Digital Library
8. Andrew Baumann, Marcus Peinado, and Galen Hunt. Shielding applications from an untrusted cloud with haven. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), pages 267--283, Broomfield, CO, 2014. USENIX Association. Google Scholar Digital Library
9. Alfred Bratterud, Alf-Andre Walla, Hårek Haugerud, Paal E Engelstad, and Kyrre Begnum. IncludeOS: A Minimal, Resource Efficient Unikernel for Cloud Services. In Cloud Computing Technology and Science (CloudCom), 2015 IEEE 7th International Conference on, pages 250--257. IEEE, 2015. Google Scholar Digital Library
10. Jeff Dike. A user-mode port of the Linux kernel. In Annual Linux Showcase & Conference, 2000. Google Scholar Digital Library
11. Ulrich Drepper. ELF Handling For Thread-Local Storage. December 21, 2005. Google Scholar
12. D. R. Engler, M. F. Kaashoek, and J. O'Toole, Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, SOSP '95, pages 251--266, New York, NY, USA, 1995. ACM. Google Scholar Digital Library
13. Jon Howell, Bryan Parno, and John R. Douceur. Embassies: Radically refactoring the web. In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13), pages 529--545, 2013. Google Scholar Digital Library
14. Intel. htps://www.dpdk.org/, 2010. {Online; accessed 17-January-2019}. Google Scholar
15. Jake Edge. ELC: SpaceX lessons learned. htps://lwn.net/Articles/540368/. {Online; accessed 7-April-2019}. Google Scholar
16. Antti Kantee. The Rise and fall of the Operating System. http://www.fixup.fi/misc/usenix-login-2015/login_oct15_02_kantee.pdf. (Accessed on 04/08/2019). Google Scholar
17. Avi Kivity, Dor Laor Glauber Costa, and Pekka Enberg. OSv - Optimizing the Operating System for Virtual Machines. In Proceedings of USENIX ATC 2014: 2014 USENIX Annual Technical Conference, page 61, 2014. Google Scholar Digital Library
18. Ricardo Koller and Dan Williams. Will Serverless End the Dominance of Linux in the Cloud? In Proceedings of the 16th Workshop on Hot Topics in Operating Systems, pages 169--173. ACM, 2017. Google Scholar Digital Library
19. Orran Krieger, Michael Stumm, and Ron Unrau. The Alloc Stream Facility: A Redesign of Application-level Stream I/O. Computer, 27(3):75--82, March 1994. Google Scholar Digital Library
20. Krieger, Orran and Auslander, Marc and Rosenburg, Bryan and Wisniewski, Robert W. and Xenidis, Jimi and Da Silva, Dilma and Ostrowski, Michal and Appavoo, Jonathan and Butrico, Maria and Mergen, Mark and Waterland, Amos and Uhlig, Volkmar. K42: Building a Complete Operating System. In Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, EuroSys '06, pages 133--145, New York, NY, USA, 2006. ACM. Google Scholar Digital Library
21. Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, and Jon Crowcroft. Unikernels: Library Operating Systems for the Cloud. In Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, pages 461--472, New York, NY, USA, 2013. ACM. Google Scholar Digital Library
22. Anil Madhavapeddy and David J Scott. Unikernels: Rise of the Virtual Library Operating System. Queue, 11(11):30, 2013. Google Scholar Digital Library
23. Toshiyuki Maeda and Akinori Yonezawa. Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. In Annual Asian Computing Science Conference, pages 3--17. Springer, 2003. Google Scholar Cross Ref
24. Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, and Felipe Huici. My VM is Lighter (and Safer) than your Container. In Proceedings of the 26th Symposium on Operating Systems Principles, pages 218--233. ACM, 2017. Google Scholar Digital Library
25. Kirk McKusick. The jail facility in FreeBSD 5.2. https://www.usenix.org/publications/login/august-2004-volume-29-number-4/jail-facility-freebsd-52, 2005. (Accessed on 04/05/2019). Google Scholar
26. Michael Larabel. The Linux Kernel Has Grown By 225k Lines of Code So Far This Year From 3.3k Developers. htps://www.phoronix.com/scan.php?page=news_item&px=Linux-September-2018-Stats, 2018. (Accessed on 01/16/2019). Google Scholar
27. Octavian Purdila, Lucian Adrian Grijincu, and Nicolae Tapus. LKL: The Linux Kernel Library. In Roedunet International Conference (RoEduNet), 2010 9th, pages 328--333. IEEE, 2010. Google Scholar
28. Luigi Rizzo. Netmap: A Novel Framework for Fast Packet I/O. In 21st USENIX Security Symposium (USENIX Security 12), 2012. Google Scholar Digital Library
29. Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, and Jonathan Appavoo. EbbRT: A Framework for Building Per-Application Library Operating Systems. In Operating Systems Design and Implementation, volume 16, pages 671--688, 2016. Google Scholar Digital Library
30. Stephen Soltesz, Herbert Pötzl, Marc E. Fiuczynski, Andy Bavier, and Larry Peterson. Container-Based Operating System Virtualization: A Scalable, High-Performance Alternative to Hypervisors. In ACM SIGOPS Operating Systems Review, volume 41, pages 275--287. ACM, 2007. Google Scholar Digital Library
31. Liang Wang, Mengyuan Li, Yinqian Zhang, Thomas Ristenpart, and Michael Swift. Peeking Behind the Curtains of Serverless Platforms. In Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference, USENIX ATC '18, pages 133--145, Berkeley, CA, USA, 2018. USENIX Association. Google Scholar Digital Library
32. Sage A. Weil, Scott A. Brandt, Ethan L. Miller, Darrell D.E. Long, and Carlos Maltzahn. Ceph: A Scalable, High-Performance Distributed File System. In Proceedings of the 7th symposium on Operating systems design and implementation, pages 307--320. USENIX Association, 2006. Google Scholar Digital Library
33. Dan Williams, Ricardo Koller, Martin Lucina, and Nikhil Prakash. Unikernels As Processes. In Proceedings of the ACM Symposium on Cloud Computing, SoCC '18, pages 199--211, New York, NY, USA, 2018. ACM. Google Scholar Digital Library