blob: f7bc93e8f1c928c44131d3f7909a75f3881e5d0c (
plain)
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
|
Parsed test spec with 4 sessions
starting permutation: vacuumer_pg_class_stats dml_insert vacuumer_nonaggressive_vacuum vacuumer_pg_class_stats
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 20
(1 row)
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 21
(1 row)
starting permutation: vacuumer_pg_class_stats dml_insert pinholder_cursor vacuumer_nonaggressive_vacuum vacuumer_pg_class_stats pinholder_commit
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 20
(1 row)
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step pinholder_cursor:
BEGIN;
DECLARE c1 CURSOR FOR SELECT 1 AS dummy FROM smalltbl;
FETCH NEXT FROM c1;
dummy
-----
1
(1 row)
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 21
(1 row)
step pinholder_commit:
COMMIT;
starting permutation: vacuumer_pg_class_stats pinholder_cursor dml_insert dml_delete dml_insert vacuumer_nonaggressive_vacuum vacuumer_pg_class_stats pinholder_commit
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 20
(1 row)
step pinholder_cursor:
BEGIN;
DECLARE c1 CURSOR FOR SELECT 1 AS dummy FROM smalltbl;
FETCH NEXT FROM c1;
dummy
-----
1
(1 row)
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step dml_delete:
DELETE FROM smalltbl WHERE id = (SELECT min(id) FROM smalltbl);
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 21
(1 row)
step pinholder_commit:
COMMIT;
starting permutation: vacuumer_pg_class_stats dml_insert dml_delete pinholder_cursor dml_insert vacuumer_nonaggressive_vacuum vacuumer_pg_class_stats pinholder_commit
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 20
(1 row)
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step dml_delete:
DELETE FROM smalltbl WHERE id = (SELECT min(id) FROM smalltbl);
step pinholder_cursor:
BEGIN;
DECLARE c1 CURSOR FOR SELECT 1 AS dummy FROM smalltbl;
FETCH NEXT FROM c1;
dummy
-----
1
(1 row)
step dml_insert:
INSERT INTO smalltbl SELECT max(id) + 1 FROM smalltbl;
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step vacuumer_pg_class_stats:
SELECT relpages, reltuples FROM pg_class WHERE oid = 'smalltbl'::regclass;
relpages|reltuples
--------+---------
1| 21
(1 row)
step pinholder_commit:
COMMIT;
starting permutation: dml_begin dml_other_begin dml_key_share dml_other_key_share vacuumer_nonaggressive_vacuum pinholder_cursor dml_other_update dml_commit dml_other_commit vacuumer_nonaggressive_vacuum pinholder_commit vacuumer_nonaggressive_vacuum
step dml_begin: BEGIN;
step dml_other_begin: BEGIN;
step dml_key_share: SELECT id FROM smalltbl WHERE id = 3 FOR KEY SHARE;
id
--
3
(1 row)
step dml_other_key_share: SELECT id FROM smalltbl WHERE id = 3 FOR KEY SHARE;
id
--
3
(1 row)
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step pinholder_cursor:
BEGIN;
DECLARE c1 CURSOR FOR SELECT 1 AS dummy FROM smalltbl;
FETCH NEXT FROM c1;
dummy
-----
1
(1 row)
step dml_other_update: UPDATE smalltbl SET t = 'u' WHERE id = 3;
step dml_commit: COMMIT;
step dml_other_commit: COMMIT;
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
step pinholder_commit:
COMMIT;
step vacuumer_nonaggressive_vacuum:
VACUUM smalltbl;
|
