\bf DCAS-Based Concurrent Deques
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
The computer industry is currently examining the use of strong synchronization operations such as double compare-and-swap (DCAS) as a means of supporting non-blocking synchronization on future multiprocessor machines. However, before such a strong primitive will be incorporated into hardware design, its utility needs to be proven by developing a body of effective non-blocking data structures using DCAS.
As part of this effort, we present two new linearizable non-blocking implementations of concurrent deques using the DCAS operation. The first uses an array representation, and improves on previous algorithms by allowing uninterrupted concurrent access to both ends of the deque while correctly handling the difficult boundary cases when the deque is empty or full. The second uses a linked-list representation, and is the first non-blocking, dynamically-sized deque implementation. It too allows uninterrupted concurrent access to both ends of the deque. We have proved these algorithms correct with the aid of a mechanical theorem prover; we describe these proofs in the paper.
- \bf DCAS-Based Concurrent Deques
Theory of Computing Systems
Volume 35, Issue 3 , pp 349-386
- Cover Date
- Print ISSN
- Online ISSN
- Additional Links
- Industry Sectors
- Author Affiliations
- A1. VMware, Inc., 3145 Porter Drive, USA, Palo Alto, CA 94304, US
- A2. Sun Microsystems, 1 Network Drive, USA, Burlington, MA 01803-0902, US
- A3. Department of Computer Science, Tel Aviv University, Israel, Ramat Aviv 69978, IL