增强 KiWi——可扩展的并发键值映射
数据结构与算法
2017-10-16 v2 分布式、并行与集群计算
性能
摘要
我们采用一个相对新颖的无等待(wait-free)、并发有序映射 KiWi,对其进行了修复和增强。首先,我们通过模糊测试(fuzzing)并应用 Wing&Gong [2] 线性一致性(linearizability)测试来检验其线性一致性。在修复了算法设计及其实现中的若干错误后,我们对其进行了增强。我们设计、实现并测试了两个新的可线性化操作 sizeLowerBound() 和 sizeUpperBound()。我们进一步组合这些操作以创建更有用的操作。最后,我们评估了该映射的性能,因为之前的评估由于我们的错误修正已过时。
引用
@article{arxiv.1709.02225,
title = {Enhancing KiWi - Scalable Concurrent Key-Value Map},
author = {Assaf Yifrach and Niv Gabso},
journal= {arXiv preprint arXiv:1709.02225},
year = {2017}
}
备注
18 pages, 5 figures