Managing high availability