通过 $P$-组合性加速线性化检查

线性化（Linearizability）是并发数据类型公认的一致性和正确性准则。线性化的一个重要特征是 Herlihy 和 Wing 的局部性原理，该原理指出：一个并发系统是线性化的，当且仅当其所有组成部分（即所谓的对象）都是线性化的。本文提出了 $P$-组合性，它将局部性原理背后的思想推广到同一并发数据类型上的操作。我们在一种新颖的线性化检查器中实现了 $P$-组合性。我们对包括 Intel TBB 库在内的九种以上并发集合实现进行的实验表明，我们的线性化检查器在速度和/或空间效率上比最先进算法快一个数量级。