并发集合的可线性化迭代器

本文提出了一个通用框架，用于为实现了集合操作的一类数据结构添加可线性化迭代器。我们引入了一个关于集合操作的条件，称为局部一致性，其非正式表述为：集合操作永远不会使元素对于顺序迭代器的遍历变得不可达。我们证明，具有局部一致性操作的集合可以通过该框架增强为具有可线性化迭代器。我们的技术广泛适用于多种数据结构，包括哈希表和二叉搜索树。我们将该技术应用于现有文献中的集合，证明了它们的操作是局部一致的，并展示了迭代器不会显著影响并发集合操作的性能。