ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report)
HAFT: hardware-assisted fault tolerance