Enhancing KiWi - Scalable Concurrent Key-Value Map

Assaf Yifrach, Niv Gabso

We take a relatively fresh wait-free, concurrent sorted map called KiWi, fix and enhance it. First, we test its linearizability by fuzzing and applying Wing&Gong [2] linearizabilit…