A concurrent red-black tree