16、无阻塞事务内存与事务的高级活性

无阻塞事务内存与事务的高级活性

无阻塞事务内存（OBSTRUCTION - FREE TMS）

在无阻塞事务内存（OFTM）中，存在一些重要的特性和证明。首先，在某些情况下，进程只能从变量 x 读取值 0 ，并且在特定前缀 Ep 之后只有进程 p2 执行步骤时，事务 T2 不会被强制中止。

假设 Ep·s 是 E1 的一个前缀，它比 Ep 多包含进程 p1 的一个步骤 s ，即 Ep·s = Ep · ⟨s⟩ ，其中 s = X.op →v （对于某个基础对象 X 、 X 的操作 op 以及操作的返回值 v ）。根据 Ep 的定义，实现历史 Ep·s 可以由进程 p2 扩展为 H ′2 ，或者由进程 p3 扩展为 H ′3 。假设 Ep·s 可以由进程 p3 扩展为 H ′3 ，得到实现历史 Ep·s·3 。

再考