Anil Madhavapeddy
David J. Scott
Skip Abstract Section
Abstract
What if all the software layers in a virtual appliance were compiled within the same safe, high-level language framework?
- Barham, P. et al. Xen and the art of virtualization. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (2003), 164--177. Google Scholar
Digital Library
- Cloudius Systems. OSv; https://github.com/cloudiussystems/osv.Google Scholar
- Colp, P. et al. A. Breaking up is hard to do: Security and functionality in a commodity hypervisor. In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (2011), 189--202. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Eisenstadt, M. My hairiest bug war stories. Commun. ACM 40, 4 (Apr. 1997), 30--37. Google ScholarDigital Library
- 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 15th ACM Symposium on Operating Systems Principles, (1995), 251--266. Google ScholarDigital Library
- Eriksen, M. Your server as a function. In Proceedings of the 7th Workshop on Programming Languages and Operating Systems, (2013), 5:1--5:7. Google ScholarDigital Library
- Galois Inc. The Haskell Lightweight Virtual Machine (HaLVM) source archive; https://github.com/GaloisInc/HaLVM.Google Scholar
- 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
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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). Google ScholarDigital Library
- Madhavapeddy, A. et al. Unikernels: Library operating systems for the cloud. In Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems, (2013), 461--472. Google ScholarDigital Library
- Minsky, Y. OCaml for the masses. Commun. ACM 54, 11 (Nov. 2011), 53--58. Google ScholarDigital Library
- Mortier, R., Madhavapeddy, A., Hong, T., Murray, D. and Schwarzkopf, M. Using dust clouds to enhance anonymous communication. In Proceedings of the 18th International Workshop on Security Protocols (2010).Google Scholar
- 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 16th International Conference on Architectural Support for Programming Languages and Operating Systems, (2011), 291--304. Google ScholarDigital Library
- Scott, D., Sharp, R., Gazagnaire, T. and Madhavapeddy, A. Using functional programming within an industrial product group: perspectives and perceptions. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, (2010), 87--92. Google ScholarDigital Library
- Vinge, V. A Fire Upon the Deep. Tor Books, New York, NY, 1992.Google Scholar
- Watson, R.N.M. A decade of OS access-control extensibility. Commun. ACM 56, 2 (Feb. 2013), 52--63. Google ScholarDigital Library
- Weeks, S. Whole-program compilation in MLton. In Proceedings of the 2006 Workshop on ML. Google ScholarDigital Library
Index Terms
- Unikernels: the rise of the virtual library operating system
Recommendations
Unikernels as Processes
SoCC '18: Proceedings of the ACM Symposium on Cloud ComputingSystem 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 '13We 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 '13We 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