可恢复互斥的内存回收

互斥（ME）是并发系统中处理冲突的常用技术。随着非易失内存技术的最新进展，可恢复互斥（RME）问题——ME 的一种特殊情况，其中进程可失败并恢复——受到越来越多关注。然而，为使 RME 问题具备实际意义而非仅是理论问题，内存回收在若干 RME 算法中构成主要障碍。RME 算法常需动态分配内存，导致算法内存占用随时间增长。这些算法通常因并发与失败而未配备合适的垃圾回收。本工作中，我们提出首个用于可恢复互斥场景下内存回收的“通用”可恢复算法。我们的算法可极易插入任意 RME 算法，并保留其所有正确性与大多数期望属性。算法空间开销为 $\mathcal{O}(n^2 * sizeof(node)\ )$，其中 $n$ 为系统中进程总数。在远端内存引用（RMRs）方面，我们的算法是 RMR 最优的，即每次通行具有常数 RMR 开销。我们的 RMR 与空间复杂度同时适用于 $CC$ 与 $DSM$ 内存模型。