We have proposed the idea of live migration based on-the-fly software emulation, which significantly advances the state of the art: it is analysis-flexible, supports closed source OSes, and uses modern hardware virtualization extensions.
there exist discrepancies between their handling of VM states, which cause the "resume" step to fail.