Building a Fault-Tolerant System Based on Mach