Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit e415b46

Browse files
committed
Reject ANALYZE commands during VACUUM FULL or another ANALYZE.
vacuum()'s static variable handling makes it non-reentrant; an ensuing null pointer deference crashed the backend. Back-patch to 9.0 (all supported versions).
1 parent 39f2594 commit e415b46

File tree

3 files changed

+33
-4
lines changed

3 files changed

+33
-4
lines changed

src/backend/commands/vacuum.c

+12-2
Original file line numberDiff line numberDiff line change
@@ -105,6 +105,7 @@ vacuum(VacuumStmt *vacstmt, Oid relid, bool do_toast,
105105
volatile bool in_outer_xact,
106106
use_own_xacts;
107107
List *relations;
108+
static bool in_vacuum = false;
108109

109110
/* sanity checks on options */
110111
Assert(vacstmt->options & (VACOPT_VACUUM | VACOPT_ANALYZE));
@@ -130,6 +131,14 @@ vacuum(VacuumStmt *vacstmt, Oid relid, bool do_toast,
130131
else
131132
in_outer_xact = IsInTransactionChain(isTopLevel);
132133

134+
/*
135+
* Due to static variables vac_context, anl_context and vac_strategy,
136+
* vacuum() is not reentrant. This matters when VACUUM FULL or ANALYZE
137+
* calls a hostile index expression that itself calls ANALYZE.
138+
*/
139+
if (in_vacuum)
140+
elog(ERROR, "%s cannot be executed from VACUUM or ANALYZE", stmttype);
141+
133142
/*
134143
* Send info about dead objects to the statistics collector, unless we are
135144
* in autovacuum --- autovacuum.c does this for itself.
@@ -222,6 +231,7 @@ vacuum(VacuumStmt *vacstmt, Oid relid, bool do_toast,
222231
{
223232
ListCell *cur;
224233

234+
in_vacuum = true;
225235
VacuumCostActive = (VacuumCostDelay > 0);
226236
VacuumCostBalance = 0;
227237
VacuumPageHit = 0;
@@ -266,13 +276,13 @@ vacuum(VacuumStmt *vacstmt, Oid relid, bool do_toast,
266276
}
267277
PG_CATCH();
268278
{
269-
/* Make sure cost accounting is turned off after error */
279+
in_vacuum = false;
270280
VacuumCostActive = false;
271281
PG_RE_THROW();
272282
}
273283
PG_END_TRY();
274284

275-
/* Turn off vacuum cost accounting */
285+
in_vacuum = false;
276286
VacuumCostActive = false;
277287

278288
/*

src/test/regress/expected/vacuum.out

+13-1
Original file line numberDiff line numberDiff line change
@@ -60,12 +60,24 @@ VACUUM (FULL, FREEZE) vactst;
6060
VACUUM (ANALYZE, FULL) vactst;
6161
CREATE TABLE vaccluster (i INT PRIMARY KEY);
6262
ALTER TABLE vaccluster CLUSTER ON vaccluster_pkey;
63-
INSERT INTO vaccluster SELECT * FROM vactst;
6463
CLUSTER vaccluster;
64+
CREATE FUNCTION do_analyze() RETURNS VOID VOLATILE LANGUAGE SQL
65+
AS 'ANALYZE pg_am';
66+
CREATE FUNCTION wrap_do_analyze(c INT) RETURNS INT IMMUTABLE LANGUAGE SQL
67+
AS 'SELECT $1 FROM do_analyze()';
68+
CREATE INDEX ON vactst(wrap_do_analyze(i));
69+
INSERT INTO vactst VALUES (1), (2);
70+
ANALYZE vactst;
71+
ERROR: ANALYZE cannot be executed from VACUUM or ANALYZE
72+
CONTEXT: SQL function "do_analyze" statement 1
73+
SQL function "wrap_do_analyze" statement 1
6574
VACUUM FULL pg_am;
6675
VACUUM FULL pg_class;
6776
VACUUM FULL pg_database;
6877
VACUUM FULL vaccluster;
6978
VACUUM FULL vactst;
79+
ERROR: ANALYZE cannot be executed from VACUUM or ANALYZE
80+
CONTEXT: SQL function "do_analyze" statement 1
81+
SQL function "wrap_do_analyze" statement 1
7082
DROP TABLE vaccluster;
7183
DROP TABLE vactst;

src/test/regress/sql/vacuum.sql

+8-1
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,16 @@ VACUUM (ANALYZE, FULL) vactst;
4444

4545
CREATE TABLE vaccluster (i INT PRIMARY KEY);
4646
ALTER TABLE vaccluster CLUSTER ON vaccluster_pkey;
47-
INSERT INTO vaccluster SELECT * FROM vactst;
4847
CLUSTER vaccluster;
4948

49+
CREATE FUNCTION do_analyze() RETURNS VOID VOLATILE LANGUAGE SQL
50+
AS 'ANALYZE pg_am';
51+
CREATE FUNCTION wrap_do_analyze(c INT) RETURNS INT IMMUTABLE LANGUAGE SQL
52+
AS 'SELECT $1 FROM do_analyze()';
53+
CREATE INDEX ON vactst(wrap_do_analyze(i));
54+
INSERT INTO vactst VALUES (1), (2);
55+
ANALYZE vactst;
56+
5057
VACUUM FULL pg_am;
5158
VACUUM FULL pg_class;
5259
VACUUM FULL pg_database;

0 commit comments

Comments
 (0)