bibliographic details : 分布式高可用算法