Hi,
On Mon, Jun 30, 2025 at 08:56:43PM +0200, Tomas Vondra wrote:
> In particular it now uses "chunking" instead of "batching". I believe
> bathing is "combining multiple requests into a single one", but we're
> doing exactly the opposite - splitting a large request into smaller
> ones. Which is what "chunking" does.
I do agree that "chuncking" is more appropriate here.
> I plan to push this tomorrow morning.
Thanks!
LGTM, just 2 nit about the commit messages:
For 0001:
Is it worth to add a link to the Kernel Bug report or mentioned it can be
found in the discussion?
For 0003:
"
But with the chunking, introduced to work around the do_pages_stat()
bug"
Do you have in mind to quote the hex commit object name that will be generated
by 0001?
Regards,
--
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com