具有亚对数 RMR 复杂度的可恢复、可中止与自适应互斥算法

我们提出了首个同时可中止、对点争用自适应且具亚对数 RMR 复杂度的可恢复互斥（RME）算法。我们的算法具有 $O(\min(K,\log_W N))$ 的 RMR 通行复杂度和 $O(F + \min(K,\log_W N))$ 的 RMR 超通行复杂度，其中 $K$ 为并发进程数（点争用），$W$ 为寄存器位数，$F$ 为一个超通行中的崩溃数。在标准假设 $W=\Theta(\log N)$ 下，这些界转化为最坏情况 $O(\frac{\log N}{\log \log N})$ 通行复杂度和 $O(F + \frac{\log N}{\log \log N})$ 超通行复杂度。我们的关键构件为：* 一个 $D$-进程可中止 RME 算法，对 $D \leq W$，具有 $O(1)$ 通行复杂度和 $O(1+F)$ 超通行复杂度。我们通过使用 Fetch-And-Add（FAA）原语获得该算法，不同于先前使用 Fetch-And-Store（FAS/SWAP）的 RME 工作。* 一个通用变换，将任意通行复杂度为 $B < W$ 的可中止 RME 算法，转化为通行复杂度为 $O(\min(K,B))$ 的可中止 RME 锁。