Recoverable Lock-Free Locks
By: Hagit Attiya , Panagiota Fatourou , Eleftherios Kosmas and more
Potential Business Impact:
Makes computer programs safer and able to fix themselves.
This paper presents the first transformation that introduces both lock-freedom and recoverability. Our transformation starts with a lock-based implementation, and provides a recoverable, lock-free substitution to lock acquire and lock release operations. The transformation supports nested locks for generality and ensures recoverability without jeopardising the correctness of the lock-based implementation it is applied on.
Similar Papers
Reciprocating Locks
Distributed, Parallel, and Cluster Computing
Makes computer programs share work faster.
Safe Memory Reclamation Techniques
Distributed, Parallel, and Cluster Computing
Keeps computer programs from crashing when busy.
Hapax Locks : Value-Based Mutual Exclusion
Distributed, Parallel, and Cluster Computing
Makes computer programs run faster and smoother.