Constant RMR Recoverable Mutex under System-wide Crashes

Prasad Jayanti, Siddhartha Jayanti, Anup Joshi

We design two Recoverable Mutual Exclusion (RME) locks for the system-wide crash model. Our first algorithm requires only $O(1)$ space per process, and achieves $O(1)$ worst-case R…