异步网络模型下的共识协议研究  

Research on Consensus Protocols in Asynchronous Network Model

作　　者：王迪 雷航[1] 曹广平[2] WANG Di;LEI Hang;CAO Guangping(School of Information and Software Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China;Southwest China Institute of Electronic Technology,Chengdu 610036,China)

机构地区：[1]电子科技大学信息与软件工程学院,成都610054 [2]中国西南电子技术研究所,成都610036

出　　处：《计算机科学》2025年第4期310-326,共17页Computer Science

摘　　要：随着分布式系统的发展,共识问题受到了计算机领域的广泛关注。然而,FLP不可能结论指出:“在存在故障节点的异步系统中,没有确定的共识协议能够使分布式系统达成一致”。该结论成为阻碍设计异步共识协议的鸿沟。目前,研究者就如何规避FLP结论,已在异步共识领域进行了大量研究。首先,通过对分布式共识问题的相关定义与理论进行分析,总结出异步共识协议的定义;然后,根据规避FLP结论策略的不同,分别阐述了异步共识协议的发展脉络、实现方法与相关指标,分析总结了通过随机化、部分同步模型、故障检测器、条件限制与混合共识的方法规避FLP结论的优劣,指出了异步共识协议大多仍停留在理论阶段,难以真正应用;最后,简单探讨了共识中的等价性问题,期望拓展共识协议的实现途径,推动异步共识协议的创新和发展。As the development of distributed systems progresses,the consensus problem has garnered widespread attention in the field of computer science.The inevitable asynchrony in distributed systems greatly impacts the design of consensus protocols.However,the FLP impossibility result indicates that in asynchronous systems,there is no definitive consensus protocol capable of enabling a distributed system to reach agreement.Researchers have conducted extensive studies on how to circumvent the FLP conclusion in the field of asynchronous consensus.This paper first analyzes the relevant definitions and theories of the distributed consensus problem,summarizing and concluding the definition of asynchronous consensus protocols.Then elaborates on the development trajectory,implementation methods,and performance metrics of asynchronous consensus protocols from the perspective of different strategies to circumvent the FLP conclusion.The paper analyzes and summarizes the advantages and disadvantages of avoiding the FLP conclusion through methods such as randomization,partial synchronous models,failure detectors,conditional restrictions,and hybrid consensus approaches.It points out that the design of asynchronous consensus protocols mostly remains at the theoretical stage and is difficult to put into practical use.Finally,briefly discusses the issue of equivalence in consensus,hoping to expand the implementation pathways of consensus protocols and promote the innovation and development of asynchronous consensus protocols.

关 键 词：异步共识 FLP结论 随机化 部分同步 故障检测器 拜占庭故障 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]