Skiplist implement for dakv