Fix if/while thinko in read_stream.c edge case.
authorThomas Munro <tmunro@postgresql.org>
Sun, 7 Apr 2024 02:38:20 +0000 (14:38 +1200)
committerThomas Munro <tmunro@postgresql.org>
Sun, 7 Apr 2024 02:51:33 +0000 (14:51 +1200)
commit158f5819236806b7c9cab323658c231e9371c458
treefd37cb2d6aead274bc39608ba413597b7028be5f
parentbeb012b42f5c32f578661fc1b033ca25905b27d6
Fix if/while thinko in read_stream.c edge case.

When we determine that a wanted block can't be combined with the current
pending read, it's time to start that read to get it out of the way.  An
"if" in that code path should have been a "while", because it might take
more than one go in case of partial reads.  This was only broken for
smaller ranges, as the more common case of io_combine_limit-sized ranges
is handled earlier in the code and knows how to loop, hiding the bug for
a while.

Discovered while testing large parallel sequential scans of partially
cached tables.  The ramp-up-and-down block allocator for parallel scans
could hit the problem case and skip some blocks near the end that should
have been streamed.

Defect in commit b5a9b18c.

Discussion: https://postgr.es/m/CA%2BhUKG%2Bh8Whpv0YsJqjMVkjYX%2B80fTVc6oi-V%2BzxJvykLpLHYQ%40mail.gmail.com
src/backend/storage/aio/read_stream.c