A wait-free NCAS library for parallel applications with timing constraints
暂无分享,去创建一个
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.
[1] Amos Israeli,et al. Disjoint-access-parallel implementations of strong shared memory primitives , 1994, PODC '94.
[2] Maurice Herlihy,et al. Wait-free synchronization , 1991, TOPL.
[3] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[4] James H. Anderson,et al. A lock-free approach to object sharing in real-time systems , 1997 .