Suppose we modify the Lock Free Skip List class so that on line 102 of Fig.14.12,remove()restarts the main loop instead of returning false. Is the algorithm still correct? Address both safety and live...

Suppose we modify the Lock Free Skip List class so that on line 102 of Fig.14.12,remove()restarts the main loop instead of returning false. Is the algorithm still correct? Address both safety and live ness issues. That is, what is an unsuccessful remove()call’s new linearization point, and is the class still lock-free?