Recoverable Lock-Free Locks

Hagit Attiya, Panagiota Fatourou, Eleftherios Kosmas +1

This paper presents the first transformation that introduces both lock-freedom and recoverability. Our transformation starts with a lock-based implementation, and provides a recove…