in which invalid page data could be transiently written to disk by
concurrent bgwriter activity. There doesn't seem any risk of loss of
actual user data, but an empty page could possibly be left corrupt if a
crash occurs before the correct data gets written out. Pointed out by
Alvaro Herrera.
- * $PostgreSQL: pgsql/src/backend/commands/vacuum.c,v 1.314 2005/09/02 19:02:19 tgl Exp $
+ * $PostgreSQL: pgsql/src/backend/commands/vacuum.c,v 1.315 2005/09/22 17:32:58 tgl Exp $
*
*-------------------------------------------------------------------------
*/
*
*-------------------------------------------------------------------------
*/
page = BufferGetPage(buf);
/*
page = BufferGetPage(buf);
/*
- * We don't bother to do LockBuffer(buf, BUFFER_LOCK_EXCLUSIVE)
- * because we assume that holding exclusive lock on the relation
- * will keep other backends from looking at the page.
+ * Since we are holding exclusive lock on the relation, no other
+ * backend can be accessing the page; however it is possible that
+ * the background writer will try to write the page if it's already
+ * marked dirty. To ensure that invalid data doesn't get written to
+ * disk, we must take exclusive buffer lock wherever we potentially
+ * modify pages.
+ LockBuffer(buf, BUFFER_LOCK_EXCLUSIVE);
vacpage->blkno = blkno;
vacpage->offsets_used = 0;
vacpage->blkno = blkno;
vacpage->offsets_used = 0;
vacpagecopy = copy_vac_page(vacpage);
vpage_insert(vacuum_pages, vacpagecopy);
vpage_insert(fraged_pages, vacpagecopy);
vacpagecopy = copy_vac_page(vacpage);
vpage_insert(vacuum_pages, vacpagecopy);
vpage_insert(fraged_pages, vacpagecopy);
+ LockBuffer(buf, BUFFER_LOCK_UNLOCK);
WriteBuffer(buf);
continue;
}
WriteBuffer(buf);
continue;
}
vacpagecopy = copy_vac_page(vacpage);
vpage_insert(vacuum_pages, vacpagecopy);
vpage_insert(fraged_pages, vacpagecopy);
vacpagecopy = copy_vac_page(vacpage);
vpage_insert(vacuum_pages, vacpagecopy);
vpage_insert(fraged_pages, vacpagecopy);
+ LockBuffer(buf, BUFFER_LOCK_UNLOCK);
ReleaseBuffer(buf);
continue;
}
ReleaseBuffer(buf);
continue;
}
else
empty_end_pages = 0;
else
empty_end_pages = 0;
+ LockBuffer(buf, BUFFER_LOCK_UNLOCK);
if (pgchanged)
WriteBuffer(buf);
else
if (pgchanged)
WriteBuffer(buf);
else
- * $PostgreSQL: pgsql/src/backend/commands/vacuumlazy.c,v 1.58 2005/09/02 19:02:20 tgl Exp $
+ * $PostgreSQL: pgsql/src/backend/commands/vacuumlazy.c,v 1.59 2005/09/22 17:32:58 tgl Exp $
*
*-------------------------------------------------------------------------
*/
*
*-------------------------------------------------------------------------
*/
* or temp relation, but it's probably not worth the code space
* to check that, since this surely isn't a critical path.
*
* or temp relation, but it's probably not worth the code space
* to check that, since this surely isn't a critical path.
*
- * Note: the comparable code in vacuum.c need not do all this
+ * Note: the comparable code in vacuum.c need not worry
* because it's got exclusive lock on the whole relation.
*/
LockBuffer(buf, BUFFER_LOCK_UNLOCK);
* because it's got exclusive lock on the whole relation.
*/
LockBuffer(buf, BUFFER_LOCK_UNLOCK);