On 3/6/20 2:52 AM, Michael Paquier wrote:
As of the thread which led to addd034 (please see https://www.postgresql.org/message-id/e1j9ioh-0005kn...@gemulon.postgresql.org, and sorry about that), it happens that we don't have any tests which validate the internal data checksum implementation present in core as of checksum_impl.h. pageinspect includes a SQL-callable function to calculate the checksum of a page, mentioned by David in CC, and only one test exists to make sure that a checksum is not NULL, but it does not really help if the formula is touched. Attached is a patch to close the gap by adding new tests to pageinspect aimed at detecting any formula change. The trick is to make the page data representative enough so as it is possible to detect problems if any part of the formulas are changed, like updates of pg_checksum_block or checksumBaseOffsets. Any thoughts or other ideas?
This looks sensible to me. The only downside is that it needs to be in a contrib test rather than in the core tests, but it is far better than nothing.
I'll be interested to see what the build farm thinks of it. Since we treat the page as an array of uint32_t while checksumming it seems that endianness will be a factor in the checksum. My guess is that the first three tests (01, 04, FF) will work on any endianness and the last three tests will not.
regards, -- -David da...@pgmasters.net
