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

Socpus ID

84963682865 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84963682865

This document is currently not available here.

Share

COinS