diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/isolation/expected/predicate-gin-fastupdate.out | 30 | ||||
| -rw-r--r-- | src/test/isolation/expected/predicate-gin-nomatch.out | 15 | ||||
| -rw-r--r-- | src/test/isolation/expected/predicate-gin.out | 783 | ||||
| -rw-r--r-- | src/test/isolation/isolation_schedule | 2 | ||||
| -rw-r--r-- | src/test/isolation/specs/predicate-gin-fastupdate.spec | 49 | ||||
| -rw-r--r-- | src/test/isolation/specs/predicate-gin-nomatch.spec | 35 | ||||
| -rw-r--r-- | src/test/isolation/specs/predicate-gin.spec | 174 |
7 files changed, 320 insertions, 768 deletions
diff --git a/src/test/isolation/expected/predicate-gin-fastupdate.out b/src/test/isolation/expected/predicate-gin-fastupdate.out deleted file mode 100644 index 7d4fa8e0240..00000000000 --- a/src/test/isolation/expected/predicate-gin-fastupdate.out +++ /dev/null @@ -1,30 +0,0 @@ -Parsed test spec with 3 sessions - -starting permutation: r1 r2 w1 c1 w2 c2 -step r1: SELECT count(*) FROM gin_tbl WHERE p @> array[1000]; -count - -2 -step r2: SELECT * FROM other_tbl; -id - -step w1: INSERT INTO other_tbl VALUES (42); -step c1: COMMIT; -step w2: INSERT INTO gin_tbl SELECT array[1000,19001]; -ERROR: could not serialize access due to read/write dependencies among transactions -step c2: COMMIT; - -starting permutation: r1 r2 w1 c1 fastupdate_on w2 c2 -step r1: SELECT count(*) FROM gin_tbl WHERE p @> array[1000]; -count - -2 -step r2: SELECT * FROM other_tbl; -id - -step w1: INSERT INTO other_tbl VALUES (42); -step c1: COMMIT; -step fastupdate_on: ALTER INDEX ginidx SET (fastupdate = on); -step w2: INSERT INTO gin_tbl SELECT array[1000,19001]; -ERROR: could not serialize access due to read/write dependencies among transactions -step c2: COMMIT; diff --git a/src/test/isolation/expected/predicate-gin-nomatch.out b/src/test/isolation/expected/predicate-gin-nomatch.out deleted file mode 100644 index 5e733262a40..00000000000 --- a/src/test/isolation/expected/predicate-gin-nomatch.out +++ /dev/null @@ -1,15 +0,0 @@ -Parsed test spec with 2 sessions - -starting permutation: r1 r2 w1 c1 w2 c2 -step r1: SELECT count(*) FROM gin_tbl WHERE p @> array[-1]; -count - -0 -step r2: SELECT * FROM other_tbl; -id - -step w1: INSERT INTO other_tbl VALUES (42); -step c1: COMMIT; -step w2: INSERT INTO gin_tbl SELECT array[-1]; -ERROR: could not serialize access due to read/write dependencies among transactions -step c2: COMMIT; diff --git a/src/test/isolation/expected/predicate-gin.out b/src/test/isolation/expected/predicate-gin.out index bdf8911923b..77eb5aaff79 100644 --- a/src/test/isolation/expected/predicate-gin.out +++ b/src/test/isolation/expected/predicate-gin.out @@ -1,756 +1,457 @@ -Parsed test spec with 2 sessions +Parsed test spec with 3 sessions -starting permutation: rxy1 wx1 c1 rxy2 wy2 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step c1: commit; -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10050 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step c2: commit; +starting permutation: ra1 ro2 wo1 c1 wa2 c2 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -starting permutation: rxy2 wy2 c2 rxy1 wx1 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +{1} +step ro2: select count(*) from other_tbl; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step c2: commit; -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10050 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step c1: commit; - -starting permutation: rxy3 wx3 c1 rxy4 wy4 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count - -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count - -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step c2: commit; - -starting permutation: rxy4 wy4 c2 rxy3 wx3 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count - -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +step wa2: insert into gin_tbl values (array[1]); +ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count - -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c1: commit; -starting permutation: rxy1 wx1 rxy2 c1 wy2 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: ro2 ra1 wo1 c1 wa2 c2 +step ro2: select count(*) from other_tbl; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count +0 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -10000 +{1} +step wo1: insert into other_tbl values (1); step c1: commit; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +step wa2: insert into gin_tbl values (array[1]); ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -starting permutation: rxy1 wx1 rxy2 wy2 c1 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: ro2 ra1 wo1 wa2 c1 c2 +step ro2: select count(*) from other_tbl; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count +0 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +{1} +step wo1: insert into other_tbl values (1); +step wa2: insert into gin_tbl values (array[1]); step c1: commit; step c2: commit; ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy1 wx1 rxy2 wy2 c2 c1 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count +starting permutation: ra1 ro2 wa2 wo1 c1 c2 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +{1} +step ro2: select count(*) from other_tbl; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step c2: commit; +0 +step wa2: insert into gin_tbl values (array[1]); +step wo1: insert into other_tbl values (1); step c1: commit; +step c2: commit; ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy1 rxy2 wx1 c1 wy2 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: rb1 ro2 wo1 c1 wb2 c2 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +1 +step ro2: select count(*) from other_tbl; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +step wb2: insert into gin_tbl values (array[2]); ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -starting permutation: rxy1 rxy2 wx1 wy2 c1 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: ro2 rb1 wo1 c1 wb2 c2 +step ro2: select count(*) from other_tbl; count -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +0 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +1 +step wo1: insert into other_tbl values (1); step c1: commit; -step c2: commit; +step wb2: insert into gin_tbl values (array[2]); ERROR: could not serialize access due to read/write dependencies among transactions - -starting permutation: rxy1 rxy2 wx1 wy2 c2 c1 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; step c2: commit; -step c1: commit; -ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy1 rxy2 wy2 wx1 c1 c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: ro2 rb1 wo1 wb2 c1 c2 +step ro2: select count(*) from other_tbl; count -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +0 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +1 +step wo1: insert into other_tbl values (1); +step wb2: insert into gin_tbl values (array[2]); step c1: commit; step c2: commit; ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy1 rxy2 wy2 wx1 c2 c1 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: rb1 ro2 wb2 wo1 c1 c2 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +1 +step ro2: select count(*) from other_tbl; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step c2: commit; +0 +step wb2: insert into gin_tbl values (array[2]); +step wo1: insert into other_tbl values (1); step c1: commit; -ERROR: could not serialize access due to read/write dependencies among transactions - -starting permutation: rxy1 rxy2 wy2 c2 wx1 c1 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; step c2: commit; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; ERROR: could not serialize access due to read/write dependencies among transactions -step c1: commit; -starting permutation: rxy2 rxy1 wx1 c1 wy2 c2 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +starting permutation: rc1 ro2 wo1 c1 wc2 c2 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +1 +step ro2: select count(*) from other_tbl; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +step wc2: insert into gin_tbl values (array[800]); ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -starting permutation: rxy2 rxy1 wx1 wy2 c1 c2 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +starting permutation: ro2 rc1 wo1 c1 wc2 c2 +step ro2: select count(*) from other_tbl; count -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +0 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; +1 +step wo1: insert into other_tbl values (1); step c1: commit; -step c2: commit; +step wc2: insert into gin_tbl values (array[800]); ERROR: could not serialize access due to read/write dependencies among transactions - -starting permutation: rxy2 rxy1 wx1 wy2 c2 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; step c2: commit; -step c1: commit; -ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy2 rxy1 wy2 wx1 c1 c2 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +starting permutation: ro2 rc1 wo1 wc2 c1 c2 +step ro2: select count(*) from other_tbl; count -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +0 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +1 +step wo1: insert into other_tbl values (1); +step wc2: insert into gin_tbl values (array[800]); step c1: commit; step c2: commit; ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy2 rxy1 wy2 wx1 c2 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +starting permutation: rc1 ro2 wc2 wo1 c1 c2 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +1 +step ro2: select count(*) from other_tbl; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step c2: commit; +0 +step wc2: insert into gin_tbl values (array[800]); +step wo1: insert into other_tbl values (1); step c1: commit; -ERROR: could not serialize access due to read/write dependencies among transactions - -starting permutation: rxy2 rxy1 wy2 c2 wx1 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10000 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; step c2: commit; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; ERROR: could not serialize access due to read/write dependencies among transactions -step c1: commit; -starting permutation: rxy2 wy2 rxy1 wx1 c1 c2 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count +starting permutation: ra1 ro2 wo1 c1 wb2 c2 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +{1} +step ro2: select count(*) from other_tbl; count -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wb2: insert into gin_tbl values (array[2]); step c2: commit; -ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: rxy2 wy2 rxy1 wx1 c2 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; +starting permutation: ro2 ra1 wo1 c1 wc2 c2 +step ro2: select count(*) from other_tbl; count -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count +0 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -10000 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -step c2: commit; +{1} +step wo1: insert into other_tbl values (1); step c1: commit; -ERROR: could not serialize access due to read/write dependencies among transactions - -starting permutation: rxy2 wy2 rxy1 c2 wx1 c1 -step rxy2: select count(*) from gin_tbl where p @> array[5,6]; -count - -10000 -step wy2: insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; -count - -10000 +step wc2: insert into gin_tbl values (array[800]); step c2: commit; -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; -ERROR: could not serialize access due to read/write dependencies among transactions -step c1: commit; -starting permutation: rxy3 wx3 rxy4 c1 wy4 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: ro2 rb1 wo1 wa2 c1 c2 +step ro2: select count(*) from other_tbl; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +0 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -4 +1 +step wo1: insert into other_tbl values (1); +step wa2: insert into gin_tbl values (array[1]); step c1: commit; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; step c2: commit; -starting permutation: rxy3 wx3 rxy4 wy4 c1 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: rc1 ro2 wa2 wo1 c1 c2 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +1 +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +0 +step wa2: insert into gin_tbl values (array[1]); +step wo1: insert into other_tbl values (1); step c1: commit; step c2: commit; -starting permutation: rxy3 wx3 rxy4 wy4 c2 c1 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: rb1 ro2 wo1 c1 wa2 c2 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +1 +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step c2: commit; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wa2: insert into gin_tbl values (array[1]); +step c2: commit; -starting permutation: rxy3 rxy4 wx3 c1 wy4 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: ro2 rb1 wo1 c1 wc2 c2 +step ro2: select count(*) from other_tbl; count -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +0 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +1 +step wo1: insert into other_tbl values (1); step c1: commit; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +step wc2: insert into gin_tbl values (array[800]); step c2: commit; -starting permutation: rxy3 rxy4 wx3 wy4 c1 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: ro2 ra1 wo1 wb2 c1 c2 +step ro2: select count(*) from other_tbl; count -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count +0 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +{1} +step wo1: insert into other_tbl values (1); +step wb2: insert into gin_tbl values (array[2]); step c1: commit; step c2: commit; -starting permutation: rxy3 rxy4 wx3 wy4 c2 c1 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: rc1 ro2 wb2 wo1 c1 c2 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +1 +step ro2: select count(*) from other_tbl; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step c2: commit; +0 +step wb2: insert into gin_tbl values (array[2]); +step wo1: insert into other_tbl values (1); step c1: commit; +step c2: commit; -starting permutation: rxy3 rxy4 wy4 wx3 c1 c2 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: rc1 ro2 wo1 c1 wa2 c2 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +1 +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wa2: insert into gin_tbl values (array[1]); step c2: commit; -starting permutation: rxy3 rxy4 wy4 wx3 c2 c1 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +starting permutation: ro2 rc1 wo1 c1 wb2 c2 +step ro2: select count(*) from other_tbl; count -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +0 +step rc1: select count(*) from gin_tbl where p @> array[800]; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c2: commit; +1 +step wo1: insert into other_tbl values (1); step c1: commit; - -starting permutation: rxy3 rxy4 wy4 c2 wx3 c1 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count - -4 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count - -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +step wb2: insert into gin_tbl values (array[2]); step c2: commit; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c1: commit; -starting permutation: rxy4 rxy3 wx3 c1 wy4 c2 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +starting permutation: ro2 ra1 wo1 wc2 c1 c2 +step ro2: select count(*) from other_tbl; count -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count +0 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +{1} +step wo1: insert into other_tbl values (1); +step wc2: insert into gin_tbl values (array[800]); step c1: commit; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; step c2: commit; -starting permutation: rxy4 rxy3 wx3 wy4 c1 c2 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +starting permutation: rb1 ro2 wc2 wo1 c1 c2 +step rb1: select count(*) from gin_tbl where p @> array[2]; count -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +1 +step ro2: select count(*) from other_tbl; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +0 +step wc2: insert into gin_tbl values (array[800]); +step wo1: insert into other_tbl values (1); step c1: commit; step c2: commit; -starting permutation: rxy4 rxy3 wx3 wy4 c2 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count +starting permutation: fu ra1 ro2 wo1 c1 wa2 c2 +step fu: alter index ginidx set (fastupdate = on); +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +{1} +step ro2: select count(*) from other_tbl; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step c2: commit; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wa2: insert into gin_tbl values (array[1]); +ERROR: could not serialize access due to read/write dependencies among transactions +step c2: commit; -starting permutation: rxy4 rxy3 wy4 wx3 c1 c2 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count +starting permutation: fu ra1 ro2 wo1 c1 wb2 c2 +step fu: alter index ginidx set (fastupdate = on); +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +{1} +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wb2: insert into gin_tbl values (array[2]); +ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -starting permutation: rxy4 rxy3 wy4 wx3 c2 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count +starting permutation: ra1 ro2 wo1 c1 fu wa2 c2 +step ra1: select * from gin_tbl where p @> array[1] limit 1; +p -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +{1} +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c2: commit; +0 +step wo1: insert into other_tbl values (1); step c1: commit; - -starting permutation: rxy4 rxy3 wy4 c2 wx3 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count - -4 -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count - -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; +step fu: alter index ginidx set (fastupdate = on); +step wa2: insert into gin_tbl values (array[1]); +ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c1: commit; -starting permutation: rxy4 wy4 rxy3 wx3 c1 c2 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +starting permutation: rd1 ro2 wo1 c1 wd2 c2 +step rd1: select count(*) from gin_tbl where p @> array[2000]; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +0 +step ro2: select count(*) from other_tbl; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; +0 +step wo1: insert into other_tbl values (1); step c1: commit; +step wd2: insert into gin_tbl values (array[2000]); +ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -starting permutation: rxy4 wy4 rxy3 wx3 c2 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; +starting permutation: ro2 rd1 wo1 c1 wd2 c2 +step ro2: select count(*) from other_tbl; count -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; +0 +step rd1: select count(*) from gin_tbl where p @> array[2000]; count -4 -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c2: commit; +0 +step wo1: insert into other_tbl values (1); step c1: commit; - -starting permutation: rxy4 wy4 rxy3 c2 wx3 c1 -step rxy4: select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; -count - -4 -step wy4: insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; -step rxy3: select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; -count - -4 +step wd2: insert into gin_tbl values (array[2000]); +ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; -step wx3: insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; -step c1: commit; -starting permutation: rxy1 rxy2fu wx1 c1 wy2fu c2 -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: ro2 rd1 wo1 wd2 c1 c2 +step ro2: select count(*) from other_tbl; count -10000 -step rxy2fu: select count(*) from gin_tbl where p @> array[10000,10005]; +0 +step rd1: select count(*) from gin_tbl where p @> array[2000]; count 0 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +step wo1: insert into other_tbl values (1); +step wd2: insert into gin_tbl values (array[2000]); step c1: commit; -step wy2fu: insert into gin_tbl select g, array[10000,10005] from - generate_series(20051, 20100) g; step c2: commit; +ERROR: could not serialize access due to read/write dependencies among transactions -starting permutation: fu1 rxy1 rxy2fu wx1 c1 wy2fu c2 -step fu1: alter index ginidx set (fastupdate = on); - commit; - begin isolation level serializable; - set enable_seqscan=off; -step rxy1: select count(*) from gin_tbl where p @> array[4,5]; +starting permutation: rd1 ro2 wd2 wo1 c1 c2 +step rd1: select count(*) from gin_tbl where p @> array[2000]; count -10000 -step rxy2fu: select count(*) from gin_tbl where p @> array[10000,10005]; +0 +step ro2: select count(*) from other_tbl; count 0 -step wx1: insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; +step wd2: insert into gin_tbl values (array[2000]); +step wo1: insert into other_tbl values (1); step c1: commit; -step wy2fu: insert into gin_tbl select g, array[10000,10005] from - generate_series(20051, 20100) g; -ERROR: could not serialize access due to read/write dependencies among transactions step c2: commit; +ERROR: could not serialize access due to read/write dependencies among transactions diff --git a/src/test/isolation/isolation_schedule b/src/test/isolation/isolation_schedule index 8a9a854e8ac..91d9d90135b 100644 --- a/src/test/isolation/isolation_schedule +++ b/src/test/isolation/isolation_schedule @@ -72,8 +72,6 @@ test: vacuum-skip-locked test: predicate-hash test: predicate-gist test: predicate-gin -test: predicate-gin-fastupdate -test: predicate-gin-nomatch test: partition-key-update-1 test: partition-key-update-2 test: partition-key-update-3 diff --git a/src/test/isolation/specs/predicate-gin-fastupdate.spec b/src/test/isolation/specs/predicate-gin-fastupdate.spec deleted file mode 100644 index 04b8036fc56..00000000000 --- a/src/test/isolation/specs/predicate-gin-fastupdate.spec +++ /dev/null @@ -1,49 +0,0 @@ -# -# Test that predicate locking on a GIN index works correctly, even if -# fastupdate is turned on concurrently. -# -# 0. fastupdate is off -# 1. Session 's1' acquires predicate lock on page X -# 2. fastupdate is turned on -# 3. Session 's2' inserts a new tuple to the pending list -# -# This test tests that if the lock acquired in step 1 would conflict with -# the scan in step 1, we detect that conflict correctly, even if fastupdate -# was turned on in-between. -# -setup -{ - create table gin_tbl(p int4[]); - insert into gin_tbl select array[g, g*2,g*3] from generate_series(1, 10000) g; - insert into gin_tbl select array[4,5,6] from generate_series(10001, 20000) g; - create index ginidx on gin_tbl using gin(p) with (fastupdate = off); - - create table other_tbl (id int4); -} - -teardown -{ - drop table gin_tbl; - drop table other_tbl; -} - -session "s1" -setup { BEGIN ISOLATION LEVEL SERIALIZABLE; SET enable_seqscan=off; } -step "r1" { SELECT count(*) FROM gin_tbl WHERE p @> array[1000]; } -step "w1" { INSERT INTO other_tbl VALUES (42); } -step "c1" { COMMIT; } - -session "s2" -setup { BEGIN ISOLATION LEVEL SERIALIZABLE; SET enable_seqscan=off; } -step "r2" { SELECT * FROM other_tbl; } -step "w2" { INSERT INTO gin_tbl SELECT array[1000,19001]; } -step "c2" { COMMIT; } - -session "s3" -step "fastupdate_on" { ALTER INDEX ginidx SET (fastupdate = on); } - -# This correctly throws serialization failure. -permutation "r1" "r2" "w1" "c1" "w2" "c2" - -# But if fastupdate is turned on in the middle, we miss it. -permutation "r1" "r2" "w1" "c1" "fastupdate_on" "w2" "c2" diff --git a/src/test/isolation/specs/predicate-gin-nomatch.spec b/src/test/isolation/specs/predicate-gin-nomatch.spec deleted file mode 100644 index 0ad456cb147..00000000000 --- a/src/test/isolation/specs/predicate-gin-nomatch.spec +++ /dev/null @@ -1,35 +0,0 @@ -# -# Check that GIN index grabs an appropriate lock, even if there is no match. -# -setup -{ - create table gin_tbl(p int4[]); - insert into gin_tbl select array[g, g*2,g*3] from generate_series(1, 10000) g; - insert into gin_tbl select array[4,5,6] from generate_series(10001, 20000) g; - create index ginidx on gin_tbl using gin(p) with (fastupdate = off); - - create table other_tbl (id int4); -} - -teardown -{ - drop table gin_tbl; - drop table other_tbl; -} - -session "s1" -setup { BEGIN ISOLATION LEVEL SERIALIZABLE; SET enable_seqscan=off; } -# Scan with no match. -step "r1" { SELECT count(*) FROM gin_tbl WHERE p @> array[-1]; } -step "w1" { INSERT INTO other_tbl VALUES (42); } -step "c1" { COMMIT; } - -session "s2" -setup { BEGIN ISOLATION LEVEL SERIALIZABLE; SET enable_seqscan=off; } -step "r2" { SELECT * FROM other_tbl; } -# Insert row that would've matched in step "r1" -step "w2" { INSERT INTO gin_tbl SELECT array[-1]; } -step "c2" { COMMIT; } - -# This should throw serialization failure. -permutation "r1" "r2" "w1" "c1" "w2" "c2" diff --git a/src/test/isolation/specs/predicate-gin.spec b/src/test/isolation/specs/predicate-gin.spec index 6a4069e995b..46fc51befd4 100644 --- a/src/test/isolation/specs/predicate-gin.spec +++ b/src/test/isolation/specs/predicate-gin.spec @@ -11,15 +11,17 @@ setup { - create table gin_tbl(id int4, p int4[]); - insert into gin_tbl select g, array[g, g*2,g*3] from generate_series(1, 10000) g; - insert into gin_tbl select g, array[4,5,6] from generate_series(10001, 20000) g; + create table gin_tbl(p int4[]); + insert into gin_tbl select array[1] from generate_series(1, 8192) g; + insert into gin_tbl select array[g] from generate_series(2, 800) g; create index ginidx on gin_tbl using gin(p) with (fastupdate = off); + create table other_tbl(v int4); } teardown { drop table gin_tbl; + drop table other_tbl; } session "s1" @@ -29,19 +31,13 @@ setup set enable_seqscan=off; } -# enable pending list for a small subset of tests -step "fu1" { alter index ginidx set (fastupdate = on); - commit; - begin isolation level serializable; - set enable_seqscan=off; } - -step "rxy1" { select count(*) from gin_tbl where p @> array[4,5]; } -step "wx1" { insert into gin_tbl select g, array[5,6] from generate_series - (20001, 20050) g; } -step "rxy3" { select count(*) from gin_tbl where p @> array[1,2] or - p @> array[100,200] or p @> array[500,1000] or p @> array[1000,2000]; } -step "wx3" { insert into gin_tbl select g, array[g,g*2] from generate_series - (1, 50) g; } +step "ra1" { select * from gin_tbl where p @> array[1] limit 1; } +step "rb1" { select count(*) from gin_tbl where p @> array[2]; } +step "rc1" { select count(*) from gin_tbl where p @> array[800]; } +step "rd1" { select count(*) from gin_tbl where p @> array[2000]; } + +step "wo1" { insert into other_tbl values (1); } + step "c1" { commit; } session "s2" @@ -51,83 +47,69 @@ setup set enable_seqscan=off; } -step "rxy2" { select count(*) from gin_tbl where p @> array[5,6]; } -step "rxy2fu" { select count(*) from gin_tbl where p @> array[10000,10005]; } -step "wy2" { insert into gin_tbl select g, array[4,5] from - generate_series(20051, 20100) g; } -step "wy2fu" { insert into gin_tbl select g, array[10000,10005] from - generate_series(20051, 20100) g; } -step "rxy4" { select count(*) from gin_tbl where p @> array[4000,8000] or - p @> array[5000,10000] or p @> array[6000,12000] or - p @> array[8000,16000]; } -step "wy4" { insert into gin_tbl select g, array[g,g*2] from generate_series - (10000, 10050) g; } -step "c2" { commit; } - - -# An index scan (from one transaction) and an index insert (from another transaction) -# try to access the same part of the index but one transaction commits before other -# transaction begins so no r-w conflict. - -permutation "rxy1" "wx1" "c1" "rxy2" "wy2" "c2" -permutation "rxy2" "wy2" "c2" "rxy1" "wx1" "c1" - -# An index scan (from one transaction) and an index insert (from another transaction) -# try to access different parts of the index and also one transaction commits before -# other transaction begins, so no r-w conflict. - -permutation "rxy3" "wx3" "c1" "rxy4" "wy4" "c2" -permutation "rxy4" "wy4" "c2" "rxy3" "wx3" "c1" - - -# An index scan (from one transaction) and an index insert (from another transaction) -# try to access the same part of the index and one transaction begins before other -# transaction commits so there is a r-w conflict. - -permutation "rxy1" "wx1" "rxy2" "c1" "wy2" "c2" -permutation "rxy1" "wx1" "rxy2" "wy2" "c1" "c2" -permutation "rxy1" "wx1" "rxy2" "wy2" "c2" "c1" -permutation "rxy1" "rxy2" "wx1" "c1" "wy2" "c2" -permutation "rxy1" "rxy2" "wx1" "wy2" "c1" "c2" -permutation "rxy1" "rxy2" "wx1" "wy2" "c2" "c1" -permutation "rxy1" "rxy2" "wy2" "wx1" "c1" "c2" -permutation "rxy1" "rxy2" "wy2" "wx1" "c2" "c1" -permutation "rxy1" "rxy2" "wy2" "c2" "wx1" "c1" -permutation "rxy2" "rxy1" "wx1" "c1" "wy2" "c2" -permutation "rxy2" "rxy1" "wx1" "wy2" "c1" "c2" -permutation "rxy2" "rxy1" "wx1" "wy2" "c2" "c1" -permutation "rxy2" "rxy1" "wy2" "wx1" "c1" "c2" -permutation "rxy2" "rxy1" "wy2" "wx1" "c2" "c1" -permutation "rxy2" "rxy1" "wy2" "c2" "wx1" "c1" -permutation "rxy2" "wy2" "rxy1" "wx1" "c1" "c2" -permutation "rxy2" "wy2" "rxy1" "wx1" "c2" "c1" -permutation "rxy2" "wy2" "rxy1" "c2" "wx1" "c1" - -# An index scan (from one transaction) and an index insert (from another transaction) -# try to access different parts of the index so no r-w conflict. - -permutation "rxy3" "wx3" "rxy4" "c1" "wy4" "c2" -permutation "rxy3" "wx3" "rxy4" "wy4" "c1" "c2" -permutation "rxy3" "wx3" "rxy4" "wy4" "c2" "c1" -permutation "rxy3" "rxy4" "wx3" "c1" "wy4" "c2" -permutation "rxy3" "rxy4" "wx3" "wy4" "c1" "c2" -permutation "rxy3" "rxy4" "wx3" "wy4" "c2" "c1" -permutation "rxy3" "rxy4" "wy4" "wx3" "c1" "c2" -permutation "rxy3" "rxy4" "wy4" "wx3" "c2" "c1" -permutation "rxy3" "rxy4" "wy4" "c2" "wx3" "c1" -permutation "rxy4" "rxy3" "wx3" "c1" "wy4" "c2" -permutation "rxy4" "rxy3" "wx3" "wy4" "c1" "c2" -permutation "rxy4" "rxy3" "wx3" "wy4" "c2" "c1" -permutation "rxy4" "rxy3" "wy4" "wx3" "c1" "c2" -permutation "rxy4" "rxy3" "wy4" "wx3" "c2" "c1" -permutation "rxy4" "rxy3" "wy4" "c2" "wx3" "c1" -permutation "rxy4" "wy4" "rxy3" "wx3" "c1" "c2" -permutation "rxy4" "wy4" "rxy3" "wx3" "c2" "c1" -permutation "rxy4" "wy4" "rxy3" "c2" "wx3" "c1" - -# Test fastupdate = on. First test should pass because fastupdate is off and -# sessions touches different parts of index, second should fail because -# with fastupdate on, then whole index should be under predicate lock. - -permutation "rxy1" "rxy2fu" "wx1" "c1" "wy2fu" "c2" -permutation "fu1" "rxy1" "rxy2fu" "wx1" "c1" "wy2fu" "c2" +step "ro2" { select count(*) from other_tbl; } + +step "wa2" { insert into gin_tbl values (array[1]); } +step "wb2" { insert into gin_tbl values (array[2]); } +step "wc2" { insert into gin_tbl values (array[800]); } +step "wd2" { insert into gin_tbl values (array[2000]); } + +step "c2" { commit; } + +session "s3" +step "fu" { alter index ginidx set (fastupdate = on); } + +# An index scan (from one transaction) and an index insert (from another +# transaction) try to access the same part of the index. So, there is a +# r-w conflict. + +permutation "ra1" "ro2" "wo1" "c1" "wa2" "c2" +permutation "ro2" "ra1" "wo1" "c1" "wa2" "c2" +permutation "ro2" "ra1" "wo1" "wa2" "c1" "c2" +permutation "ra1" "ro2" "wa2" "wo1" "c1" "c2" + +permutation "rb1" "ro2" "wo1" "c1" "wb2" "c2" +permutation "ro2" "rb1" "wo1" "c1" "wb2" "c2" +permutation "ro2" "rb1" "wo1" "wb2" "c1" "c2" +permutation "rb1" "ro2" "wb2" "wo1" "c1" "c2" + +permutation "rc1" "ro2" "wo1" "c1" "wc2" "c2" +permutation "ro2" "rc1" "wo1" "c1" "wc2" "c2" +permutation "ro2" "rc1" "wo1" "wc2" "c1" "c2" +permutation "rc1" "ro2" "wc2" "wo1" "c1" "c2" + +# An index scan (from one transaction) and an index insert (from another +# transaction) try to access different parts of the index. So, there is no +# r-w conflict. + +permutation "ra1" "ro2" "wo1" "c1" "wb2" "c2" +permutation "ro2" "ra1" "wo1" "c1" "wc2" "c2" +permutation "ro2" "rb1" "wo1" "wa2" "c1" "c2" +permutation "rc1" "ro2" "wa2" "wo1" "c1" "c2" + +permutation "rb1" "ro2" "wo1" "c1" "wa2" "c2" +permutation "ro2" "rb1" "wo1" "c1" "wc2" "c2" +permutation "ro2" "ra1" "wo1" "wb2" "c1" "c2" +permutation "rc1" "ro2" "wb2" "wo1" "c1" "c2" + +permutation "rc1" "ro2" "wo1" "c1" "wa2" "c2" +permutation "ro2" "rc1" "wo1" "c1" "wb2" "c2" +permutation "ro2" "ra1" "wo1" "wc2" "c1" "c2" +permutation "rb1" "ro2" "wc2" "wo1" "c1" "c2" + +# With fastupdate = on all index is under predicate lock. So we can't +# distinguish particular keys. + +permutation "fu" "ra1" "ro2" "wo1" "c1" "wa2" "c2" +permutation "fu" "ra1" "ro2" "wo1" "c1" "wb2" "c2" + +# Check fastupdate turned on concurrently. + +permutation "ra1" "ro2" "wo1" "c1" "fu" "wa2" "c2" + +# Tests for conflicts with previously non-existing key + +permutation "rd1" "ro2" "wo1" "c1" "wd2" "c2" +permutation "ro2" "rd1" "wo1" "c1" "wd2" "c2" +permutation "ro2" "rd1" "wo1" "wd2" "c1" "c2" +permutation "rd1" "ro2" "wd2" "wo1" "c1" "c2" |