From: Jim Cromie <jim.cromie@gmail.com>
To: Peter Zijlstra <peterz@infradead.org>,
Ingo Molnar <mingo@redhat.com>, Will Deacon <will@kernel.org>,
Boqun Feng <boqun@kernel.org>, Waiman Long <longman@redhat.com>
Cc: linux-kernel@vger.kernel.org, Jim Cromie <jim.cromie@gmail.com>
Subject: [PATCH 3/8] lockdep: Pre-reserve early memblock slab pool for dynamic tables
Date: Wed, 26 Aug 2026 21:58:35 -0600 [thread overview]
Message-ID: <20260826-lockdep-memblock-v1-v1-3-e2db855391ec@gmail.com> (raw)
In-Reply-To: <20260826-lockdep-memblock-v1-v1-0-e2db855391ec@gmail.com>
Lockdep cannot allocate memory dynamically during normal runtime because
it cannot recurse into allocator locks. However, before mm_core_init()
brings up the buddy allocator, lockdep can claim a contiguous pool of
64 KB slabs directly from early memblock.
Add lockdep_early_init() to start_kernel() right before mm_core_init()
to reserve a private pool of 64 KB slabs. Auto-tune the pool based on
physical RAM (2 MB on <512 MB systems, 4 MB default, 8 MB on >64 GB
servers) and accept overrides via lockdep_slabs=N and
lockdep_headroom=M%.
Provide lockdep_claim_slab() and lockdep_release_slab() to dole out and
recycle slabs under graph_lock without invoking external locks.
Signed-off-by: Jim Cromie <jim.cromie@gmail.com>
---
init/main.c | 1 +
kernel/locking/lockdep.c | 131 +++++++++++++++++++++++++++++++++++++
kernel/locking/lockdep_internals.h | 3 +-
3 files changed, 134 insertions(+), 1 deletion(-)
diff --git a/init/main.c b/init/main.c
index e363232b428b..12280dfe1d11 100644
--- a/init/main.c
+++ b/init/main.c
@@ -1031,6 +1031,7 @@ void start_kernel(void)
vfs_caches_init_early();
sort_main_extable();
trap_init();
+ lockdep_early_init();
mm_core_init();
maple_tree_init();
poking_init();
diff --git a/kernel/locking/lockdep.c b/kernel/locking/lockdep.c
index 6a4f21f3e9c8..68d82e46cbf6 100644
--- a/kernel/locking/lockdep.c
+++ b/kernel/locking/lockdep.c
@@ -58,12 +58,96 @@
#include <linux/context_tracking.h>
#include <linux/console.h>
#include <linux/kasan.h>
+#include <linux/memblock.h>
#include <asm/sections.h>
#include "lockdep_internals.h"
#include "lock_events.h"
+static void *lockdep_slabs[LOCKDEP_MAX_SLABS];
+static unsigned int lockdep_nr_slabs;
+static unsigned int lockdep_slabs_used;
+static struct lockdep_slab_usage ld_slabs;
+
+static unsigned int requested_lockdep_slabs;
+static unsigned int requested_lockdep_headroom_pct = 100; /* default 100% headroom */
+static bool lockdep_headroom_specified;
+static bool lockdep_disabled_early;
+
+static int __init setup_lockdep_slabs(char *str)
+{
+ unsigned long val;
+
+ if (!str)
+ return -EINVAL;
+
+ if (!strcmp(str, "off") || !strcmp(str, "0")) {
+ lockdep_disabled_early = true;
+ return 0;
+ }
+
+ if (kstrtoul(str, 0, &val))
+ return -EINVAL;
+
+ if (val > 10000) {
+ pr_warn("lockdep: ignoring unrealistic lockdep_slabs=%lu\n",
+ val);
+ return -EINVAL;
+ }
+
+ requested_lockdep_slabs = clamp_t(unsigned int, val, 2, LOCKDEP_MAX_SLABS);
+ return 0;
+}
+early_param("lockdep_slabs", setup_lockdep_slabs);
+
+static int __init setup_lockdep_headroom(char *str)
+{
+ unsigned long val;
+
+ if (!str || kstrtoul(str, 0, &val))
+ return -EINVAL;
+
+ requested_lockdep_headroom_pct = clamp_t(unsigned int, val, 10, 900);
+ lockdep_headroom_specified = true;
+ return 0;
+}
+early_param("lockdep_headroom", setup_lockdep_headroom);
+
+static void *lockdep_free_slabs[LOCKDEP_MAX_SLABS];
+static unsigned int lockdep_nr_free_slabs;
+
+/*
+ * Claim a 64KB slab from the pre-allocated memblock reservoir.
+ * Must be called with graph_lock held. Completely lockless and deadlock-free.
+ */
+static void *lockdep_claim_slab(unsigned int *table_counter)
+{
+ void *slab;
+
+ if (lockdep_nr_free_slabs > 0)
+ slab = lockdep_free_slabs[--lockdep_nr_free_slabs];
+ else if (lockdep_slabs_used < lockdep_nr_slabs)
+ slab = lockdep_slabs[lockdep_slabs_used++];
+ else
+ return NULL;
+
+ if (table_counter)
+ (*table_counter)++;
+
+ return slab;
+}
+
+static void lockdep_release_slab(void *slab, unsigned int *table_counter)
+{
+ if (!slab || lockdep_nr_free_slabs >= LOCKDEP_MAX_SLABS)
+ return;
+
+ lockdep_free_slabs[lockdep_nr_free_slabs++] = slab;
+ if (table_counter && *table_counter > 0)
+ (*table_counter)--;
+}
+
#include <trace/events/lock.h>
#ifdef CONFIG_PROVE_LOCKING
@@ -6646,6 +6730,53 @@ void lockdep_unregister_key(struct lock_class_key *key)
}
EXPORT_SYMBOL_GPL(lockdep_unregister_key);
+void __init lockdep_early_init(void)
+{
+ unsigned int nr_slabs, i;
+ phys_addr_t phys_mem;
+ size_t slab_bytes;
+ void *pool;
+
+ if (lockdep_disabled_early) {
+ pr_info("lockdep: disabled by early boot parameter, 0 bytes reserved\n");
+ return;
+ }
+
+ phys_mem = memblock_phys_mem_size();
+
+ /* Auto-tune based on physical memory and CPU count */
+ if (phys_mem && phys_mem < (512ULL << 20))
+ nr_slabs = 32; /* 2 MB on small systems (<512MB RAM) */
+ else if (num_possible_cpus() >= 64 || phys_mem > (64ULL << 30))
+ nr_slabs = 128; /* 8 MB on large servers (>64GB RAM or >64 CPUs) */
+ else
+ nr_slabs = LOCKDEP_DEFAULT_SLABS; /* 64 slabs = 4 MB default */
+
+ /* Ensure initial reservation satisfies requested floor or headroom */
+ if (requested_lockdep_slabs > nr_slabs)
+ nr_slabs = requested_lockdep_slabs;
+
+ if (lockdep_headroom_specified && requested_lockdep_headroom_pct > 100)
+ nr_slabs = (nr_slabs * (100 + requested_lockdep_headroom_pct)) / 100;
+
+ nr_slabs = clamp_t(unsigned int, nr_slabs, 8, LOCKDEP_MAX_SLABS);
+
+ slab_bytes = (size_t)nr_slabs * LOCKDEP_SLAB_SIZE;
+ pool = memblock_alloc(slab_bytes, PAGE_SIZE);
+ if (!pool) {
+ pr_err("lockdep: failed to allocate %u slabs (%zu KB) from memblock\n",
+ nr_slabs, slab_bytes / 1024);
+ return;
+ }
+
+ for (i = 0; i < nr_slabs; i++)
+ lockdep_slabs[i] = (char *)pool + (i * LOCKDEP_SLAB_SIZE);
+
+ lockdep_nr_slabs = nr_slabs;
+ pr_info("lockdep: reserved %u slabs (%zu KB) from memblock\n",
+ nr_slabs, slab_bytes / 1024);
+}
+
void __init lockdep_init(void)
{
pr_info("Lock dependency validator: Copyright (c) 2006 Red Hat, Inc., Ingo Molnar\n");
diff --git a/kernel/locking/lockdep_internals.h b/kernel/locking/lockdep_internals.h
index 3d8bce0dc9f9..3344361a1c3b 100644
--- a/kernel/locking/lockdep_internals.h
+++ b/kernel/locking/lockdep_internals.h
@@ -125,7 +125,8 @@ enum {
#include <linux/reciprocal_div.h>
#define LOCKDEP_SLAB_SIZE (64 * 1024)
-#define LOCKDEP_MAX_SLABS 64
+#define LOCKDEP_MAX_SLABS 512
+#define LOCKDEP_DEFAULT_SLABS 64
/*
* Chunked Array Tables:
--
2.55.0
next prev parent reply other threads:[~2026-08-27 3:58 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-08-27 3:58 [PATCH 0/8] lockdep: change 5 graph-db arrays to AofAs, fill from memblock pool Jim Cromie
2026-08-27 3:58 ` [PATCH 1/8] lockdep: Traverse adjacency lists directly in zap_class() Jim Cromie
2026-08-27 3:58 ` [PATCH 2/8] lockdep: Add chunked array infrastructure and embedded indices Jim Cromie
2026-08-27 3:58 ` Jim Cromie [this message]
2026-08-27 3:58 ` [PATCH 4/8] lockdep: Convert 5 graph arrays to chunked tables backed by slab pool Jim Cromie
2026-08-27 3:58 ` [PATCH 5/8] lockdep: Fast-path power-of-2 tables with shift/mask indexing Jim Cromie
2026-08-27 3:58 ` [PATCH 6/8] lockdep: Free unused reservation slabs to buddy allocator at late boot Jim Cromie
2026-08-27 3:58 ` [PATCH 7/8] lockdep: Expose slab pool telemetry in /proc/lockdep_stats and initcalls Jim Cromie
2026-08-27 3:58 ` [PATCH 8/8] lockdep: on debug_locks_off or OOM, recycle all slabs to buddy Jim Cromie
2026-08-27 6:46 ` [PATCH 0/8] lockdep: change 5 graph-db arrays to AofAs, fill from memblock pool Peter Zijlstra
2026-08-27 8:54 ` jim.cromie
2026-08-27 9:03 ` Peter Zijlstra
2026-08-27 18:40 ` jim.cromie
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=20260826-lockdep-memblock-v1-v1-3-e2db855391ec@gmail.com \
--to=jim.cromie@gmail.com \
--cc=boqun@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=longman@redhat.com \
--cc=mingo@redhat.com \
--cc=peterz@infradead.org \
--cc=will@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®