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 02/13] jump_label: Index text reservation lookups
Date: Mon, 9 Nov 2026 20:49:05 +0100 [thread overview]
Message-ID: <20261109194916.1089703-3-jolsa@kernel.org> (raw)
In-Reply-To: <20261109194916.1089703-1-jolsa@kernel.org>
Text reservation checks scan every jump entry. Build an index sorted by
code address for core entries and use binary search to find the starting
point near the requested range. Keep the original table sorted by
static-key address for updates.
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/jump_label.c | 115 +++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 114 insertions(+), 1 deletion(-)
diff --git a/kernel/jump_label.c b/kernel/jump_label.c
index ab6b774bcfd7..64467b971efe 100644
--- a/kernel/jump_label.c
+++ b/kernel/jump_label.c
@@ -8,6 +8,7 @@
*/
#include <linux/memory.h>
#include <linux/uaccess.h>
+#include <linux/cache.h>
#include <linux/module.h>
#include <linux/list.h>
#include <linux/slab.h>
@@ -22,6 +23,18 @@
/* mutex to protect coming/going of the jump_label table */
static DEFINE_MUTEX(jump_label_mutex);
+struct jump_entry_index {
+ struct jump_entry *base;
+ unsigned int nr;
+ u32 entries[];
+};
+
+/*
+ * Index jump entries by code address for text reservation lookups. The jump
+ * table itself is sorted by static-key address, then by code address per key.
+ */
+static struct jump_entry_index *jump_entry_index;
+
void jump_label_lock(void)
{
mutex_lock(&jump_label_mutex);
@@ -381,6 +394,81 @@ static int addr_conflict(struct jump_entry *entry, void *start, void *end)
return 0;
}
+static int jump_entry_index_cmp(const void *a, const void *b, const void *priv)
+{
+ const struct jump_entry *base = priv;
+ unsigned int ia = *(u32 *)a;
+ unsigned int ib = *(u32 *)b;
+ unsigned long ca = jump_entry_code(base + ia);
+ unsigned long cb = jump_entry_code(base + ib);
+
+ if (ca < cb)
+ return -1;
+ if (ca > cb)
+ return 1;
+ return 0;
+}
+
+static struct jump_entry_index *
+jump_entry_index_alloc(struct jump_entry *start, struct jump_entry *stop)
+{
+ unsigned int i, nr = stop - start;
+ struct jump_entry_index *index;
+
+ 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]),
+ jump_entry_index_cmp, NULL, start);
+ return index;
+}
+
+static int jump_entry_index_text_reserved(struct jump_entry_index *index,
+ void *start, void *end, bool init)
+{
+ unsigned long start_addr = (unsigned long)start;
+ unsigned long end_addr = (unsigned long)end;
+ unsigned int low = 0, high = index->nr, i;
+
+ /* Find the first entry after @start. */
+ while (low < high) {
+ unsigned int mid = low + (high - low) / 2;
+ unsigned long addr = jump_entry_code(index->base + index->entries[mid]);
+
+ if (addr <= start_addr)
+ low = mid + 1;
+ else
+ high = mid;
+ }
+
+ /* The preceding entry may start before @start and overlap it. */
+ if (low)
+ low--;
+
+ for (i = low; i < index->nr; i++) {
+ struct jump_entry *entry = index->base + index->entries[i];
+ unsigned long addr = jump_entry_code(entry);
+
+ /* Later entries cannot overlap once this address is past @end. */
+ if (addr > end_addr)
+ break;
+ if ((init || !jump_entry_is_init(entry)) &&
+ addr_conflict(entry, start, end))
+ return 1;
+ }
+
+ return 0;
+}
+
static int __jump_label_text_reserved(struct jump_entry *iter_start,
struct jump_entry *iter_stop, void *start, void *end, bool init)
{
@@ -869,8 +957,16 @@ early_initcall(jump_label_init_module);
*/
int jump_label_text_reserved(void *start, void *end)
{
+ struct jump_entry_index *index;
bool init = system_state < SYSTEM_RUNNING;
- int ret = __jump_label_text_reserved(__start___jump_table,
+ int ret;
+
+ /* Pairs with the release in jump_entry_index_build(). */
+ index = smp_load_acquire(&jump_entry_index);
+ if (index)
+ ret = jump_entry_index_text_reserved(index, start, end, init);
+ else
+ ret = __jump_label_text_reserved(__start___jump_table,
__stop___jump_table, start, end, init);
if (ret)
@@ -909,6 +1005,23 @@ static void jump_label_update(struct static_key *key)
__jump_label_update(key, entry, stop, init);
}
+static int __init jump_entry_index_build(void)
+{
+ struct jump_entry_index *index;
+
+ /*
+ * Build the index in an initcall so normal memory allocation is
+ * available; jump_label_init() runs before that.
+ */
+ index = jump_entry_index_alloc(__start___jump_table, __stop___jump_table);
+
+ /* Publish the initialized index to jump_label_text_reserved(). */
+ smp_store_release(&jump_entry_index, index);
+
+ return 0;
+}
+late_initcall(jump_entry_index_build);
+
#ifdef CONFIG_STATIC_KEYS_SELFTEST
static DEFINE_STATIC_KEY_TRUE(sk_true);
static DEFINE_STATIC_KEY_FALSE(sk_false);
--
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 ` [PATCH 01/13] static_call: Index code text reservation lookups Jiri Olsa
2026-11-09 19:49 ` Jiri Olsa [this message]
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-3-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®