Title :
Tervel: A unification of descriptor-based techniques for non-blocking programming
Author :
Steven Feldman;Pierre LaBorde;Damian Dechev
Author_Institution :
Department of Electrical Engineering and Computer Science, University of Central Florida, Orlando, 32816, USA
fDate :
7/1/2015 12:00:00 AM
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.
Keywords :
"Instruction sets","Computational modeling","Libraries","Synchronization","Hazards","Algorithm design and analysis","Software algorithms"
Conference_Titel :
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on
DOI :
10.1109/SAMOS.2015.7363668