一种在 CC 与 DSM 上均具有亚对数 RMR 的可恢复互斥算法

鉴于非易失性主存储器技术的最新进展，Golab 和 Ramaraju 将传统的互斥问题重新表述为新颖的{\em 可恢复互斥}（RME）问题。在已知的 RME 最佳解决方案中，由 Golab 和 Hendler 于 PODC 2017 提出，一个进程每次通行最多产生 $O(\frac{\log n}{\log \log n})$ 次远程内存引用（RMR），其中通行是指从一个进程进入 Try 段到随后返回 Remainder 段的区间。然而，他们的算法仅对缓存一致（CC）多处理器保证该界，而留下了分布式共享内存（DSM）多处理器是否可能达到类似界的问题。我们肯定地回答了这个问题，设计了一种在 CC 和 DSM 多处理器上均满足与 Golab 和 Hendler 算法相同复杂度界的算法。我们的算法相比 Golab 和 Hendler 的算法还有一些额外优势：（i）其 Exit 段是无等待的，（ii）它仅使用 Fetch-and-Store 指令，以及（iii）在 CC 机器上我们的算法需要每个进程仅具有 $O(1)$ 字的缓存，而他们的算法需要 $O(n)$ 字。