The Mirage OS is an open-source library operating system that compiles code written in the OCaml functional language into a variety of hardware backends, most notably specialized unikernels that run directly on the Xen hypervisor. Mirage is particularly useful for building safe, reliable OS components such as storage or networked daemons.
Since the release of Mirage 1.0 in December 2013, we’ve been using it to self-host our personal Internet presences. Instead of having to manage complex deployments such as a LAMP stack (with the associated security headaches), Mirage offers the opportunity to “compile your own cloud” from a set of protocol libraries. This is an educational experience that you miss out on if using a hosted PaaS, and you also gain the freedom of running your own infrastructure and federating via open protocols such as XMPP.
In this talk, I’ll walk you through how my own homepage infrastructure works, and how to replicate it yourself to regain control of your Internet presence. The DNS and HTTP servers run as separate unikernels on the cloud, and are coordinated via the Irminsule storage stack (which uses Git as its communications protocol). The deployment simply uses the Travis continuous integration tool to commit the entire kernel to Git (e.g.), so you can get started very quickly using Linux, FreeBSD, OpenBSD or MacOS X (we’ll provide a Vagrant virtual machine if you’re running Windows).
Dr. Anil Madhavapeddy is a Senior Research Fellow at Wolfson College and is based in the Cambridge University Computer Laboratory, investigating programming models for cloud computing. Anil was on the original team at Cambridge that developed the Xen hypervisor, and subsequently served as the senior architect and product director for XenSource/Citrix before returning to academia.
Anil has a diverse background in industry at Network Appliance, Citrix, NASA, and Internet Vision. He is an active member of the open source development community with the OpenBSD operating system and more, and the co-chair of this year’s Commercial Uses of Functional Programming conference.
Richard Mortier is Horizon Transitional Fellow in Computer Science at the University of Nottingham. His research focuses on user-centred systems, investigating the challenges that arise when we design and deploy infrastructure technology with which real people must interact. Specific current projects include exokernels for secure high-performance multiscale computing (Mirage); infrastructure for building a market around privacy-preserving third-party access to personal data (Dataware); and novel approaches to deploying and managing personal network services. Prior to joining Nottingham he spent two years as a founder of Vipadia Limited designing and building the Clackpoint and Karaka real-time communications services (acquired by Voxeo Corp.), six years as a researcher with Microsoft Research Cambridge, and seven months as a visitor at Sprint ATL, CA. He received a Ph.D. from the Systems Research Group at the University of Cambridge Computer Laboratory, and a B.A. in Mathematics, also from the University of Cambridge.
Help us make this conference the best it can be for you. Have questions you'd like this speaker to address? Suggestions for issues that deserve extra attention? Feedback that you'd like to share with the speaker and other attendees?
Join the conversation here (requires login)
For exhibition and sponsorship opportunities, contact Sharon Cordesse at firstname.lastname@example.org
For information on trade opportunities with O'Reilly conferences contact email@example.com
For media-related inquiries, contact Maureen Jennings at firstname.lastname@example.org
View a complete list of OSCON contacts