15、无阻塞事务内存系统的特性与能力分析

无阻塞事务内存系统的特性与能力分析

在并发计算领域，无阻塞事务内存系统（OFTM）和无阻塞共识对象（fo - consensus object）是重要的研究对象。下面我们将深入探讨它们的特性、相互关系以及计算能力。

1. 无阻塞事务内存系统与无阻塞共识对象的等价性

• 无阻塞共识对象实现OFTM ：
  对于任意一个在执行历史 $E$ 中的事务 $T_k$，若由进程 $p_i$ 执行且未遇到步骤竞争，即除 $p_i$ 外无其他进程在 $T_k$ 的第一个和最后一个事件之间执行任何步骤。根据无阻塞自由性（fo - obstruction - freedom），$T_k$ 不会从数组 Owner 和 State 中的无阻塞共识对象的 propose 操作中返回 $\perp$ 值，也不会在第 21 行从寄存器 $V$ 读取值 $v$ 后，在第 35 行读取到 $v’ \neq v$ 的值，所以 $T_k$ 会获取某个版本。由于 $T_k$ 无步骤竞争且只有 $T_k$ 能向数组 Owner 中的无阻塞共识对象提议值 $k$，在 $T_k$ 执行最后一个事件之前，没有事务能在 Owner 数组的无阻塞共识对象中决定值 $k$。因此，在第 14 行 $T_k$ 向 State[k] 提议 committed 并决定值之前，没有事务能向 State[k] 提议 aborted 。根据