马科斯·卡瓦佐·阿奎莱拉;陈伟;图伊格,山姆 静态可靠通信。 (英语) Zbl 0953.68011号 SIAM J.计算。 29,第6期,2040-2073(2000). 摘要:我们研究在进程崩溃和链路丢失的异步系统中,使用静态算法(即最终停止发送消息的算法)实现可靠通信的问题。我们首先说明,在异步系统(没有故障检测器)中解决这个问题是不可能的。然后我们表明,在输出可疑列表的故障检测器中,可用于解决此问题的最弱检测器是无法实现的故障检测器。为了克服这一困难,我们介绍了一种称为心跳的可实现故障检测器,并表明它可以用于实现静态可靠通信。心跳信号很新颖:与典型的故障检测器相比,它不输出疑点列表,并且可以在没有超时的情况下实现。使用心跳信号,许多只允许进程崩溃的现有算法可以转换为允许进程崩溃和消息丢失的静态算法。这可以应用于共识、原子广播、(k)集协议、原子承诺等。 引用于5文件 MSC公司: 68米15 网络和计算机系统的可靠性、测试和容错 68宽10 计算机科学中的并行算法 关键词:算法;可靠性;可靠的通信;静止;异步系统;心跳;碰撞故障;链路故障;故障检测;容错;消息传递;处理器故障 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Aguilera}等人,SIAM J.Compute。29,第6号,2040--2073(2000;Zbl 0953.68011) 全文: 内政部