Implementing Highly Available Systems