mirrors/linux
2
0
Fork 0
mirror of https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git synced 2026-08-31 10:31:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

binfmt_misc: let the entry lookup walk sleep

Browse Source 
The upcoming bpf-backed binary type handlers run a match program from
the entry lookup walk in load_misc_binary(). Deciding whether a handler
applies means reading the binary - parsing ELF program headers sitting
at arbitrary file offsets, say - and reliable file reads at exec time
fault in the file's pages, so the walk must tolerate an entry's
evaluation sleeping.

Switch the walk from RCU to SRCU in its fast flavor: srcu-fast read
sections may block while the read side stays practically as cheap as
the RCU read lock it replaces, so the common static-entry lookup does
not pay for the new capability. Entry freeing moves from kfree_rcu()
to call_srcu(). Removal still unlinks the entry immediately and never
blocks: a walker sleeping inside an entry's evaluation just keeps the
entry alive until it leaves the read section. The module exit path
flushes pending callbacks with srcu_barrier().

Take the reference on a matched entry at the match point inside the
walk instead of retrying the whole search when the refcount raise
fails. A restarted search was harmless when an entry's evaluation was
a memcmp() on bprm->buf, but re-running match programs that may sleep
on entries that were already consulted is not. An entry whose refcount
hit zero is unlinked and dying, so treating it as absent and walking
on is exactly what the bounded retry loop converged to, without ever
evaluating an entry twice.

Link: https://patch.msgid.link/20260714-work-bpf-binfmt_misc-v2-3-57b7529c002c@kernel.org
Signed-off-by: Christian Brauner (Amutable) <brauner@kernel.org>
This commit is contained in:
Christian Brauner
2026-07-14 21:58:08 +02:00
parent b4bfe2f6b0
commit 1ffc8d2473
1 changed files with 34 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

56
fs/binfmt_misc.c
View File

@@ -29,6 +29,7 @@
#include <linux/refcount.h>
#include <linux/seq_file.h>
#include <linux/slab.h>
#include <linux/srcu.h>
#include <linux/string.h>
#include <linux/string_helpers.h>
#include <linux/uaccess.h>
@@ -82,6 +83,9 @@ struct binfmt_misc_entry {
/* Trailing delimiter pad so field parsing always terminates at a delimiter. */
#define MISC_DELIM_PAD 8
/* Protects the entry walk in load_misc_binary(), which may sleep in it. */
DEFINE_STATIC_SRCU_FAST(bm_entries_srcu);
/* Check if @e's magic matches @bprm's buffer, applying the mask if set. */
static bool entry_matches_magic(const struct binfmt_misc_entry *e,
const struct linux_binprm *bprm)
@@ -111,11 +115,14 @@ static bool entry_matches_extension(const struct binfmt_misc_entry *e,
* @bprm: binary for which we are looking for a handler
*
* Search for a binary type handler for @bprm in the list of registered binary
* type handlers.
* type handlers. The matched entry is returned with a reference taken while
* the walk still held it; a dying entry - unlinked with its last reference
* gone - cannot be matched and the walk moves on.
*
* The caller must hold the RCU read lock.
* The caller must hold the bm_entries_srcu read lock, which allows an
* entry's evaluation to sleep.
*
* Return: binary type list entry on success, NULL on failure
* Return: referenced binary type list entry on success, NULL on failure
*/
static struct binfmt_misc_entry *
search_binfmt_handler(struct binfmt_misc *misc, struct linux_binprm *bprm)
@@ -125,18 +132,23 @@ search_binfmt_handler(struct binfmt_misc *misc, struct linux_binprm *bprm)
struct binfmt_misc_entry *e;
/* Walk all the registered handlers. */
hlist_for_each_entry_rcu(e, &misc->entries, node) {
hlist_for_each_entry_rcu(e, &misc->entries, node,
srcu_read_lock_held(&bm_entries_srcu)) {
/* Make sure this one is currently enabled. */
if (!test_bit(MISC_FMT_ENABLED_BIT, &e->flags))
continue;
if (test_bit(MISC_FMT_MAGIC_BIT, &e->flags)) {
if (entry_matches_magic(e, bprm))
return e;
if (!entry_matches_magic(e, bprm))
continue;
} else {
if (entry_matches_extension(e, ext))
return e;
if (!entry_matches_extension(e, ext))
continue;
}
/* A dying entry cannot be matched, walk on. */
if (refcount_inc_not_zero(&e->users))
return e;
}
return NULL;
@@ -147,24 +159,22 @@ search_binfmt_handler(struct binfmt_misc *misc, struct linux_binprm *bprm)
* @misc: handle to binfmt_misc instance
* @bprm: binary for which we are looking for a handler
*
* Try to find a binfmt handler for the binary type. If one is found take a
* reference to protect against removal via bm_{entry,status}_write(). The
* refcount of an entry can only drop to zero once it has been unlinked and
* a restarted search cannot find an unlinked entry again so the retry loop
* is bounded.
* Try to find a binfmt handler for the binary type. If one is found it is
* returned with a reference protecting it against removal via
* bm_{entry,status}_write().
*
* Return: binary type list entry on success, NULL on failure
*/
static struct binfmt_misc_entry *get_binfmt_handler(struct binfmt_misc *misc,
struct linux_binprm *bprm)
{
struct binfmt_misc_entry *e;
guard(srcu_fast)(&bm_entries_srcu);
return search_binfmt_handler(misc, bprm);
}
guard(rcu)();
do {
e = search_binfmt_handler(misc, bprm);
} while (e && !refcount_inc_not_zero(&e->users));
return e;
static void bm_entry_free_rcu(struct rcu_head *rcu)
{
kfree(container_of(rcu, struct binfmt_misc_entry, rcu));
}
/**
@@ -182,8 +192,8 @@ static void put_binfmt_handler(struct binfmt_misc_entry *e)
exe_file_allow_write_access(e->interp_file);
filp_close(e->interp_file, NULL);
}
/* Lockless walkers may still dereference this entry. */
kfree_rcu(e, rcu);
/* Walkers may still dereference this entry, even sleeping. */
call_srcu(&bm_entries_srcu, &e->rcu, bm_entry_free_rcu);
}
}
@@ -669,7 +679,7 @@ static void bm_evict_inode(struct inode *inode)
* Adding and removing entries via bm_{entry,register,status}_write() and
* unlink(2) happens under the exclusively held inode lock of the root
* dentry keeping the list stable for writers. load_misc_binary() walks it
* concurrently under RCU. The entries_lock is only held around the actual
* concurrently under SRCU. The entries_lock is only held around the actual
* unlink to serialize against bm_evict_inode() which unlinks entries
* during umount without holding the root inode lock.
*/
@@ -1055,6 +1065,8 @@ static void __exit exit_misc_binfmt(void)
{
unregister_binfmt(&misc_format);
unregister_filesystem(&bm_fs_type);
/* Flush pending bm_entry_free_rcu() callbacks before the text goes. */
srcu_barrier(&bm_entries_srcu);
}
core_initcall(init_misc_binfmt);