系统级崩溃下的常数 RMR 可恢复互斥锁

我们为系统级崩溃模型设计了两种可恢复互斥（RME）锁。我们的第一种算法每个进程仅需 $O(1)$ 空间，并在 CC 模型中达到 $O(1)$ 最坏情况 RMR 复杂度。我们的第二种算法对第一种算法进行了增强，在 CC 和 DSM 模型中均实现（相同的）每个进程 $O(1)$ 空间和 $O(1)$ 最坏情况 RMR 复杂度。此外，两种算法都允许动态创建的任意名称线程加入协议并访问锁。据我们所知，这些是在仅假设标准硬件支持的情况下实现最坏情况 $O(1)$ RMR 复杂度的唯一 RME 锁。鉴于 Chan 和 Woelfel 针对个体崩溃模型中 RME 的 $\Omega(\log n / \log\log n)$ 最坏情况 RMR 下界，我们的结果表明在 CC 和 DSM 模型中，系统级崩溃与个体崩溃模型在最坏情况 RMR 复杂度上存在分离。