A high-performance coordination service for distributed applications
