容错寄存器仿真的空间复杂度
分布式、并行与集群计算
2017-05-23 v1
摘要
受云存储日益普及的推动，从一组易出错服务器实现可靠存储服务相关的成本最近已成为一个被积极研究的问题。著名的ABD结果表明，可以使用2f+1个易出错服务器（每个存储一个读-改-写对象类型）来仿真一个f-容错寄存器，这被认为是达到最优的。本文推广了这一界限：我们研究了仿真可靠多写者寄存器所需的内在空间复杂度，该复杂度是底层服务器暴露的基础对象类型、被仿真寄存器的写者数量、可用服务器数量以及故障阈值的函数。我们在寄存器与max-register（ABD所假设的基础对象类型）和CAS之间，就支持仿真所需的资源（即相应类型的基础对象数量）建立了明确的分离；我们证明max-register和CAS之间不存在此类分离。我们的主要技术贡献是在底层基础对象为易出错读/写寄存器的情况下，对所需资源的下界和上界。我们证明所需寄存器的数量与写者数量成正比，与服务器数量成反比。
引用
@article{arxiv.1705.07212,
title = {Space Complexity of Fault Tolerant Register Emulations},
author = {Gregory Chockler and Alexander Spiegelman},
journal= {arXiv preprint arXiv:1705.07212},
year = {2017}
}
备注
Conference version appears in Proceedings of PODC '17