中文

通过一致性验证加固 Paxos

分布式、并行与集群计算 2017-10-26 v2

摘要

由于构建应用时分布式系统的广泛采用,对可靠性和可用性的需求日益增长。这些特性可通过使用能够容忍故障的中间件算法复制技术来实现。然而,某些故障(如任意故障)可能更难容忍,导致算法更复杂、资源消耗更大,最终不太实用。我们提出并实验了一致性验证技术,用以加固良性故障容忍的 Paxos,从而能够检测并容忍非恶意的任意故障。

关键词

引用

@article{arxiv.1710.07543,
  title  = {Hardened Paxos Through Consistency Validation},
  author = {Rodrigo R. Barbieri and Gustavo M. D. Vieira},
  journal= {arXiv preprint arXiv:1710.07543},
  year   = {2017}
}

备注

6 pages, fixed metadata