From: Jiri Olsa <jolsa@kernel.org>
To: Masami Hiramatsu <mhiramat@kernel.org>,
Naveen N Rao <naveen@kernel.org>,
"David S. Miller" <davem@davemloft.net>
Cc: Peter Zijlstra <peterz@infradead.org>,
Josh Poimboeuf <jpoimboe@kernel.org>,
Jason Baron <jbaron@akamai.com>,
Alice Ryhl <aliceryhl@google.com>,
Steven Rostedt <rostedt@goodmis.org>,
Ard Biesheuvel <ardb@kernel.org>,
Thomas Gleixner <tglx@kernel.org>, Ingo Molnar <mingo@redhat.com>,
Alan Maguire <almagui@kernel.org>,
x86@kernel.org, linux-trace-kernel@vger.kernel.org,
linux-kernel@vger.kernel.org, bpf@vger.kernel.org
Subject: [PATCH 01/13] static_call: Index code text reservation lookups
Date: Mon, 9 Nov 2026 20:49:04 +0100 [thread overview]
Message-ID: <20261109194916.1089703-2-jolsa@kernel.org> (raw)
In-Reply-To: <20261109194916.1089703-1-jolsa@kernel.org>
Text reservation checks scan every static call site. Build an address-sorted
index for core text sites and use binary search to find the starting point
near the requested range.
Module indexing is intentionally unsupported. Module reservation checks
continue to use a linear scan, avoiding per-module index allocation and
teardown complexity.
Signed-off-by: Jiri Olsa <jolsa@kernel.org>
---
kernel/static_call_inline.c | 114 +++++++++++++++++++++++++++++++++++-
1 file changed, 112 insertions(+), 2 deletions(-)
diff --git a/kernel/static_call_inline.c b/kernel/static_call_inline.c
index 2b6a0d99cdbe..884dfc897a1f 100644
--- a/kernel/static_call_inline.c
+++ b/kernel/static_call_inline.c
@@ -15,6 +15,18 @@ extern struct static_call_site __start_static_call_sites[],
extern struct static_call_tramp_key __start_static_call_tramp_key[],
__stop_static_call_tramp_key[];
+struct static_call_site_index {
+ struct static_call_site *base;
+ unsigned int nr;
+ u32 entries[];
+};
+
+/*
+ * Index static call sites by code address for text reservation lookups.
+ * The site table itself is sorted by static-call-key address.
+ */
+static struct static_call_site_index *static_call_site_index;
+
int static_call_initialized;
/*
@@ -41,7 +53,7 @@ static void static_call_unlock(void)
mutex_unlock(&static_call_mutex);
}
-static inline void *static_call_addr(struct static_call_site *site)
+static inline void *static_call_addr(const struct static_call_site *site)
{
return (void *)((long)site->addr + (long)&site->addr);
}
@@ -301,6 +313,79 @@ static int addr_conflict(struct static_call_site *site, void *start, void *end)
return 0;
}
+static int static_call_site_index_cmp(const void *a, const void *b, const void *priv)
+{
+ const struct static_call_site *base = priv;
+ unsigned int ia = *(u32 *)a;
+ unsigned int ib = *(u32 *)b;
+ unsigned long ca = (unsigned long)static_call_addr(base + ia);
+ unsigned long cb = (unsigned long)static_call_addr(base + ib);
+
+ return cmp_int(ca, cb);
+}
+
+static struct static_call_site_index *
+static_call_site_index_alloc(struct static_call_site *start,
+ struct static_call_site *stop)
+{
+ struct static_call_site_index *index;
+ unsigned int nr = stop - start;
+ unsigned int i;
+
+ if (!nr)
+ return NULL;
+
+ index = kvmalloc_flex(*index, entries, nr, GFP_KERNEL);
+ if (!index)
+ return NULL;
+
+ index->nr = nr;
+ index->base = start;
+ for (i = 0; i < nr; i++)
+ index->entries[i] = i;
+
+ sort_r(index->entries, nr, sizeof(index->entries[0]),
+ static_call_site_index_cmp, NULL, start);
+
+ return index;
+}
+
+static int
+static_call_site_index_text_reserved(struct static_call_site_index *index,
+ void *start, void *end, bool init)
+{
+ unsigned int low = 0, high = index->nr, i;
+
+ /* Find the first site after @start. */
+ while (low < high) {
+ unsigned int mid = low + (high - low) / 2;
+ void *addr = static_call_addr(index->base + index->entries[mid]);
+
+ if (addr <= start)
+ low = mid + 1;
+ else
+ high = mid;
+ }
+
+ /* The preceding site may overlap @start. */
+ if (low)
+ low--;
+
+ for (i = low; i < index->nr; i++) {
+ struct static_call_site *site = index->base + index->entries[i];
+ void *addr = static_call_addr(site);
+
+ /* Later sites cannot overlap once this address is past @end. */
+ if (addr > end)
+ break;
+ if ((init || !static_call_is_init(site)) &&
+ addr_conflict(site, start, end))
+ return 1;
+ }
+
+ return 0;
+}
+
static int __static_call_text_reserved(struct static_call_site *iter_start,
struct static_call_site *iter_stop,
void *start, void *end, bool init)
@@ -483,7 +568,15 @@ static inline int __static_call_mod_text_reserved(void *start, void *end)
int static_call_text_reserved(void *start, void *end)
{
bool init = system_state < SYSTEM_RUNNING;
- int ret = __static_call_text_reserved(__start_static_call_sites,
+ struct static_call_site_index *index;
+ int ret;
+
+ /* Pairs with the release in static_call_site_index_build(). */
+ index = smp_load_acquire(&static_call_site_index);
+ if (index)
+ ret = static_call_site_index_text_reserved(index, start, end, init);
+ else
+ ret = __static_call_text_reserved(__start_static_call_sites,
__stop_static_call_sites, start, end, init);
if (ret)
@@ -522,6 +615,23 @@ int __init static_call_init(void)
}
early_initcall(static_call_init);
+static int __init static_call_site_index_build(void)
+{
+ struct static_call_site_index *index;
+
+ /*
+ * Build the index in an initcall so normal memory allocation is
+ * available, static_call_init() can run before that.
+ */
+ index = static_call_site_index_alloc(__start_static_call_sites,
+ __stop_static_call_sites);
+
+ /* Publish the initialized index to static_call_text_reserved(). */
+ smp_store_release(&static_call_site_index, index);
+ return 0;
+}
+late_initcall(static_call_site_index_build);
+
#ifdef CONFIG_STATIC_CALL_SELFTEST
static int func_a(int x)
--
2.43.0
next prev parent reply other threads:[~2026-11-09 19:49 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-09 19:49 [PATCH 00/13] kprobes: Reduce registration and optimization lookup costs Jiri Olsa
2026-11-09 19:49 ` Jiri Olsa [this message]
2026-11-09 19:49 ` [PATCH 02/13] jump_label: Index text reservation lookups Jiri Olsa
2026-11-09 19:49 ` [PATCH 03/13] jump_label/x86: Avoid decoding instructions for jump entry size Jiri Olsa
2026-11-09 19:55 ` [PATCH 04/13] kprobes: Maintain an rbtree of registered probes Jiri Olsa
2026-11-09 19:56 ` [PATCH 05/13] kprobes: Add an iterator for address ranges Jiri Olsa
2026-11-09 19:56 ` [PATCH 06/13] kprobes: Add an address iterator for probe lookup Jiri Olsa
2026-11-09 19:56 ` [PATCH 07/13] kprobes: Use kprobe iterator in get_optimized_kprobe Jiri Olsa
2026-11-09 19:57 ` [PATCH 08/13] x86/kprobes: Use kprobe iterator in __recover_optprobed_insn Jiri Olsa
2026-11-09 19:57 ` [PATCH 09/13] x86/kprobes: Use kprobe iterator in arch_check_optimized_kprobe Jiri Olsa
2026-11-09 19:57 ` [PATCH 10/13] x86/kprobes: Use kprobe address iterator in can_optimize Jiri Olsa
2026-11-09 19:57 ` [PATCH 11/13] x86/kprobes: Use kprobe address iterator in can_probe Jiri Olsa
2026-11-09 19:58 ` [PATCH 12/13] x86/kprobes: Use kprobe address iterator in in copy_optimized_instructions Jiri Olsa
2026-11-09 19:58 ` [PATCH 13/13] samples/kprobes: Add batch probe example Jiri Olsa
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=20261109194916.1089703-2-jolsa@kernel.org \
--to=jolsa@kernel.org \
--cc=aliceryhl@google.com \
--cc=almagui@kernel.org \
--cc=ardb@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=davem@davemloft.net \
--cc=jbaron@akamai.com \
--cc=jpoimboe@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-trace-kernel@vger.kernel.org \
--cc=mhiramat@kernel.org \
--cc=mingo@redhat.com \
--cc=naveen@kernel.org \
--cc=peterz@infradead.org \
--cc=rostedt@goodmis.org \
--cc=tglx@kernel.org \
--cc=x86@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®