Art of Multiprocessor Programming© Herlihy-Shavit 2007129 Validation private boolean validate(Node pred, Node curry) { Node node = head; while (node.key <= pred.key) { if (node == pred) return pred.next == curr; node = node.next; } return false; }
{}