Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract).
Round-by-Round Fault Detectors: Unifying Synchrony and Asynchrony (Extended Abstract).
复制标题
逐轮故障检测器：统一同步和异步（扩展摘要）。
DOI：
--
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
E. Gafni
中科院分区：
文献类型：
--
作者：
E. Gafni
本文提出了一种新的分布式计算模型，它结合了同步，异步和故障检测器增强系统的功能。与同步系统一样，这一系列模型中的计算也是轮中演化的，在一轮中错过的通信也会丢失。与同步系统不同，在一轮中丢失的信息不一定意味着真实的过程失败。特定模型的特征在称为逐轮故障检测器的抽象模块中捕获。将系统特征抽象到这样的模块中，通过对比它们相关联的故障检测器，促进了不同系统的比较。我们表明，这个家庭的模型统一的同步，同步，消息传递和共享内存的研究。我们进一步表明，这种方法导致发展的重要结果，如一个下界的轮数，以实现在同步系统中的k-集协议更短，更简单的证明。我们相信，研究分布式系统，通过建议的统一框架将导致新的结果和见解。* 由UCLA Academic Senate Grant支持的工作。允许使数字或硬拷贝的全部或部分的工作，为个人或课堂使用是免费的，只要副本不制作或分发利润或商业广告结束thet副本承担此通知和f&页上的全部引用。以其他方式复制，重新发布，张贴在服务器上或重新分发到列表。需要事先的特别许可和/或费用。PODC！98 Puerto Valkuta墨西哥版权所有ACM 1998 O-89791-977-7/98/ 6.$ 5.00
This paper presents a new family of models of distributed-computation which combines features from synchronous, asynchronous, and failure-detectoraugmented systems. Like synchronous systems, computation in this family of models evolves in rounds, and communication missed at a round is lost. Unlike synchronous systems, information that is missed at a round does not necessarily imply a real process failure. The features of a specific model is captured in an abstract module called the round-by-round fault detector. The abstraction of system features into such a module facilitates the comparison of different systems, by contrasting their associated fault detectors. We show that this family of models unifies the study of synchrony, asynchrony, message-passing and shared memory. We further show that this approach leads to the development of shorter and simpler proofs of important results such as a lower bound on the number of rounds to achieve k-set agreement in a synchronous system. We believe that studying distributed systems through the proposed unifying framework will lead to new results and insights. *Work supported by UCLA Academic Senate Grant. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial ahntage end thet copies bear this notice and the full citation on the f& page. To copy otherwise, to republish, to post on servers or to redistribute to lists. requires prior specific permission and/or a fee. PODC! 98 Puerto Valkuta Mexico Copyright ACM 1998 O-89791-977-7/98/ 6...$5.00