1) Cooperative VM migration allows live migration of VMs with VMM-bypass I/O devices like InfiniBand adapters.
2) SymVirt enables coordination between the guest OS and VMM to safely detach and reattach devices during migration.
3) Experiments show SymVirt enables fault-tolerant live migration with minimal overhead for HPC workloads on an InfiniBand cluster. Postcopy migration further reduces downtime during migration.