URL
BibTeX
Abstract. In this paper, we present a vision of the future of heterogeneous cloud computing. Ours is a cleanslate approach, sweeping away decades of accreted system software. We believe the advent of the latest technology discontinuity---the move to the virtual cloud---makes this a necessary step to take, but one capable of delivering significant benefits in the security, reliability and efficiency of our digital infrastructure at all scales.We motivate this vision by presenting two challenges arising in different fields yet with fundamental commonalities best addressed by a unifying software platform supporting devices ranging from virtual servers in the cloud, through desktops, to mobile smartphones. After drawing out this common ground, we describe our solution and its benefits. We then describe the initial steps we have taken toward our solution, the Mirage framework, as well as ongoing future work.
Authors. Anil Madhavapeddy, Richard Mortier, Jon Crowcroft and Steven Hand
See Also. This publication was part of my Xen Hypervisor and Unikernels projects.
News Updates
» Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles / «» Part 2 / «» Part 3.» DockerCon talk on unikernels and MirageOS.» Interviewed by The New Stack at OSCON in Austin, Texas / «
» Updated the MirageOS community about the 2016 hack retreat.» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.» Announced that Unikernel Systems is now part of Docker.» Invited talk at NetPL on Immutable Distributed Infrastructure with Unikernels.» Talk at Esper on functional programming with unikernels.» Updated the OCaml community on annual OCaml Labs activities for 2014.» Gave BOB 2015 keynote on functional Operating Systems.» New Directions in Operating Systems talk on Jitsu.» At the Xen Summit speaking about branch consistency for Xen Stub Domains.» Gave Haskell Symposium 2014 Keynote on functional OS design.» Announced the release of MirageOS 1.2, and a roadmap towards MirageOS 2.0 / «» Announced the long-awaited release of MirageOS 2.0 / «» Appeared on FLOSS Weekly 302 about Open Mirage.» Appeared on SE Radio Episode 204 about Mirage and OCaml.» Note on the discussions around my recent CACM article on unikernels.» MirageOS and XAPI project update at XenSummit / «» Note on integrating Docker and opam more effectively.» Mirage Developer Preview 1 screencast.» Discussing how we disaggregated MirageOS into opam packages.» Note on how to build XenStore stub domains using MirageOS.» Note on using ARM Dreamplugs with OCaml published.» At the OCaml Meeting 2011 speaking about MirageOS.» Liveblog on the talks at CUFP 2011.» Note discussing an OCaml interface to our new CIEL dataflow engine / «» Published a note on delimited continuations vs Lwt in OCaml for MirageOS.» Talk on building the Xen toolstack using OCaml.» Announced that the MirageOS website now self-hosted on MirageOS! / «» At LinkedIn giving tech talk about Mirage.» At HotCloud for the first talk about MirageOS.» Paper on our vision for multiscale programming at the BCS Visions 2010 conference.» Blogged at Citrix about how XenServer high availability works.» Blogged at Citrix about tuning XenServer for better client VDI performance using XenApp available.» Blogged at Citrix about how to install Ubuntu on XenServer as a PV guest.