何种广播抽象刻画了 $k$-集一致性？
分布式、并行与集群计算
2017-05-16 v1
摘要
众所周知，在易发生进程崩溃故障的异步系统中，共识（单集一致性）与全序广播是等价的。考虑无等待系统，本文阐述并回答了以下问题：何种通信抽象“刻画”了 -集一致性？为此，它引入了一种新的广播通信抽象，称为 -BO-Broadcast，其限制了对已广播消息的本地投递的分歧（-BO-Broadcast 归结为全序广播）。因此，在此背景下， 并非一个特殊数字，而仅仅是一个递增整数序列中的第一个整数。这建立了分布式一致性问题与通信抽象之间的一种新的“对应”关系，丰富了我们对容错分布式计算基本问题间关联的理解。
引用
@article{arxiv.1705.04835,
title = {Which Broadcast Abstraction Captures $k$-Set Agreement?},
author = {Damien Imbs and Achour Mostéfaoui and Matthieu Perrin and Michel Raynal},
journal= {arXiv preprint arXiv:1705.04835},
year = {2017}
}