可审计寄存器的同步能力
摘要：可审计性允许跟踪对寄存器执行的所有读操作。它抽象了数据所有者控制对其数据访问的需求，跟踪谁读取了哪些信息。本文考虑了审计的可能形式化及其对提供审计的可能性的影响。自然定义是要求将所有写、读和审计操作一起线性化（原子审计）。本文表明，原子审计是一个强大的工具，因为它可以用于解决共识问题。使用原子审计可以解决共识的过程数量取决于能够读取或审计寄存器的进程数量。如果只有一个读者或一个审计员（写者），那么可以在两个进程之间解决共识。如果可能存在多个读者和审计员，则可以在相同数量的进程之间解决共识。这意味着需要强同步原语来支持原子审计。我们通过使用具有共识数量2的原语（交换和fetch&add）给出了在存在多个读者或多个审计员时（但不能同时存在两者）的原子审计实现。当存在多个读者和多个审计员时，实现使用compare&swap。这些研究结果提出了一个较弱的定义，其中审计操作与写和读操作不一起线性化（常规审计）。我们证明了可以通过对原子寄存器进行普通读和写操作来实现常规审计。
作者：Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff and Alexandre Rapetti
论文ID：2308.16600
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-09-01