03/08/2020

An adaptive approach to recoverable mutual exclusion

Sahil Dhoked, Neeraj Mittal

Keywords: mutual exclusion, RMR complexity, adaptive, fault tolerance, persistent memory

Abstract: Mutual exclusion (ME) is one of the most commonly used techniques to handle conflicts in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the assumption that a process does not fail while acquiring/releasing a lock or while executing its critical section. However, failures do occur in real life, potentially leaving the lock in an inconsistent state. This gives rise to the problem of recoverable mutual exclusion (RME) that involves designing a mutual exclusion algorithm that can tolerate failures, while maintaining safety and liveness properties.One of the important measures of performance of any ME algorithm, including an RME algorithm, is the number of remote memory references (RMRs) made by a process (for acquiring and releasing a lock as well as recovering the lock structure after a failure). The best known RME algorithm solves the problem for n processes in sub-logarithmic number of RMRs, given by O(log n/log log n), irrespective of the number of failures in the system.In this work, we present a new algorithm for solving the RME problem whose RMR complexity gradually adapts to the number of failures that have occurred in the system recently. Specifically, its RMR complexity is given by [EQUATION] where F denotes the total number of failures that have occurred in the recent past.

 0
 0
 0
 0
This is an embedded video. Talk and the respective paper are published at PODC 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd

Similar Papers