Berain is a simple high-performance coordination service for distributed applications