In the earlier linked-list code, it doesn't seem immediately apparent that it's deadlock free. You'd have to carefully ensure that there is no possible order of execution where any lock is forgotten to be unlocked. Seems unnecessarily tricky.

Where's the chance of livelock in the linked-list code though? Would it be somewhere in the while loop?