可恢复和可检测的自实现交换操作
摘要：可恢复算法通过使用非易失性存储器来容忍进程的故障和恢复。特别感兴趣的是关键操作的自实现，其中可恢复操作是从其不可恢复的对应操作中实现的（除了读写操作）。本文提出了SWAP操作的两种自实现方法。一种适用于系统范围故障模型，其中所有进程均会失败和一起恢复，另一种适用于独立故障模型，其中每个进程会独立于其他进程崩溃和恢复。这两个算法在无崩溃执行时都是无等待的，但其恢复代码是阻塞的。我们证明了这对于独立故障模型是固有的。这个不可能性结果是通过使用干扰函数来证明可区分操作的自实现的，并且特别适用于SWAP的可恢复自实现。
作者：Tomer Lev Lehman, Hagit Attiya, and Danny Hendler
论文ID：2308.03485
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-08