基于复杂度的多处理器同步层级
分布式、并行与集群计算
2018-05-07 v2
摘要
多年来，Herlihy 基于可计算性的优雅 Consensus Hierarchy 一直是我们对确定性算法中各类多处理器同步对象相对能力的最佳解释。然而，该层级的关键在于将同步指令视为不同的对象，这种方法脱离了现实情况，因为在现实中多处理器程序将同步指令应用于任意内存位置的集合。我们惊讶地意识到，当考虑应用于内存位置的指令时，基于可计算性的层级会发生坍缩。这就留下了如何更好地刻画各种同步指令能力的问题。在本文中，我们提供了一种回答该问题的方法。我们提出了一种同步指令层级，根据它们在解决无阻塞共识中的空间复杂度进行分类。我们的层级对已知指令组合进行了分类，这似乎符合我们对某些指令在实践中实用程度的直觉，同时对另一些指令的有效性提出了质疑。我们证明了缓冲读写指令能力的本质紧致刻画。有趣的是，我们对多位置原子赋值展示了类似的结果。
引用
@article{arxiv.1607.06139,
title = {A Complexity-Based Hierarchy for Multiprocessor Synchronization},
author = {Faith Ellen and Rati Gelashvili and Nir Shavit and Leqi Zhu},
journal= {arXiv preprint arXiv:1607.06139},
year = {2018}
}