Chubby: A lock service for distributed coordination