Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency
复制标题
线性化与静态一致性之间 - 定量静态一致性
DOI：
10.1007/978-3-662-43951-7_19
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
James Riely
中科院分区：
文献类型：
--
作者：
R. Jagadeesan;James Riely
可线性化是并发数据结构事实上的正确性标准。不幸的是，线性化会带来性能损失，随着争用线程的数量呈线性增长。静态一致性是确保并发数据结构在顺序访问时正确运行的另一种标准。然而，一成不变的一致性很少说明有任何争议的处决。
Linearizability is the de facto correctness criterion for concurrent data structures. Unfortunately, linearizability imposes a performance penalty which scales linearly in the number of contending threads. Quiescent consistency is an alternative criterion which guarantees that a concurrent data structure behaves correctly when accessed sequentially. Yet quiescent consistency says very little about executions that have any contention.
C/C 并发的库抽象
DOI：
10.1145/2429069.2429099
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Batty M
通讯作者：
Batty M