Correctness of the routing algorithm for distributed key-value store based on order preserving linear hashing and skip graph.