kirancodes.me
To Proof Maintenance & Beyond!

A wait-free NCAS library for parallel applications with timing constraints

Philippe Stellwag, Fabian Scheler, Jakob Krainz, Wolfgang Schröder-Preikschat

Abstract

We introduce our major ideas of a wait-free, linearizable, and disjoint access parallel NCAS library, called rtNCAS. It focuses the construction of wait-free data structure operations (DSO) in real-time circumstances. rtNCAS is able to conditionally swap multiple independent words (NCAS) in an atomic manner. It allows us, furthermore, to implement arbitrary DSO by means of their sequential specification.

Related papers