Eunomia: Scaling Concurrent Search Trees under Contention Using HTM.

Xin Wang Weihua Zhang Zhaoguo Wang Ziyun Wei Haibo Chen Wenyun Zhao

Published in: PPOPP (2017)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
branching factor
tree search
b tree
sat solvers
root node
heuristic function
concurrency control
binary search trees
data structure
reinforcement learning
similarity measure
multi dimensional
special case