database/postgres
1
0
Fork 0
mirror of https://github.com/postgres/postgres.git synced 2025-08-18 12:22:09 +03:00
Code Activity

Comment on need to MarkBufferDirty() if omitting DELAY_CHKPT_START.

Browse Source 
Blocking checkpoint phase 2 requires MarkBufferDirty() and
BUFFER_LOCK_EXCLUSIVE; neither suffices by itself.  transam/README documents
this, citing SyncOneBuffer().  Update the DELAY_CHKPT_START documentation to
say this.  Expand the heap_inplace_update_and_unlock() comment that cites
XLogSaveBufferForHint() as precedent, since heap_inplace_update_and_unlock()
could have opted not to use DELAY_CHKPT_START.

Commit 8e7e672cda added DELAY_CHKPT_START to
heap_inplace_update_and_unlock().  Since commit
bc6bad8857 reverted it in non-master branches,
no back-patch.

Discussion: https://postgr.es/m/20250406180054.26.nmisch@google.com
This commit is contained in:
Noah Misch
2025-04-20 12:00:17 -07:00
parent 714bd9e3a7
commit 8180136652
2 changed files with 15 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/backend/access/heap/heapam.c
View File

@@ -6507,9 +6507,17 @@ heap_inplace_update_and_unlock(Relation relation,
* [crash]
* [recovery restores datfrozenxid w/o relfrozenxid]
*
* Like in MarkBufferDirtyHint() subroutine XLogSaveBufferForHint(), copy
* the buffer to the stack before logging. Here, that facilitates a FPI
* of the post-mutation block before we accept other sessions seeing it.
* Mimic MarkBufferDirtyHint() subroutine XLogSaveBufferForHint().
* Specifically, use DELAY_CHKPT_START, and copy the buffer to the stack.
* The stack copy facilitates a FPI of the post-mutation block before we
* accept other sessions seeing it. DELAY_CHKPT_START allows us to
* XLogInsert() before MarkBufferDirty(). Since XLogSaveBufferForHint()
* can operate under BUFFER_LOCK_SHARED, it can't avoid DELAY_CHKPT_START.
* This function, however, likely could avoid it with the following order
* of operations: MarkBufferDirty(), XLogInsert(), memcpy(). Opt to use
* DELAY_CHKPT_START here, too, as a way to have fewer distinct code
* patterns to analyze. Inplace update isn't so frequent that it should
* pursue the small optimization of skipping DELAY_CHKPT_START.
*/
Assert((MyProc->delayChkptFlags & DELAY_CHKPT_START) == 0);
START_CRIT_SECTION();