An Efficient Wait-Free Vector
Keywords
ABA; concurrent; non-blocking; resizable; vector; wait-free
Abstract
The vector is a fundamental data structure, which provides constant-time access to a dynamically-resizable range of elements. Currently, there exist no wait-free vectors. The only non-blocking version supports only a subset of the sequential vector API and exhibits significant synchronization overhead caused by supporting opposing operations. Since many applications operate in phases of execution, wherein each phase only a subset of operations are used, this overhead is unnecessary for the majority of the application. To address the limitations of the non-blocking version, we present a new design that is wait-free, supports more of the operations provided by the sequential vector, and provides alternative implementations of key operations. These alternatives allow the developer to balance the performance and functionality of the vector as requirements change throughout execution. Compared to the known non-blocking version and the concurrent vector found in Intel's TBB library, our design outperforms or provides comparable performance in the majority of tested scenarios. Over all tested scenarios, the presented design performs an average of 4.97 times more operations per second than the non-blocking vector and 1.54 more than the TBB vector. In a scenario designed to simulate the filling of a vector, performance improvement increases to 13.38 and 1.16 times. This work presents the first ABA-free non-blocking vector. Unlike the other non-blocking approach, all operations are wait-free and bounds-checked and elements are stored contiguously in memory.
Publication Date
3-1-2016
Publication Title
IEEE Transactions on Parallel and Distributed Systems
Volume
27
Issue
3
Number of Pages
654-667
Document Type
Article
Personal Identifier
scopus
DOI Link
https://doi.org/10.1109/TPDS.2015.2417887
Copyright Status
Unknown
Socpus ID
84962429916 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/84962429916
STARS Citation
Feldman, Steven; Valera-Leon, Carlos; and Dechev, Damian, "An Efficient Wait-Free Vector" (2016). Scopus Export 2015-2019. 3481.
https://stars.library.ucf.edu/scopus2015/3481