Remus [13] achieves high availability by frequently propagating the checkpoints of a virtual machine to another. Eve [22] is closely related to Rex; detailed comparisons with Eve ap- pear in Section 5. CBASE [25] leverages a user-defined parallelizer module, similar to the mixer in Eve, ...