research-article

Free access

Unikernels: the rise of the virtual library operating system

Authors:

Anil Madhavapeddy,

David J. ScottAuthors Info & Claims

Communications of the ACM, Volume 57, Issue 1

Pages 61 - 69

https://doi.org/10.1145/2541883.2541895

Published: 01 January 2014 Publication History

All formats PDF

Abstract

What if all the software layers in a virtual appliance were compiled within the same safe, high-level language framework?

References

[1]

Barham, P. et al. Xen and the art of virtualization. In Proceedings of the 19^th ACM Symposium on Operating Systems Principles (2003), 164--177.

Digital Library

Google Scholar

[2]

Cloudius Systems. OSv; https://github.com/cloudiussystems/osv.

Google Scholar

[3]

Colp, P. et al. A. Breaking up is hard to do: Security and functionality in a commodity hypervisor. In Proceedings of the 23^rd ACM Symposium on Operating Systems Principles (2011), 189--202.

Digital Library

Google Scholar

[4]

Crowcroft, J., Madhavapeddy, A., Schwarzkopf, M., Hong, T. and Mortier, R. Unclouded vision. In Proceedings of the International Conference on Distributed Computing and Networking, 29--40.

Digital Library

Google Scholar

[5]

Eisenstadt, M. My hairiest bug war stories. Commun. ACM 40, 4 (Apr. 1997), 30--37.

Digital Library

Google Scholar

[6]

Engler, D. R., Kaashoek, M. F. and O'Toole, Jr., J. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15^th ACM Symposium on Operating Systems Principles, (1995), 251--266.

Digital Library

Google Scholar

[7]

Eriksen, M. Your server as a function. In Proceedings of the 7^th Workshop on Programming Languages and Operating Systems, (2013), 5:1--5:7.

Digital Library

Google Scholar

[8]

Galois Inc. The Haskell Lightweight Virtual Machine (HaLVM) source archive; https://github.com/GaloisInc/HaLVM.

Google Scholar

[9]

Kantee, A. Flexible operating system internals: The design and implementation of the anykernel and rump kernels. Ph.D. thesis, Aalto University, Espoo, Finland, 2012.

Google Scholar

[10]

Leslie, I.M. et al. The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal of Selected Areas in Communications 14, 7 (1996), 1280--1297.

Digital Library

Google Scholar

[11]

Madhavapeddy, A., Ho, A., Deegan, T., Scott, D. and Sohan, R. Melange: Creating a "functional" Internet. SIGOPS Operating Systems Review 41, 3 (2007), 101--114.

Digital Library

Google Scholar

[12]

Madhavapeddy, A., Mortier, R., Crowcroft, J. and Hand, S. Multiscale not multicore: Efficient heterogeneous cloud computing. In Proceedings of ACM-BCS Visions of Computer Science. Electronic Workshops in Computing, (Edinburgh, U.K., 2010).

Digital Library

Google Scholar

[13]

Madhavapeddy, A. et al. Unikernels: Library operating systems for the cloud. In Proceedings of the 18^th International Conference on Architectural Support for Programming Languages and Operating Systems, (2013), 461--472.

Digital Library

Google Scholar

[14]

Minsky, Y. OCaml for the masses. Commun. ACM 54, 11 (Nov. 2011), 53--58.

Digital Library

Google Scholar

[15]

Mortier, R., Madhavapeddy, A., Hong, T., Murray, D. and Schwarzkopf, M. Using dust clouds to enhance anonymous communication. In Proceedings of the 18^th International Workshop on Security Protocols (2010).

Google Scholar

[16]

Porter, D.E., Boyd-Wickizer, S., Howell, J., Olinsky, R. and Hunt, G.C. Rethinking the library OS from the top down. In Proceedings of the 16^th International Conference on Architectural Support for Programming Languages and Operating Systems, (2011), 291--304.

Digital Library

Google Scholar

[17]

Scott, D., Sharp, R., Gazagnaire, T. and Madhavapeddy, A. Using functional programming within an industrial product group: perspectives and perceptions. In Proceedings of the 15^th ACM SIGPLAN International Conference on Functional Programming, (2010), 87--92.

Digital Library

Google Scholar

[18]

Vinge, V. A Fire Upon the Deep. Tor Books, New York, NY, 1992.

Google Scholar

[19]

Watson, R.N.M. A decade of OS access-control extensibility. Commun. ACM 56, 2 (Feb. 2013), 52--63.

Digital Library

Google Scholar

[20]

Weeks, S. Whole-program compilation in MLton. In Proceedings of the 2006 Workshop on ML.

Digital Library

Google Scholar

Cited By

View all

Letemple MGain GMariem SMathy LDonnet B(2024)$v\text{TNT}$: Unikernels for Efficient and Flexible Internet Probing2024 8th Network Traffic Measurement and Analysis Conference (TMA)10.23919/TMA62044.2024.10559079(1-4)Online publication date: 21-May-2024
https://doi.org/10.23919/TMA62044.2024.10559079
Panter SEisty N(2024)Rusty Linux: Advances in Rust for Linux Kernel DevelopmentProceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement10.1145/3674805.3690756(496-502)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3674805.3690756
Mainas CPlakas INtoutsos GNanos A(2024)Sandboxing Functions for Efficient and Secure Multi-tenant Serverless DeploymentsProceedings of the 2nd Workshop on SErverless Systems, Applications and MEthodologies10.1145/3642977.3652096(25-31)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3642977.3652096
Show More Cited By

