A practical concurrent binary search tree