中继：覆盖网络中有限离开问题的一种新方法

覆盖网络的一个基本问题是安全地排除离开的节点，即请求离开覆盖网络的节点被从中排除而不影响其连通性。为了严格研究该问题的自稳定解，有限离开问题（FDP）被提出[12]。在 FDP 中，给定任意状态下的一组进程网络，目标是最终到达（并保持在）这样一种状态：所有离开的进程不可撤销地决定离开系统，而对于初始覆盖网络中所有的弱连通分量，该分量中所有留守的进程仍将形成一个弱连通分量。在标准互连模型中，已知 FDP 无法由局部控制协议解决，因此已研究了允许该问题被解决的预言机[12]。为避免使用预言机，我们引入了一种基于中继的新互连模型。尽管中继模型看似相当受限，我们证明其具有普适性，即可以将任何弱连通拓扑转换为任何其他弱连通拓扑，这对于作为覆盖网络有用互连模型十分重要。除此之外，我们的模型允许进程授予和撤销访问权限，这也是我们认为其超越本文范围而具意义的原因。我们展示了以自稳定方式实现中继层，并确定了协议需满足的性质，以使中继层能在服务协议请求时恢复。