18、分布式读写系统中的匿名性：入门综述

分布式读写系统中的匿名性：入门综述

1. 可计算性与进程匿名性

在分布式读写系统中，当存在进程匿名性和任意数量的崩溃故障时，可计算性是一个重要的研究方向。虽然无法实现满足无等待进度条件的共识对象，但可以实现满足非阻塞进度条件的共识对象。这表明，共识对象揭示了在易崩溃的读写异步系统中，无阻碍性和无等待性进度条件之间的可计算性阈值。

2. 进程匿名与任意数量进程崩溃：无阻碍性通用构造

• 进程匿名的 k - 集一致性 ：k - 集一致性对象是共识对象的推广。每个进程提出一个值并决定一个值，它具有以下安全属性：
  • 有效性 ：如果一个进程决定了一个值，那么这个值是由某个进程提出的。
  • 一致性 ：最多有 k 个不同的值被决定。
    例如，1 - 集一致性就是共识，并且 k - 集一致性比 (k + 1) - 集一致性更强。在由 n 个异步匿名进程通过原子读写寄存器进行通信的系统中，实现满足无阻碍性进度条件的 k - 集一致性对象的算法，仅使用 (n - k + 1) 个原子读写寄存器，从共享内存成本的角度来看，这是目前已知的最佳算法。
• 重复匿名共识的力量 ：使用一系列重复的匿名共识实例，可以为进程匿名系统构建一个通用构造，为构造的对象提供无阻碍性进度条件。此外，还得到了以下结果：
  • n 个原子读写寄存器在匿名 n 进程系统中的通用性 ：如果一个对象