Tervel: A Unification Of Descriptor-Based Techniques For Non-Blocking Programming
Abstract
The development of non-blocking code is difficult; developers must ensure the progress of an operation on shared memory despite conflicting operations. Managing this shared memory in a non-blocking fashion is even more problematic. The non-blocking property guarantees that progress is made toward the desired operation in a finite amount of time. We present a framework that implements memory reclamation and progress assurance for code that follows the semantics of our framework. This reduces the effort required to implement non-blocking, and more specifically wait-free, algorithms. We also present a library that demonstrates the ease with which wait-free algorithms can be implemented using our framework.
Publication Date
12-22-2015
Publication Title
Proceedings - 2015 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2015
Number of Pages
131-140
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1109/SAMOS.2015.7363668
Copyright Status
Unknown
Socpus ID
84963682865 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/84963682865
STARS Citation
Feldman, Steven; Laborde, Pierre; and Dechev, Damian, "Tervel: A Unification Of Descriptor-Based Techniques For Non-Blocking Programming" (2015). Scopus Export 2015-2019. 1774.
https://stars.library.ucf.edu/scopus2015/1774