concurrent data structures; lock-freedom; wait-freedom; linked-list; skiplist; iterator; snapshot;
机译:单调放宽并发数据结构语义以提高性能:高效的2D设计框架
机译:基于图的数据结构的形状中立分析
机译:命令式程序中数据结构的自动归纳证明
机译:无锁数据结构迭代器
机译:有序Merkle树-用于安全内核的通用数据结构。
机译:快速无锁的方法可有效地并行计算k-mers的出现
机译:竞争数据结构动态化