A thread-safe splay heap implementation