diff options
| author | Eric Biggers <ebiggers@google.com> | 2022-12-23 21:36:31 +0100 |
|---|---|---|
| committer | Eric Biggers <ebiggers@google.com> | 2023-01-10 04:05:59 +0100 |
| commit | 55eed69cc8fd88272860b3409ac83e191330d370 (patch) | |
| tree | 297a234efb49ce9e07dba95cb16542221970d2c5 /fs/verity | |
| parent | fsverity: store log2(digest_size) precomputed (diff) | |
| download | linux-55eed69cc8fd88272860b3409ac83e191330d370.tar.xz linux-55eed69cc8fd88272860b3409ac83e191330d370.zip | |
fsverity: use EFBIG for file too large to enable verity
Currently, there is an implementation limit where files can't have more
than 8 Merkle tree levels. With SHA-256 and 4K blocks, this limit is
never reached, since a file would need to be larger than 2**64 bytes to
need 9 levels. However, with SHA-512, 9 levels are needed for files
larger than about 1.15 EB, which is possible on btrfs. Therefore, this
limit technically became reachable when btrfs added fsverity support.
Meanwhile, support for merkle_tree_block_size < PAGE_SIZE will introduce
another implementation limit on file size, resulting from the use of an
in-memory bitmap to track which Merkle tree blocks have been verified.
In any case, currently FS_IOC_ENABLE_VERITY fails with EINVAL when the
file is too large. This is undocumented, and also ambiguous since
EINVAL can mean other things too. Let's change the error code to EFBIG,
which is much clearer, and document it.
Signed-off-by: Eric Biggers <ebiggers@google.com>
Reviewed-by: Andrey Albershteyn <aalbersh@redhat.com>
Tested-by: Ojaswin Mujoo <ojaswin@linux.ibm.com>
Link: https://lore.kernel.org/r/20221223203638.41293-5-ebiggers@kernel.org
Diffstat (limited to 'fs/verity')
| -rw-r--r-- | fs/verity/open.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fs/verity/open.c b/fs/verity/open.c index ca8de73e5a0b..09512daa22db 100644 --- a/fs/verity/open.c +++ b/fs/verity/open.c @@ -92,7 +92,7 @@ int fsverity_init_merkle_tree_params(struct merkle_tree_params *params, while (blocks > 1) { if (params->num_levels >= FS_VERITY_MAX_LEVELS) { fsverity_err(inode, "Too many levels in Merkle tree"); - err = -EINVAL; + err = -EFBIG; goto out_err; } blocks = (blocks + params->hashes_per_block - 1) >> |