$t$-弹性 $k$-即时快照及其与一致性问题的关系

即时快照对象是一种构建于读/写分布式系统之上的高层通信对象，其中除一个进程外其余进程均可能崩溃。它允许一个进程写入一个值并获得一组值，这些值表示紧接写入步骤之后写入该对象的值的快照。考虑最多有 $t$ 个进程可能崩溃的 $n$ 进程模型，本文首先引入 $k$-弹性即时快照对象，它是基本即时快照（对应 $k=t=n-1$ 的情形）的自然推广。除基本即时快照的集合包含性质外，$k$-弹性即时快照对象要求返回给每个进程的集合至少包含 $(n-k)$ 个对。本文首先证明，对于 $k,t<n-1$，$k$-弹性即时快照在异步读/写系统中是不可能的。随后本文研究一种计算模型，其中进程通过访问 $k$-即时快照对象相互通信，并表明该模型强于 $t$-崩溃模型。考虑 $x$-集一致问题空间（在 $x\leq t$ 的系统中不可解），本文证明在 enriched with $k$-即时快照对象的读/写系统中，$x$-集一致可在 $x=\max(1,t+k-(n-2))$ 时求解。本文还表明，在这些系统中，当 $1\leq t<n/2$ 且 $t\leq k\leq (n-1)-t$ 时，$k$-弹性即时快照与共识等价。因此，本文通过建立将基本分布式计算对象（一个关涉通信，另一个关涉一致）联系起来的强关系，这些对象在纯读/写系统中均不可解。