分布式计算中的安全-生命排除

分布式计算的历史充满了安全性和活跃性之间的权衡。例如，该领域最著名的结果之一，即在异步系统中不可能达成共识，这基本上表明我们无法设计一种算法，一方面可以确定性地确保共识的一致性和有效性（即安全性），另一方面可以确保共识的等待自由性（即活性）。这项工作的动机是研究安全性和活性特性内在相互排斥的程度。更具体地说，我们问，给定任何安全属性S，我们是否可以确定使用S可以（或不能）实现的最强（或最弱）活性属性。我们表明，可能令人惊讶的是，这些安全活性排除问题的答案通常是否定的。这在各种分布式计算环境中有几个分支。例如，在共识的背景下，这意味着不可能确定能够（分别）通过线性化能力确保的最强（分别是最弱）活性属性。

然而，我们提出了一种方法来规避这些不可能性，并通过考虑一种限制形式的活性来积极回答安全活性问题。我们考虑一个定义，该定义集合了障碍自由和锁自由的一般形式，同时能够确定在一致性和事务性记忆的上下文中可以（分别不能）实现的最强（分别最弱）活性属性。