A Provably Correct Scalable Concurrent Skip List Maurice Herlihy1,2 , Yossi Lev1,2 , Victor Luchangco2 , and Nir Shavit2 1 2

First Page		Document Content
Date: 2007-02-18 04:19:12 Skip list Hazard pointer Software engineering Binary trees Binary search tree B-tree Linked lists Computer programming Computing		A Provably Correct Scalable Concurrent Skip List Maurice Herlihy1,2 , Yossi Lev1,2 , Victor Luchangco2 , and Nir Shavit2 1 2 Add to Reading List Source URL: www.cs.tau.ac.il Download Document from Source Website File Size: 183,60 KB Share Document on Facebook