From: Amit Kapila <amit.kapila16@gmail.com>
> This answers the second part of the question but what about the first
> part (We hold a buffer partition lock, and have done a lookup in th
> mapping table. Why are we then rechecking the
> relfilenode/fork/blocknum?)
>
> I think we don't need such a check, rather we can have an Assert
> corresponding to that if-condition in the patch. I understand it is
> safe to compare relfilenode/fork/blocknum but it might confuse readers
> of the code.
Hmm, you're right. I thought someone else could steal the found buffer and use it for another block because the buffer
mappinglwlock is released without pinning the buffer or acquiring the buffer header spinlock. However, in this case
(replayof TRUNCATE during recovery), nobody steals the buffer: bgwriter or checkpointer doesn't use a buffer for a new
block,and the client backend waits for AccessExclusive lock.
> I have started doing minor edits to the patch especially planning to
> write a theory why is this optimization safe and here is what I can
> come up with:
Thank you, that's fluent and easier to understand.
Regards
Takayuki Tsunakawa