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