On Tue, 2023-10-17 at 08:41 -0400, Robert Haas wrote:
> Sorry, I'm not sure I understand the question. Are you asking whether
> dirtying buffers unnecessarily might be slower than not doing that?
I meant: are those cleanup operations frequent enough that dirtying
those buffers in that case would matter?
Regards,
Jeff Davis