介于线性化与静默一致性之间：定量静默一致性
编程语言
2014-04-29 v3
摘要
线性化 (Linearizability) 是并发数据结构事实上的正确性标准。不幸的是，线性化施加的性能开销随竞争线程数量线性扩展。静默一致性 (Quiescent consistency) 是一种替代标准，它保证并发数据结构在顺序访问时表现正确。然而，静默一致性对于任何存在竞争的执行过程几乎未作说明。我们定义了定量静默一致性 (QQC)，这是线性化的一种松弛形式，其中松弛程度与竞争程度成正比。当系统处于静默状态时，不允许任何松弛，因此 QQC 细化了静默一致性，这与其它提出的线性化松弛形式不同。我们表明，设计为满足静默一致性的高性能计数器和栈继续满足 QQC。QQC 成立的精确假设为这些结构提供了新的见解。为了展示 QQC 的鲁棒性，我们提供了三种自然刻画并证明了其组合性。
引用
@article{arxiv.1402.4043,
title = {Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency},
author = {Radha Jagadeesan and James Riely},
journal= {arXiv preprint arXiv:1402.4043},
year = {2014}
}
备注
Short version in ICALP 2014. http://icalp2014.itu.dk/