@@ -86,28 +86,28 @@ Example simulation and validation
8686次のスニペットは、トランザクションがシミュレートされるワールドステートのスナップショットと、
8787これらの各トランザクションによって実行される読み書きのアクティビティのシーケンスを示します。
8888
89- ::
89+ .. code-block :: none
9090
9191 World state: (k1,1,v1), (k2,1,v2), (k3,1,v3), (k4,1,v4), (k5,1,v5)
9292 T1 -> Write(k1, v1'), Write(k2, v2')
93- T2 -> Read(k1), Write(k3, v3')
93+ T2 -> Read(k1,1 ), Write(k3, v3')
9494 T3 -> Write(k2, v2'')
95- T4 -> Write(k2, v2'''), read(k2)
96- T5 -> Write(k6, v6'), read(k5)
95+ T4 -> Write(k2, v2'''), read(k2,1 )
96+ T5 -> Write(k6, v6'), read(k5,1 )
9797
9898 ここで、これらのトランザクションが、T1,..,T5の順(単一のブロックまたは異なるブロックに含めることができる)に順序付けられていると仮定します。
9999
1001001. ``T1 `` は読み込みを行わないので検証に合格します。
101101 さらに、ワールドステート上のキー ``k1 `` と ``k2 `` のタプルは ``(k1,2,v1'), (k2,2,v2') `` に更新されます。
102102
103- 2. ``T2 `` は、前のトランザクション ``T1 `` によって変更されたキー ``k1 `` を読み込むので、検証に失敗します。
103+ 2. ``T2 `` は、バージョン2になったワールドステート上のキー ``k1 `` ではなく、バージョン1のキー ``k1 `` を読み込むので、検証に失敗します。
104104
1051053. ``T3 `` は読み込みを行わないので検証に合格します。
106106 さらに、ワールドステート上で、キー ``k2 `` のタプルが ``(k2,3,v2'') `` に更新されます。
107107
108- 4. ``T4 `` は、前のトランザクション ``T1 `` によって変更されたキー ``k2 `` を読み込むので、検証に失敗します。
108+ 4. ``T4 `` は、バージョン3になったワールドステート上のキー ``k2 `` ではなく、バージョン1のキー ``k2 `` を読み込むので、検証に失敗します。
109109
110- 5. ``T5 `` は、キー ``k5 `` が前のトランザクションによって変更されないので 、検証に合格します。
110+ 5. ``T5 `` は、キー ``k5 `` がまだバージョン1であるため 、検証に合格します。
111111
112112**Note **: 複数の読み込みセットを持つトランザクションは、まだサポートされていません。
113113
0 commit comments