Index Terms

Unikernels: the rise of the virtual library operating system
1. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
2. Theory of computation
  1. Logic
  2. Semantics and reasoning
    1. Program reasoning

Recommendations

Unikernels as Processes
SoCC '18: Proceedings of the ACM Symposium on Cloud Computing

System virtualization (e.g., the virtual machine abstraction) has been established as the de facto standard form of isolation in multi-tenant clouds. More recently, unikernels have emerged as a way to reuse VM isolation while also being lightweight by ...
Unikernels: library operating systems for the cloud
ASPLOS '13

We present unikernels, a new approach to deploying cloud services via applications written in high-level source code. Unikernels are single-purpose appliances that are compile-time specialised into standalone kernels, and sealed against modification ...
Unikernels: library operating systems for the cloud
ASPLOS '13

We present unikernels, a new approach to deploying cloud services via applications written in high-level source code. Unikernels are single-purpose appliances that are compile-time specialised into standalone kernels, and sealed against modification ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 57, Issue 1

January 2014

107 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2541883

Editor:
Moshe Y. Vardi
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 2014

Published in CACM Volume 57, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Funding Sources

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

58
Total Citations
View Citations
8,764
Total Downloads

Downloads (Last 12 months)434
Downloads (Last 6 weeks)58

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Letemple MGain GMariem SMathy LDonnet B(2024)$v\text{TNT}$: Unikernels for Efficient and Flexible Internet Probing2024 8th Network Traffic Measurement and Analysis Conference (TMA)10.23919/TMA62044.2024.10559079(1-4)Online publication date: 21-May-2024
https://doi.org/10.23919/TMA62044.2024.10559079
Panter SEisty N(2024)Rusty Linux: Advances in Rust for Linux Kernel DevelopmentProceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement10.1145/3674805.3690756(496-502)Online publication date: 24-Oct-2024
https://dl.acm.org/doi/10.1145/3674805.3690756
Mainas CPlakas INtoutsos GNanos A(2024)Sandboxing Functions for Efficient and Secure Multi-tenant Serverless DeploymentsProceedings of the 2nd Workshop on SErverless Systems, Applications and MEthodologies10.1145/3642977.3652096(25-31)Online publication date: 22-Apr-2024
https://dl.acm.org/doi/10.1145/3642977.3652096
Abeni L(2024)Virtualized real-time workloads in containers and virtual machinesJournal of Systems Architecture10.1016/j.sysarc.2024.103238154(103238)Online publication date: Sep-2024
https://doi.org/10.1016/j.sysarc.2024.103238
Wu WLin WLi K(2024)Energy Efficiency of Servers in Data CentersEncyclopedia of Sustainable Technologies10.1016/B978-0-323-90386-8.00054-1(839-849)Online publication date: 2024
https://doi.org/10.1016/B978-0-323-90386-8.00054-1
Wang YYu JYu Z(2023)Resource scheduling techniques in cloud from a view of coordination: a holistic survey从协同视角论云资源调度技术：综述Frontiers of Information Technology & Electronic Engineering10.1631/FITEE.210029824:1(1-40)Online publication date: 23-Jan-2023
https://doi.org/10.1631/FITEE.2100298
Yoon WOk JMoon SKwon YSchulzrinne HKohler EMaltz DMisra V(2023)Poster: Designing a Memory Disaggregation System for CloudProceedings of the ACM SIGCOMM 2023 Conference10.1145/3603269.3610854(1099-1101)Online publication date: 10-Sep-2023
https://dl.acm.org/doi/10.1145/3603269.3610854
Bachiega JCosta BCarvalho LRosa MAraujo A(2023)Computational Resource Allocation in Fog Computing: A Comprehensive SurveyACM Computing Surveys10.1145/358618155:14s(1-31)Online publication date: 3-Mar-2023
https://dl.acm.org/doi/10.1145/3586181
Zhan DYu ZYu XZhang HYe L(2023)Shrinking the Kernel Attack Surface Through Static and Dynamic Syscall LimitationIEEE Transactions on Services Computing10.1109/TSC.2022.317379116:2(1431-1443)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TSC.2022.3173791
Azevedo RPaula LVerdi F(2023)Design and Implementation of a Slice as a Service Architecture on the Edge Cloud with Resource Constraints2023 IEEE 9th International Conference on Network Softwarization (NetSoft)10.1109/NetSoft57336.2023.10175502(380-384)Online publication date: 19-Jun-2023
https://doi.org/10.1109/NetSoft57336.2023.10175502
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF Chinese translation

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Unikernels as Processes

Unikernels: library operating systems for the cloud

Unikernels: library operating systems for the cloud

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Funding Sources

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations