aboutsummaryrefslogtreecommitdiff
path: root/src/test/isolation/expected/two-ids.out
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/isolation/expected/two-ids.out')
-rw-r--r--src/test/isolation/expected/two-ids.out1080
1 files changed, 540 insertions, 540 deletions
diff --git a/src/test/isolation/expected/two-ids.out b/src/test/isolation/expected/two-ids.out
index 81e61396805..2fbba1e2197 100644
--- a/src/test/isolation/expected/two-ids.out
+++ b/src/test/isolation/expected/two-ids.out
@@ -1,1007 +1,1007 @@
Parsed test spec with 3 sessions
starting permutation: wx1 c1 rxwy2 c2 ry3 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
3
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 rxwy2 ry3 c2 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 rxwy2 ry3 c3 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 c1 ry3 rxwy2 c2 c3
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 c1 ry3 rxwy2 c3 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 c1 ry3 c3 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 rxwy2 c1 c2 ry3 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c1 ry3 c2 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c1 ry3 c3 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 rxwy2 c2 c1 ry3 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c2 ry3 c1 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 c2 ry3 c3 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 rxwy2 ry3 c1 c2 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 ry3 c1 c3 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 rxwy2 ry3 c2 c1 c3
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 rxwy2 ry3 c2 c3 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 rxwy2 ry3 c3 c1 c2
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 rxwy2 ry3 c3 c2 c1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 c1 rxwy2 c2 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 c1 rxwy2 c3 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 c1 c3 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 ry3 rxwy2 c1 c2 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 rxwy2 c1 c3 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: wx1 ry3 rxwy2 c2 c1 c3
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: wx1 ry3 rxwy2 c2 c3 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 rxwy2 c3 c1 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 rxwy2 c3 c2 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: wx1 ry3 c3 c1 rxwy2 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: wx1 ry3 c3 rxwy2 c1 c2
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: wx1 ry3 c3 rxwy2 c2 c1
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 c1 c2 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c1 ry3 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c1 ry3 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 wx1 c2 c1 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c2 ry3 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 c2 ry3 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 ry3 c1 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 ry3 c1 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 wx1 ry3 c2 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 wx1 ry3 c2 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 wx1 ry3 c3 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 wx1 ry3 c3 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 wx1 c1 ry3 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 wx1 ry3 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
2
-step c1: COMMIT;
-step c3: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 wx1 ry3 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 ry3 wx1 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 c2 ry3 wx1 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 c2 ry3 c3 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step ry3: select id from D2;
id
2
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 wx1 c1 c2 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 wx1 c1 c3 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: rxwy2 ry3 wx1 c2 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 wx1 c2 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 wx1 c3 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 ry3 wx1 c3 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c2 wx1 c1 c3
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: rxwy2 ry3 c2 wx1 c3 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c2 c3 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c2: COMMIT;
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c3 wx1 c1 c2
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: rxwy2 ry3 c3 wx1 c2 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: rxwy2 ry3 c3 c2 wx1 c1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step ry3: select id from D2;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 wx1 c1 rxwy2 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 c1 rxwy2 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 c1 c3 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 wx1 rxwy2 c1 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 rxwy2 c1 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: ry3 wx1 rxwy2 c2 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 wx1 rxwy2 c2 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 wx1 rxwy2 c3 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 rxwy2 c3 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 wx1 c3 c1 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 wx1 c3 rxwy2 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 wx1 c3 rxwy2 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 wx1 c1 c2 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
-step c3: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 wx1 c1 c3 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
+step c2: COMMIT;
ERROR: could not serialize access due to read/write dependencies among transactions
starting permutation: ry3 rxwy2 wx1 c2 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 wx1 c2 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 wx1 c3 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 rxwy2 wx1 c3 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c2 wx1 c1 c3
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c3: COMMIT;
starting permutation: ry3 rxwy2 c2 wx1 c3 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c3: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c3: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c2 c3 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c3 wx1 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 rxwy2 c3 wx1 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 rxwy2 c3 c2 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c3: COMMIT;
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c3: COMMIT;
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
starting permutation: ry3 c3 wx1 c1 rxwy2 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
starting permutation: ry3 c3 wx1 rxwy2 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 c3 wx1 rxwy2 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step wx1: update D1 set id = id + 1;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step wx1: update D1 set id = id + 1;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 c3 rxwy2 wx1 c1 c2
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
-step c2: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;
+step c2: COMMIT;
starting permutation: ry3 c3 rxwy2 wx1 c2 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step wx1: update D1 set id = id + 1;
-step c2: COMMIT;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step wx1: update D1 set id = id + 1;
+step c2: COMMIT;
+step c1: COMMIT;
starting permutation: ry3 c3 rxwy2 c2 wx1 c1
-step ry3: select id from D2;
+step ry3: select id from D2;
id
1
-step c3: COMMIT;
-step rxwy2: update D2 set id = (select id+1 from D1);
-step c2: COMMIT;
-step wx1: update D1 set id = id + 1;
-step c1: COMMIT;
+step c3: COMMIT;
+step rxwy2: update D2 set id = (select id+1 from D1);
+step c2: COMMIT;
+step wx1: update D1 set id = id + 1;
+step c1: COMMIT;