[PATCH 2/2] mm/swap: publish cluster tables after reacquiring allocator locks

From: Nhat Pham

Date: Fri Nov 06 2026 - 11:05:16 EST


Under memory pressure, swap_cluster_populate() can publish a table
while its locks are dropped for a sleeping allocation. A cached
allocator can consume and free that table before the populating
allocator resumes, leaving the resumed scan with a NULL table.

CPU0 CPU1
swap_cluster_populate()
drop local/global/ci locks
allocate and publish table
swap_alloc_fast()
consume the table
charge failure cleanup
free the table
reacquire local/global/ci
return ci
alloc_swap_scan_cluster()
read the missing table

Keep the count table, cgroup table and zero bitmap private until
swap_cluster_alloc_table() restores all allocator locks. Install them
under the cluster lock and retain it through the scan. Initial bad-slot
setup takes only the cluster lock because the device is unpublished.

A stale reclaimer can return the isolated cluster to allocation while
its locks are dropped. Abandon installation if the list state changes or
a table appears, freeing only private allocations. Restore locks on
allocation failure too, so the caller can return a still-isolated
cluster to its free list.

Reported-by: Sashiko <sashiko-bot@xxxxxxxxxx>
Link: https://lore.kernel.org/all/sashiko-outbox-181084@xxxxxxxxxx/
Link: https://lore.kernel.org/all/sashiko-outbox-181086@xxxxxxxxxx/
Co-developed-by: Kairui Song <ryncsn@xxxxxxxxx>
Fixes: cdd77f84d966 ("mm, swap: consolidate cluster allocation helpers")
Cc: stable@xxxxxxxxxxxxxxx
Signed-off-by: Nhat Pham <nphamcs@xxxxxxxxx>
---
mm/swapfile.c | 106 +++++++++++++++++++++++++++++++++++---------------
1 file changed, 74 insertions(+), 32 deletions(-)

diff --git a/mm/swapfile.c b/mm/swapfile.c
index 189f04d8838f..162a73a9e663 100644
--- a/mm/swapfile.c
+++ b/mm/swapfile.c
@@ -449,15 +449,23 @@ static void swap_cluster_free_table(struct swap_cluster_info *ci)
swap_cluster_free_count_table(table);
}

