空消息、信息与协调
摘要：同步系统中的空消息在有故障和无故障的情况下所起的作用进行了研究，并且提供了在信息传输和协调中协议结构的必要和充分条件。我们首先介绍了空消息的一个新的更精细的定义。给出了允许这些空消息的消息链的一般化，并且证明了在可靠系统中，它们是必要且充分的信息传输。处理崩溃故障需要更丰富的结构，因为接收不到消息可能是发送者故障的结果。我们引入了一类称为{em弹性消息块}的通信模式，其对协议施加了比Goren和Moses（2020年）的{em无声合唱团}更严格的条件。在崩溃倾向系统中，这些块被证明是必要的信息传输。此外，在一些感兴趣的情况下，它们也是充分的，而无声合唱团不是。最后，证明了一种特定的弹性消息块的组合对解决有序响应协调问题是必要且充分的。
作者：Ra"issa Nataf, Guy Goren, Yoram Moses
论文ID：2208.10866
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-09