Proactive fault tolerance for HPC with Xen virtualization | Synapse