-static int swap_cluster_alloc_table(struct swap_cluster_info *ci, gfp_t gfp)
+/*
+ * Return with ci locked. An unlocked allocator also needs si's outer locks;
+ * initial bad-slot setup passes NULL because the device is not published.
+ */
+static int swap_cluster_alloc_table(struct swap_info_struct *si,
+ struct swap_cluster_info *ci,
+ gfp_t gfp, bool locked)
{
struct swap_table *table = NULL;
+#ifdef CONFIG_MEMCG
+ struct swap_memcg_table *memcg_table = NULL;
+#endif
+#if !SWAP_TABLE_HAS_ZEROFLAG
+ unsigned long *zero_bitmap = NULL;
+#endif
struct folio *folio;
-
- /* The cluster must be empty and not on any list during allocation. */
- VM_WARN_ON_ONCE(ci->flags || !cluster_is_empty(ci));
- if (rcu_access_pointer(ci->table))
- return 0;
+ int ret = -ENOMEM;

if (SWP_TABLE_USE_PAGE) {
folio = folio_alloc(gfp | __GFP_ZERO, 0);
@@ -467,27 +475,49 @@ static int swap_cluster_alloc_table(struct swap_cluster_info *ci, gfp_t gfp)
table = kmem_cache_zalloc(swap_table_cachep, gfp);
}
if (!table)
- return -ENOMEM;
+ goto lock;

#ifdef CONFIG_MEMCG
if (!mem_cgroup_disabled()) {
- VM_WARN_ON_ONCE(ci->memcg_table);
- ci->memcg_table = kzalloc_obj(*ci->memcg_table, gfp);
- if (!ci->memcg_table) {
- swap_cluster_free_count_table(table);
- return -ENOMEM;
- }
+ memcg_table = kzalloc_obj(*ci->memcg_table, gfp);
+ if (!memcg_table)
+ goto lock;
}
#endif

#if !SWAP_TABLE_HAS_ZEROFLAG
- VM_WARN_ON_ONCE(ci->zero_bitmap);
- ci->zero_bitmap = bitmap_zalloc(SWAPFILE_CLUSTER, gfp);
- if (!ci->zero_bitmap) {
- swap_cluster_free_table(ci);
- swap_cluster_free_count_table(table);
- return -ENOMEM;
+ zero_bitmap = bitmap_zalloc(SWAPFILE_CLUSTER, gfp);
+ if (!zero_bitmap)
+ goto lock;
+#endif
+ ret = 0;
+
+lock:
+ if (!locked) {
+ if (si) {
+ local_lock(&percpu_swap_cluster.lock);
+ if (!(si->flags & SWP_SOLIDSTATE))
+ spin_lock(&si->global_cluster_lock);
+ }
+ spin_lock(&ci->lock);
}
+ lockdep_assert_held(&ci->lock);
+
+ /* A stale reclaimer may have returned the cluster to allocation. */
+ if (ci->flags != CLUSTER_FLAG_NONE || cluster_table_is_alloced(ci))
+ ret = -EAGAIN;
+ if (ret)
+ goto free;
+
+ /* The cluster must be empty and not on any list during allocation. */
+ VM_WARN_ON_ONCE(!cluster_is_empty(ci));
+#ifdef CONFIG_MEMCG
+ VM_WARN_ON_ONCE(ci->memcg_table);
+ ci->memcg_table = memcg_table;
+#endif
+#if !SWAP_TABLE_HAS_ZEROFLAG
+ VM_WARN_ON_ONCE(ci->zero_bitmap);
+ ci->zero_bitmap = zero_bitmap;
#endif

/*
@@ -496,6 +526,17 @@ static int swap_cluster_alloc_table(struct swap_cluster_info *ci, gfp_t gfp)
*/
rcu_assign_pointer(ci->table, table);
return 0;
+
+free:
+#ifdef CONFIG_MEMCG
+ kfree(memcg_table);
+#endif
+#if !SWAP_TABLE_HAS_ZEROFLAG
+ bitmap_free(zero_bitmap);
+#endif
+ if (table)
+ swap_cluster_free_count_table(table);
+ return ret;
}

/*
@@ -546,8 +587,8 @@ swap_cluster_populate(struct swap_info_struct *si,
lockdep_assert_held(&si->global_cluster_lock);
lockdep_assert_held(&ci->lock);

- if (!swap_cluster_alloc_table(ci, __GFP_HIGH | __GFP_NOMEMALLOC |
- __GFP_NOWARN))
+ if (!swap_cluster_alloc_table(si, ci, __GFP_HIGH | __GFP_NOMEMALLOC |
+ __GFP_NOWARN, true))
return ci;

/*
@@ -560,8 +601,8 @@ swap_cluster_populate(struct swap_info_struct *si,
spin_unlock(&si->global_cluster_lock);
local_unlock(&percpu_swap_cluster.lock);

- ret = swap_cluster_alloc_table(ci, __GFP_HIGH | __GFP_NOMEMALLOC |
- GFP_KERNEL);
+ ret = swap_cluster_alloc_table(si, ci, __GFP_HIGH | __GFP_NOMEMALLOC |
+ GFP_KERNEL, false);

/*
* Back to atomic context. We might have migrated to a new CPU with a
@@ -571,13 +612,9 @@ swap_cluster_populate(struct swap_info_struct *si,
* could happen with ignoring the percpu cluster is fragmentation,
* which is acceptable since this fallback and race is rare.
*/
- local_lock(&percpu_swap_cluster.lock);
- if (!(si->flags & SWP_SOLIDSTATE))
- spin_lock(&si->global_cluster_lock);
- spin_lock(&ci->lock);
-
if (ret) {
- move_cluster(si, ci, &si->free_clusters, CLUSTER_FLAG_FREE);
+ if (ret != -EAGAIN)
+ move_cluster(si, ci, &si->free_clusters, CLUSTER_FLAG_FREE);
spin_unlock(&ci->lock);
return NULL;
}
@@ -825,9 +862,13 @@ static int swap_cluster_setup_bad_slot(struct swap_info_struct *si,

ci = cluster_info + idx;
/* Need to allocate swap table first for initial bad slot marking. */
- if (!ci->count && swap_cluster_alloc_table(ci, GFP_KERNEL))
- return -ENOMEM;
- spin_lock(&ci->lock);
+ if (!ci->count) {
+ ret = swap_cluster_alloc_table(NULL, ci, GFP_KERNEL, false);
+ if (ret)
+ goto out;
+ } else {
+ spin_lock(&ci->lock);
+ }
/* Check for duplicated bad swap slots. */
if (__swap_table_xchg(ci, ci_off, SWP_TB_BAD) != SWP_TB_NULL) {
pr_warn("Duplicated bad slot offset %d\n", offset);
@@ -835,6 +876,7 @@ static int swap_cluster_setup_bad_slot(struct swap_info_struct *si,
} else {
ci->count++;
}
+out:
spin_unlock(&ci->lock);

WARN_ON(ci->count > SWAPFILE_CLUSTER);