HyperLeDger织物中交易确认的解释

Question

在 Fabric docs ，，以下示例被解释了。

World state: (k1,1,v1), (k2,1,v2), (k3,1,v3), (k4,1,v4), (k5,1,v5)
T1 -> Write(k1, v1'), Write(k2, v2')
T2 -> Read(k1), Write(k3, v3')
T3 -> Write(k2, v2'')
T4 -> Write(k2, v2'''), read(k2)
T5 -> Write(k6, v6'), read(k5)

T1 passes validation because it does not perform any read. Further, the tuple of
keys k1 and k2 in the world state are updated to (k1,2,v1'), (k2,2,v2')
T2 fails validation because it reads a key, k1, which was modified by a
preceding transaction - T1
T3 passes the validation because it does not perform a read. Further the tuple
of the key, k2, in the world state is updated to (k2,3,v2'')
T4 fails the validation because it reads a key, k2, which was modified by a
preceding transaction T1
T5 passes validation because it reads a key, k5, which was not modified by any
of the preceding transactions

提到所有交易，即T1至T5都是基于同一快照的 在验证之前，世界DB。我知道面料遵循执行订单验证阶段进行交易确认。

但是，我不明白，尽管K2的值是 由T1修改。到T3在执行阶段中获得的读取集验证时，由于其值已通过T1修改，因此不再有效。任何人都可以解释该示例是错误的还是错误地理解的。

Answer 1

没有与T3关联的读取集（或其读取集为空）。 T3仅对给定的分类帐键执行写作，因此没有任何不一致。

T3可能会做的一个具体示例是：

• 创建具有给定ID（键）的新资产，而无需先检查资产是否已经存在；或
• 在不检查当前余额的情况下将帐户的余额设置为特定值。

如果T3 更新了密钥的值（首先读取密钥，然后编写更新值），则它将使用MVCC读取冲突验证，T4就是这种情况。