Concurrent Lazy Splay Tree with Relativistic Programming Approach