From: Phillip Lougher <phillip@squashfs.org.uk>
To: akpm@linux-foundation.org, linux-kernel@vger.kernel.org
Cc: Phillip Lougher <phillip@squashfs.org.uk>
Subject: [PATCH 17/18] Squashfs: don't store large fragment table indexes in memory
Date: Sat, 7 Nov 2026 05:28:42 +0000 [thread overview]
Message-ID: <20261107052843.725239-18-phillip@squashfs.org.uk> (raw)
In-Reply-To: <20261107052843.725239-1-phillip@squashfs.org.uk>
When mounting a Squashfs filesystem, the code reads the entire fragment
table indexes into memory. Their size is determined by the number of
fragments in the filesystem, where the maximum number of fragments is
2^32, and this will allocate and read 64 MiB.
This is an execessive and unnecessary amount of memory because the
indexes do not need to be read into memory in their entirety. In
addition kmalloc() is used to allocate memory, and this can fail when
large amounts of memory are requested. Kmalloc() on modern kernels is
usually limited to 4096 KiB. If panic-on-warn is set, then failure to
allocate memory willl result in a kernel panic.
This commit uses a 4 page cache if the size of the fragment table
indexes are 4 pages or larger. A simple and fast lookup array is
retained where the total index size is less than 4 pages in size, which
is the vast majority of Squashfs filesystems.
Reproducer
==========
The following reproducer will create a Squashfs filesystem with
280 million fragments, which will cause the fragment table indexes to
exceed 4096 KiB, and the kmalloc() should fail when the filesystem is
mounted.
=====================================================================
#!/bin/bash
finish() {
popd 2>&1 > /dev/null
rm -rf $DIR
exit 1
}
IMG=$PWD/reproducer.sqsh
DIR=$(mktemp -d)
if [ -e $IMG ]; then
rm $IMG
fi
pushd $DIR 2>&1 > /dev/null
# create 20 million pseudo file links to file 2049 bytes in size
truncate -s 2049 a
a=0
while [ $a -le 19 ]; do
b=0
while [ $b -le 999 ]; do
c=0
while [ $c -le 999 ]; do
echo "x/$a/$b/$c l a" >> file
(( c ++ ))
done
(( b ++ ))
done
(( a ++ ))
done
for i in $(seq 1 14); do
sed "s/x/$i/g" file > pseudo
echo
echo Iteration $i - appending 20 million files to Squashfs filesystem
echo
if ! mksquashfs - $IMG -pf pseudo -mem 100m -no-hardlinks -no-sparse -no-duplicates -no-exports -pd "d 0777 0 0" -no-recovery -b 4096; then
echo Appending to Squashfs filesystem failed
finish
fi
done
popd 2>&1 > /dev/null
rm -rf $DIR
echo Generated Squashfs filesystem $IMG
=====================================================================
Fixes: 122edd1514aaa ("Squashfs: fragment block operations")
Signed-off-by: Phillip Lougher <phillip@squashfs.org.uk>
---
fs/squashfs/fragment.c | 98 +++++++++++++++++++++++++++-------
fs/squashfs/squashfs.h | 3 +-
fs/squashfs/squashfs_fs_sb.h | 8 ++-
fs/squashfs/squashfs_helpers.h | 28 +++++++++-
fs/squashfs/super.c | 32 +++++++----
5 files changed, 136 insertions(+), 33 deletions(-)
diff --git a/fs/squashfs/fragment.c b/fs/squashfs/fragment.c
index 33ef05ea4367..246083e81db9 100644
--- a/fs/squashfs/fragment.c
+++ b/fs/squashfs/fragment.c
@@ -29,26 +29,66 @@
#include "squashfs_helpers.h"
#include "squashfs.h"
+s64 squashfs_frag_lookup_start(struct super_block *sb, u32 fragment)
+{
+ struct squashfs_sb_info *msblk = sb->s_fs_info;
+ s64 start;
+
+ if (msblk->fragment_index_is_cache) {
+ s32 length = squashfs_fragment_indexes_bytes(msblk->fragments);
+ s32 base = squashfs_fragment_indexes_base(fragment);
+ s16 offset = squashfs_fragment_indexes_offset(fragment);
+ s32 avail = min_t(int, length - base, PAGE_SIZE);
+ struct squashfs_cache_entry *entry;
+
+ start = squashfs_fragment_indexes_start(fragment, msblk);
+ if (start < 0)
+ return start;
+
+ entry = squashfs_cache_get(sb, msblk->fragment_index_cache,
+ start, avail | SQUASHFS_COMPRESSED_BIT_BLOCK);
+ if (entry->error < 0) {
+ int err = entry->error;
+
+ squashfs_cache_put(entry);
+ return err;
+ }
+
+ start = le64_to_cpu(((__le64 *)entry->data[0])[offset >> 3]);
+ squashfs_cache_put(entry);
+ } else {
+ s32 block = squashfs_fragment_index(fragment);
+
+ start = le64_to_cpu(msblk->fragment_index_array[block]);
+ }
+
+ if (start < msblk->fragment_table_start || start >= msblk->fragment_table)
+ return -EIO;
+
+ return start;
+}
+
/*
* Look-up fragment using the fragment index table. Return the on disk
* location of the fragment and its compressed size
*/
-int squashfs_frag_lookup(struct super_block *sb, unsigned int fragment,
+int squashfs_frag_lookup(struct super_block *sb, u32 fragment,
u64 *fragment_block)
{
struct squashfs_sb_info *msblk = sb->s_fs_info;
- int block, offset, size;
+ s32 offset, size;
struct squashfs_fragment_entry fragment_entry;
- u64 start_block;
+ s64 start;
if (fragment >= msblk->fragments)
return -EIO;
- block = squashfs_fragment_index(fragment);
- offset = squashfs_fragment_index_offset(fragment);
- start_block = le64_to_cpu(msblk->fragment_index[block]);
+ start = squashfs_frag_lookup_start(sb, fragment);
+ if (start < 0)
+ return start;
- size = squashfs_read_metadata(sb, &fragment_entry, &start_block,
+ offset = squashfs_fragment_index_offset(fragment);
+ size = squashfs_read_metadata(sb, &fragment_entry, &start,
&offset, sizeof(fragment_entry));
if (size < 0)
return size;
@@ -61,11 +101,11 @@ int squashfs_frag_lookup(struct super_block *sb, unsigned int fragment,
/*
* Read the uncompressed fragment lookup table indexes off disk into memory
*/
-__le64 *squashfs_read_fragment_index_table(struct super_block *sb,
+int squashfs_read_fragment_index_table(struct super_block *sb,
u64 fragment_table_start, u64 next_table, unsigned int fragments)
{
- unsigned int length = squashfs_fragment_index_bytes(fragments);
- __le64 *table;
+ struct squashfs_sb_info *msblk = sb->s_fs_info;
+ s32 length = squashfs_fragment_indexes_bytes(fragments);
/*
* The computed size of the index table (length bytes) should exactly
@@ -73,18 +113,36 @@ __le64 *squashfs_read_fragment_index_table(struct super_block *sb,
*/
if (fragment_table_start >= next_table ||
length != (next_table - fragment_table_start))
- return ERR_PTR(-EINVAL);
+ return -EINVAL;
- table = squashfs_read_table(sb, fragment_table_start, length);
+ if (length <= (PAGE_SIZE * 4)) {
+ /* Read fragment index into memory */
+ __le64 *array = squashfs_read_table(sb, fragment_table_start, length);
- /*
- * table[0] points to the first fragment table metadata block, this
- * should be less than fragment_table_start
- */
- if (!IS_ERR(table) && le64_to_cpu(table[0]) >= fragment_table_start) {
- kfree(table);
- return ERR_PTR(-EINVAL);
+ if (IS_ERR(array))
+ return PTR_ERR(array);
+
+ /*
+ * table[0] points to the first fragment table metadata block, this
+ * should be less than fragment_table_start
+ */
+ if (le64_to_cpu(array[0]) >= fragment_table_start) {
+ kfree(array);
+ return -EINVAL;
+ }
+
+ msblk->fragment_index_array = array;
+ msblk->fragment_index_is_cache = false;
+ } else {
+ /* Use a cache to store the last 16Kbytes of indexes read */
+ struct squashfs_cache *cache = squashfs_cache_init("fragment index", 4, PAGE_SIZE);
+
+ if (IS_ERR(cache))
+ return PTR_ERR(cache);
+
+ msblk->fragment_index_cache = cache;
+ msblk->fragment_index_is_cache = true;
}
- return table;
+ return 0;
}
diff --git a/fs/squashfs/squashfs.h b/fs/squashfs/squashfs.h
index d40d40bd61ae..f3a29a1e197d 100644
--- a/fs/squashfs/squashfs.h
+++ b/fs/squashfs/squashfs.h
@@ -70,8 +70,9 @@ extern s64 squashfs_inode_lookup_start(struct super_block *sb, u32 ino_num);
/* fragment.c */
extern int squashfs_frag_lookup(struct super_block *, unsigned int, u64 *);
-extern __le64 *squashfs_read_fragment_index_table(struct super_block *,
+extern int squashfs_read_fragment_index_table(struct super_block *,
u64, u64, unsigned int);
+extern s64 squashfs_frag_lookup_start(struct super_block *sb, u32 fragment);
/* file.c */
void squashfs_copy_cache(struct folio *, struct squashfs_cache_entry *,
diff --git a/fs/squashfs/squashfs_fs_sb.h b/fs/squashfs/squashfs_fs_sb.h
index d6b5908fff51..77f7085ad2d0 100644
--- a/fs/squashfs/squashfs_fs_sb.h
+++ b/fs/squashfs/squashfs_fs_sb.h
@@ -59,7 +59,10 @@ struct squashfs_sb_info {
struct address_space *cache_mapping;
int next_meta_index;
__le64 *id_table;
- __le64 *fragment_index;
+ union {
+ __le64 *fragment_index_array;
+ struct squashfs_cache *fragment_index_cache;
+ };
__le64 *xattr_id_table;
struct mutex meta_index_mutex;
struct meta_index *meta_index;
@@ -71,6 +74,8 @@ struct squashfs_sb_info {
u64 inode_table;
u64 directory_table;
u64 directory_table_end;
+ u64 fragment_table;
+ u64 fragment_table_start;
u64 xattr_table;
u64 lookup_table;
u64 lookup_table_start;
@@ -85,5 +90,6 @@ struct squashfs_sb_info {
const struct squashfs_decompressor_thread_ops *thread_ops;
int max_thread_num;
bool lookup_table_is_cache;
+ bool fragment_index_is_cache;
};
#endif
diff --git a/fs/squashfs/squashfs_helpers.h b/fs/squashfs/squashfs_helpers.h
index be8481e808af..c83007046e5a 100644
--- a/fs/squashfs/squashfs_helpers.h
+++ b/fs/squashfs/squashfs_helpers.h
@@ -108,11 +108,37 @@ static inline s32 squashfs_fragment_indexes(u32 fragments)
SQUASHFS_METADATA_SIZE;
}
-static inline s32 squashfs_fragment_index_bytes(u32 fragments)
+static inline s32 squashfs_fragment_indexes_bytes(u32 fragments)
{
return squashfs_fragment_indexes(fragments) * sizeof(long long);
}
+static inline s32 squashfs_fragment_indexes_base(u32 fragments)
+{
+ return (squashfs_fragment_index(fragments) * sizeof(long long)) & ~(PAGE_SIZE - 1);
+}
+
+static inline s64 squashfs_fragment_indexes_start(u32 fragments, struct squashfs_sb_info *msblk)
+{
+ s32 base = squashfs_fragment_indexes_base(fragments);
+ s64 start;
+
+ if (S64_MAX - msblk->fragment_table < base)
+ return -EINVAL;
+
+ start = msblk->fragment_table + base;
+
+ if (start > msblk->bytes_used)
+ return -EINVAL;
+
+ return start;
+}
+
+static inline s16 squashfs_fragment_indexes_offset(u32 fragments)
+{
+ return (squashfs_fragment_index(fragments) * sizeof(long long)) & (PAGE_SIZE - 1);
+}
+
/* inode lookup table defines */
static inline s64 squashfs_lookup_bytes(u32 inodes)
{
diff --git a/fs/squashfs/super.c b/fs/squashfs/super.c
index 8504939f9a8e..287cbc6ad41c 100644
--- a/fs/squashfs/super.c
+++ b/fs/squashfs/super.c
@@ -185,6 +185,14 @@ static void squashfs_free_inode_table(struct squashfs_sb_info *msblk)
kfree(msblk->inode_lookup_array);
}
+static void squashfs_free_fragment_indexes(struct squashfs_sb_info *msblk)
+{
+ if (msblk->fragment_index_is_cache)
+ squashfs_cache_delete(msblk->fragment_index_cache);
+ else
+ kfree(msblk->fragment_index_array);
+}
+
static int squashfs_fill_super(struct super_block *sb, struct fs_context *fc)
{
struct squashfs_mount_opts *opts = fc->fs_private;
@@ -300,6 +308,7 @@ static int squashfs_fill_super(struct super_block *sb, struct fs_context *fc)
msblk->inode_table = le64_to_cpu(sblk->inode_table_start);
msblk->directory_table = le64_to_cpu(sblk->directory_table_start);
+ msblk->fragment_table = le64_to_cpu(sblk->fragment_table_start);
msblk->inodes = le32_to_cpu(sblk->inodes);
msblk->fragments = le32_to_cpu(sblk->fragments);
msblk->ids = le16_to_cpu(sblk->no_ids);
@@ -317,8 +326,7 @@ static int squashfs_fill_super(struct super_block *sb, struct fs_context *fc)
TRACE("Number of ids %d\n", msblk->ids);
TRACE("sblk->inode_table_start %llx\n", msblk->inode_table);
TRACE("sblk->directory_table_start %llx\n", msblk->directory_table);
- TRACE("sblk->fragment_table_start %llx\n",
- (u64) le64_to_cpu(sblk->fragment_table_start));
+ TRACE("sblk->fragment_table_start %llx\n", msblk->fragment_table);
TRACE("sblk->id_table_start %llx\n",
(u64) le64_to_cpu(sblk->id_table_start));
@@ -433,15 +441,19 @@ static int squashfs_fill_super(struct super_block *sb, struct fs_context *fc)
}
/* Allocate and read fragment index table */
- msblk->fragment_index = squashfs_read_fragment_index_table(sb,
- le64_to_cpu(sblk->fragment_table_start), next_table, fragments);
- if (IS_ERR(msblk->fragment_index)) {
+ err = squashfs_read_fragment_index_table(sb, msblk->fragment_table,
+ next_table, fragments);
+ if (err < 0) {
+ errorf(fc, "unable to read fragment index table");
+ goto failed_mount;
+ }
+
+ err = squashfs_frag_lookup_start(sb, 0);
+ if (err < 0) {
errorf(fc, "unable to read fragment index table");
- err = PTR_ERR(msblk->fragment_index);
- msblk->fragment_index = NULL;
goto failed_mount;
}
- next_table = le64_to_cpu(msblk->fragment_index[0]);
+ next_table = msblk->fragment_table_start = err;
check_directory_table:
/* Sanity check directory_table */
@@ -493,7 +505,7 @@ static int squashfs_fill_super(struct super_block *sb, struct fs_context *fc)
iput(msblk->cache_mapping->host);
msblk->thread_ops->destroy(msblk);
squashfs_free_inode_table(msblk);
- kfree(msblk->fragment_index);
+ squashfs_free_fragment_indexes(msblk);
kfree(msblk->id_table);
kfree(msblk->xattr_id_table);
kfree(sb->s_fs_info);
@@ -613,7 +625,7 @@ static void squashfs_put_super(struct super_block *sb)
iput(sbi->cache_mapping->host);
sbi->thread_ops->destroy(sbi);
kfree(sbi->id_table);
- kfree(sbi->fragment_index);
+ squashfs_free_fragment_indexes(sbi);
kfree(sbi->meta_index);
squashfs_free_inode_table(sbi);
kfree(sbi->xattr_id_table);
--
2.47.3
next prev parent reply other threads:[~2026-11-07 5:29 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-07 5:28 [PATCH 00/18] Squashfs: fix a lot of AI issues and AI style issues Phillip Lougher
2026-11-07 5:28 ` [PATCH 01/18] Squashfs: convert SQUASHFS_COMPRESSED_* to inline functions Phillip Lougher
2026-11-07 5:28 ` [PATCH 02/18] Squashfs: convert SQUASHFS_INODE_* and SQUASHFS_MKINODE " Phillip Lougher
2026-11-07 5:28 ` [PATCH 03/18] Squashfs: convert SQUASHFS_FRAGMENT_* " Phillip Lougher
2026-11-07 5:28 ` [PATCH 04/18] Squashfs: convert SQUASHFS_LOOKUP_* " Phillip Lougher
2026-11-07 5:28 ` [PATCH 05/18] Squashfs: convert SQUASHFS_ID_* " Phillip Lougher
2026-11-07 5:28 ` [PATCH 06/18] Squashfs: convert SQUASHFS_XATTR_* " Phillip Lougher
2026-11-07 5:28 ` [PATCH 07/18] Squashfs: fix fragment bytes overflow on 32-bit architectures Phillip Lougher
2026-11-07 5:28 ` [PATCH 08/18] Squashfs: fix fragment index table length too large exploit Phillip Lougher
2026-11-07 5:28 ` [PATCH 09/18] Squashfs: sanity check inode metadata block location Phillip Lougher
2026-11-07 5:28 ` [PATCH 10/18] Squashfs: sanity check directory " Phillip Lougher
2026-11-07 5:28 ` [PATCH 11/18] Squashfs: widen xattr count variables and add sanity check Phillip Lougher
2026-11-07 5:28 ` [PATCH 12/18] Squashfs: very large files can exceed an int block count Phillip Lougher
2026-11-07 5:28 ` [PATCH 13/18] Squashfs: add more sanity checking to squashfs_block_size() Phillip Lougher
2026-11-07 5:28 ` [PATCH 14/18] Squashfs: sanity check fragment block location and range Phillip Lougher
2026-11-07 5:28 ` [PATCH 15/18] Squashfs: sanity check block list sizes " Phillip Lougher
2026-11-07 5:28 ` [PATCH 16/18] Squashfs: don't store large export table indexes in memory Phillip Lougher
2026-11-07 5:28 ` Phillip Lougher [this message]
2026-11-07 5:28 ` [PATCH 18/18] Squashfs: don't store large xattr id " Phillip Lougher
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20261107052843.725239-18-phillip@squashfs.org.uk \
--to=phillip@squashfs.org.uk \
--cc=akpm@linux-foundation.org \
--cc=linux-kernel@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®