Popek-Goldberg machines considered harmful
Modern virtual machines are based on a '74 theorem made by Popek and Goldberg. It outlines how virtual machines should be equivalent to physical machines, something that makes transitioning to virtual machines easier. Today this equivalence is harmful as it ads a lot of complexity to our virtual machines. If we discard equivalence virtual machines can be made a lot simpler.
IncludeOS on VMware/ESXi/vSphere
IncludeOS has, since its inception, supported the paravirtualized drivers for virtio-net. Our deployment platforms where the ones that support virtio. KVM/Qemu, Virtualbox, Openstack and the Google Compute Engine. We’ve now expanded our support adding ESXi to our list of supported platforms. ESXi is the hypervisor powering all of VMware's enterprise products. Here is how this support came about.
Non-intrusive real time stack sampling in IncludeOS
By inserting a stack gathering call into the Programmable Interval Timer, we can regularly gather stack samples without bias. The gathering will happen at the frequency of the PIT, while the PIT handler itself will only schedule timers that are expired. This gives us an easy and non-intrusive way of profiling IncludeOS Applications.