1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
Parsed test spec with 2 sessions
starting permutation: s1b s1a s2b s2i s1c s2c s2s
step s1b: begin;
step s1a: alter table tpart attach partition tpart_2 for values from (100) to (200);
step s2b: begin;
step s2i: insert into tpart values (110,'xxx'), (120, 'yyy'), (150, 'zzz'); <waiting ...>
step s1c: commit;
step s2i: <... completed>
ERROR: new row for relation "tpart_default" violates partition constraint
step s2c: commit;
step s2s: select tableoid::regclass, * from tpart;
tableoid| i|j
--------+---+---
tpart_2 |110|xxx
tpart_2 |120|yyy
tpart_2 |150|zzz
(3 rows)
starting permutation: s1b s1a s2b s2i2 s1c s2c s2s
step s1b: begin;
step s1a: alter table tpart attach partition tpart_2 for values from (100) to (200);
step s2b: begin;
step s2i2: insert into tpart_default (i, j) values (110, 'xxx'), (120, 'yyy'), (150, 'zzz'); <waiting ...>
step s1c: commit;
step s2i2: <... completed>
ERROR: new row for relation "tpart_default" violates partition constraint
step s2c: commit;
step s2s: select tableoid::regclass, * from tpart;
tableoid| i|j
--------+---+---
tpart_2 |110|xxx
tpart_2 |120|yyy
tpart_2 |150|zzz
(3 rows)
starting permutation: s1b s2b s2i s1a s2c s1c s2s
step s1b: begin;
step s2b: begin;
step s2i: insert into tpart values (110,'xxx'), (120, 'yyy'), (150, 'zzz');
step s1a: alter table tpart attach partition tpart_2 for values from (100) to (200); <waiting ...>
step s2c: commit;
step s1a: <... completed>
ERROR: updated partition constraint for default partition "tpart_default_default" would be violated by some row
step s1c: commit;
step s2s: select tableoid::regclass, * from tpart;
tableoid | i|j
---------------------+---+---
tpart_default_default|110|xxx
tpart_default_default|120|yyy
tpart_default_default|150|zzz
(3 rows)
|
