Autopilot: automatic data center management
The part-time parliament