On Fri, Apr 07, 2023 at 02:29:31PM -0400, Tom Lane wrote:
> I'm not sure if there is consensus for 0002, but I reviewed and pushed
> 0001. I made one non-cosmetic change: it no longer skips invalid
> buffers. Otherwise, the row for usage count 0 would be pretty useless.
> Also it seemed to me that sum(buffers) ought to agree with the
> shared_buffers setting.
Makes sense. Thanks!
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com