A Lazy Concurrent List-Based Set Algorithm

13 years 4 months ago

Download www.cs.rice.edu

Abstract. List-based implementations of sets are a fundamental building block of many concurrent algorithms. A skiplist based on the lock-free list-based set algorithm of Michael will be included in the JavaTM Con

Steve Heller, Maurice Herlihy, Victor Luchangco, M

Real-time Traffic

Fundamental Building Block | List-based Implementations | Lock-free List-based Set | PPL 2007 |

claim paper

» SATBased Compositional Verification Using Lazy Learning

» Model Checking of Linearizability of Concurrent List Implementations

Post Info
More Details (n/a)

Added	27 Dec 2010
Updated	27 Dec 2010
Type	Journal
Year	2007
Where	PPL
Authors	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit

Comments (0)

Sciweavers

A Lazy Concurrent List-Based Set Algorithm

Fundamental Building Block | List-based Implementations | Lock-free List-based Set | PPL 2007 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers