On the correctness of a lock-free compression-based elastic mechanism for a hash trie design

A key aspect of any hash map design is the problem of dynamically resizing it in order to deal with hash collisions. Compression in tree-based hash maps is the ability of reducing the depth of the internal hash levels that support the hash map. In this context, elasticity refers to the ability of au...

Ausführliche Beschreibung