Highly reliable distributed coordination server
