In basebackup.c, perform end-of-file test after checksum validation.
authorRobert Haas <rhaas@postgresql.org>
Thu, 2 Feb 2023 17:04:16 +0000 (12:04 -0500)
committerRobert Haas <rhaas@postgresql.org>
Mon, 6 Mar 2023 15:15:32 +0000 (10:15 -0500)
commit33352b9279f5e109aae74d61531d33d8fb12253e
treed8b9a65d89cafd56226282bd682de030ac4f5a3a
parentd3406d80360776bbcafa05d8b966806012f9594e
In basebackup.c, perform end-of-file test after checksum validation.

We read blocks of data from files that we're backing up in chunks,
some multiple of BLCKSZ for each read. If checksum verification fails,
we then try rereading just the one block for which validation failed.
If that block happened to be the first block of the chunk, and if
the file was concurrently truncated to remove that block, then we'd
reach a call to bbsink_archive_contents() with a buffer length of 0.
That causes an assertion failure.

As far as I can see, there are no particularly bad consequences if
this happens in a non-assert build, and it's pretty unlikely to happen
in the first place because it requires a series of somewhat unlikely
things to happen in very quick succession. However, assertion failures
are bad, so rearrange the code to avoid that possibility.

Patch by me, reviewed by Michael Paquier.

Discussion: http://postgr.es/m/CA+TgmoZ_fFAoU6mrHt9QBs+dcYhN6yXenGTTMRebZNhtwPwHyg@mail.gmail.com
src/backend/backup/basebackup.c