中文

消息传递系统中的摊还常数轮原子快照

分布式、并行与集群计算 2020-09-01 v2

摘要

我们研究了异步消息传递系统中的格协议(LA)与原子快照问题,其中最多有ff个节点可能发生崩溃。我们的主要成果是一个容忍崩溃的原子快照算法,具有摊还常数轮复杂度。据我们所知,先前最好的结果由Delporte等人[TPDS, 18]给出,若扫描操作多于更新操作,其摊还复杂度为O(n)O(n)。我们的算法在存在Ω(k)\Omega(\sqrt{k})个操作时实现摊还常数轮,其中kk是一次执行中实际失败的次数,且受限于ff。此外,当没有失败时,我们的算法无条件具有O(1)O(1)轮复杂度。为实现摊还常数轮复杂度,我们设计了一个简单的早停格协议算法,并用它来为快照对象的更新与扫描操作“排序”。我们的LA算法具有O(k)O(\sqrt{k})轮复杂度。它是异步系统中的首个早停LA算法。

关键词

引用

@article{arxiv.2008.11837,
  title  = {Amortized Constant Round Atomic Snapshot in Message-Passing Systems},
  author = {Vijay Garg and Saptaparni Kumar and Lewis Tseng and Xiong Zheng},
  journal= {arXiv preprint arXiv:2008.11837},
  year   = {2020}
}