Rex: replication at the speed of multi-core
Deterministic Process Groups in dOS