[论文解读] Analysis of Concurrent Lock-Free Hash Tries with Constant-Time Operations

Aleksandar Prokopec|arXiv (Cornell University)|Dec 27, 2017

Parallel Computing and Optimization Techniques参考文献 2被引用 5

一句话总结

本文提出了一种并发无锁哈希tries，通过引入一个缓存数据结构，实现了查找、插入和删除操作的O(1)期望时间。通过维护指向tries特定层级的指针数组，缓存将搜索深度在通用哈希下减少至常数期望时间，同时通过仔细的事务和节点状态管理，保持了线性化和无锁性。

ABSTRACT

Ctrie is a scalable concurrent non-blocking dictionary data structure, with good cache locality, and non-blocking linearizable iterators. However, operations on most existing concurrent hash tries run in O(log n) time. In this technical report, we extend the standard concurrent hash-tries with an auxiliary data structure called a cache. The cache is essentially an array that stores pointers to a specific level of the hash trie. We analyze the performance implications of adding a cache, and prove that the running time of the basic operations becomes O(1).

研究动机与目标

• 设计一种并发无阻塞哈希tries，实现常数时间操作。
• 解决现有并发哈希tries中O(log n)性能瓶颈的问题。
• 在实现快速访问的同时，保持强一致性保证（线性化）和无锁性。
• 在通用哈希下分析缓存-tries的期望性能。
• 证明缓存可将期望搜索深度减少至常数，从而实现常数时间操作。

提出的方法

• 在每个层级ℓ处，为标准并发哈希tries增加一个大小为2^ℓ+1的缓存数组，存储该层级节点的指针。
• 使用通用哈希函数将键分布到各层级，以确保均匀分布，便于性能分析。
• 采用事务模型，通过txn字段管理并发更新，使用CAS操作保证原子性。
• 引入冻结（freeze）和扩展（expansion）机制，安全处理节点状态转换（如从SNode到ANode）期间的并发插入。
• 使用缓存查找机制，检查txn字段以判断可达性；若为NoTxn，则直接返回缓存值。
• 应用势函数（事务势和扩展势）证明有限进展和无锁性。

实验结果

研究问题

• RQ1 能否设计一种并发哈希tries，使其基本操作的期望时间达到O(1)？
• RQ2 在并发哈希tries中添加缓存是否能保持线性化和无锁性？
• RQ3 在通用哈希下，缓存-tries中键的期望深度分布如何？
• RQ4 事务势和扩展势如何确保在并发操作存在时的有限进展？
• RQ5 能否通过缓存指针安全地实现快速查找和插入操作，而不破坏一致性？

主要发现

• 缓存-tries中查找、插入和删除操作的期望运行时间为O(1)，通过关键深度分布分析证明。
• 在包含n+1个键的缓存-tries中，键位于深度d的概率为p(d,n) = (1−16−d−1)n − (1−16−d)n。
• 缓存将从根到键的期望距离减少至常数，从而实现常数时间操作。
• 通过事务状态管理和基于CAS的同步，缓存-tries保持了线性化和无锁性。
• 扩展和冻结操作的使用确保了节点转换的安全性，避免了阻塞或死锁。
• 理论分析确认了在一致性变化之间步骤数为有限，从而保证了进展和正确性。