支持中止的可恢复互斥

非易失主存 (NVRAM) 技术的最新进展推动了针对进程崩溃具备弹性的算法设计研究。本文是我们会议论文 \cite{jayanti:rmeabort} 的更完整版本，该论文提出了首个支持中止的可恢复互斥 (RME) 算法。我们的算法仅使用多处理器普遍支持的读、写和 CAS 操作。它满足 FCFS 及其他标准性质。我们的算法也是自适应的。在 DSM 与 Relaxed-CC 多处理器上，一个进程在一段通行 (passage) 中产生 $O(\min(k, \log n))$ 次 RMR，在一次尝试 (attempt) 中产生 $O(f+ \min(k, \log n))$ 次 RMR，其中 $n$ 为算法设计所针对的进程数，$k$ 为该通行或尝试的点争用度，$f$ 为进程 $p$ 在该尝试期间的崩溃次数。在 Strict CC 多处理器上，通行与尝试复杂度分别为 $O(n)$ 与 $O(f+n)$。Attiya 等人证明，对于任何互斥算法，若仅使用读、写和 CAS 操作，则进程在一段通行中至少产生 $\Omega(\log n)$ 次 RMR \cite{Attiya:lbound}。该下界意味着我们算法的最坏情况 RMR 复杂度在 DSM 与 Relaxed-CC 多处理器上是最优的。