main.dvi

A Provably Correct Scalable Concurrent Skip List Maurice Herlihy1,2 , Yossi Lev1,2 , Victor Luchangco2 , and Nir Shavit2 1 Computer Science Department, Brown University, Providence, RI 02912 2 Sun Microsystems Laboratories, 1 Network Drive, Burlington, MA 01803 Abstract. We propose a new concurrent skip list algorithm distinguished by a combination of simplicity and scalability. The algorithm empl