关于 min+1 协议的拜占庭容限性质
分布式、并行与集群计算
2010-05-31 v1
摘要
自稳定是一种通用的容错方法，因为它允许分布式系统从任意破坏系统所有存储器内容的瞬时故障中恢复。拜占庭容错是分布式系统的一个有吸引力的特性，它允许应对任意的恶意行为。我们在此背景下考虑构建广度优先生成树这一众所周知的问题。结合这两个性质被证明是困难的：我们证明了在严格或强稳定方式下遏制拜占庭节点的影响是不可能的。然后，我们采用了较弱的拓扑感知严格稳定方案，并提出了强稳定的类似弱化。我们证明，经典的 min+1 协议在这些准则下具有最优的拜占庭容限性质。
引用
@article{arxiv.1005.5223,
title = {On Byzantine Containment Properties of the $min+1$ Protocol},
author = {Swan Dubois and Toshimitsu Masuzawa and Sébastien Tixeuil},
journal= {arXiv preprint arXiv:1005.5223},
year = {2010}
}