AW: [HACKERS] Uh, this is *not* a 64-bit CRC ...

[Zeugswetter Andreas SB]

> I just took a close look at the COMP_CRC64 macro in xlog.c.
> 
> This isn't a 64-bit CRC.  It's two independent 32-bit CRCs, one done
> on just the odd-numbered bytes and one on just the even-numbered bytes
> of the datastream.  That's hardly any stronger than a single 
> 32-bit CRC;
> it's certainly not what I thought we had agreed to implement.

Hmm, strange. I thought that we had agreed upon a 32 bit CRC
on the grounds, that it would be strong enough to guard a single
log record.

Andreas