Re: [PATCH v2] erofs: deprecate superblock checksum feature
From: Gao Xiang
Date: Sun Jul 30 2023 - 10:56:39 EST
On 2023/7/30 22:49, Thomas Weißschuh wrote:
On 2023-07-30 22:37:19+0800, Gao Xiang wrote:
On 2023/7/30 22:28, Thomas Weißschuh wrote:
On 2023-07-30 22:01:11+0800, Gao Xiang wrote:
On 2023/7/30 21:31, Thomas Weißschuh wrote:
On 2023-07-17 19:27:03+0800, Jingbo Xu wrote:
Later we're going to try the self-contained image verification.
The current superblock checksum feature has quite limited
functionality, instead, merkle trees can provide better protection
for image integrity.
The crc32c checksum is also used by libblkid to gain more confidence
in its filesystem detection.
I guess a merkle tree would be much harder to implement.
This is for example used by the mount(8) cli program to allow mounting
of devices without explicitly needing to specify a filesystem.
Note: libblkid tests for EROFS_FEATURE_SB_CSUM so at least it won't
break when the checksum is removed.
I'm not sure if we could switch EROFS_FEATURE_SB_CSUM to a simpler
checksum instead (e.g. just sum each byte up if both
EROFS_FEATURE_SB_CSUM and COMPAT_XATTR_FILTER bits are set, or
ignore checksums completely at least in the kernel) if the better
filesystem detection by using sb chksum is needed (not sure if other
filesystems have sb chksum or just do magic comparsion)?
Overloading EROFS_FEATURE_SB_CSUM in combination with
COMPAT_XATTR_FILTER would break all existing deployments of libblkid, so
it's not an option.
I think for libblkid, you could still use:
EROFS_FEATURE_SB_CSUM is not set, don't check anything;
EROFS_FEATURE_SB_CSUM only is set, check with crc32c;
EROFS_FEATURE_SB_CSUM | COMPAT_XATTR_FILTER (or some other bit) is
set, check with a simpler hash?
We could change this in newer versions of libblkid.
But we can't change the older versions that are already deployed today.
And the current code does
if (EROFS_FEATURE_SB_CSUM)
validate_crc32c();
So to stay compatible we need to keep the relationship of
EROFS_FEATURE_SB_CSUM -> crc32c.
Yes, you are right, thanks for reminder. We really need a new bit
for this.
All other serious and halfway modern filesystems do have superblock
checksums which are also checked by libblkid.
The main problem here is after xattr name filter feature is added
(xxhash is generally faster than crc32c), there could be two
hard-depended hashing algorithms, this increases more dependency
especially for embededed devices.
From libblkid side nothing really speaks against a simpler checksum.
XOR is easy to implement and xxhash is already part of libblkid for
other filesystems.
The drawbacks are:
* It would need a completely new feature bit in erofs.
* Old versions of libblkid could not validate checksums on newer
filesystems.
just checking magic for Old versions of libblkid will cause false
positive in which extent?
Hard to tell for sure. But it would not surprise me if it would indeed
affect users as experience has shown.
Imagine for example erofs filesystems that have then been overwritten
with another filesystem but still have a valid erofs magic.
With the checksum validation the new filesystem is detected correctly,
without it will find the old erofs.
Sometimes the files inside some filesystem look like the superblock of
another filesystem and break the detection.
etc.
Having some sort of checksum makes this much easier to handle.
Yes, but just checking magic for old versions of libblkid for new
generated images only.
I'm not sure about this all (I just suggest that we might need a simpler
algorithm like XOR instead for sb_chksum otherwise it seems too heavy),
let me just drop this commit from -next for further discussion.
Thanks,
Gao Xiang