From nobody Mon Feb 9 16:50:37 2026 Received: from mail-qk1-f179.google.com (mail-qk1-f179.google.com [209.85.222.179]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id E24B83E95BB for ; Thu, 5 Feb 2026 13:59:00 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.222.179 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770299941; cv=none; b=qzxeJ8HAuzPzAJ/HUaBL6zdUs6cLCT8GHfqO8PqmgPRJ4w5oKEKlNseywv6tgSJWjF2jfeI1feuuJciAzdVol2/k+q5qSUbzLbKQ8Nt8II6zG3gkZQXwCzo5m+emQbGMUh6yC37uHmBWkYh5PML2hoV1cWIQEe9g0IXGU+uaHBY= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770299941; c=relaxed/simple; bh=xNoM3ajeOuo+vHypFLl5eB9S7kFrp92N00jEL3zmt5M=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=lISBGrHpeqN3Ldx0Fx1BVKTkEH3AkqYCZZOtKh8Uu0PZzUpESRvRr1kIIdaMxZNxnarrNzeGQn+DGlGQuLJDMPDHCcmssTP00yR6jrJqvT15WiPs+cp44AKEX+UvCf0UZBovkZw6hAohD2rc/oTfbau3kxAwNq9/vzPEstKVEX0= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=Bd5vUI8+; arc=none smtp.client-ip=209.85.222.179 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="Bd5vUI8+" Received: by mail-qk1-f179.google.com with SMTP id af79cd13be357-8ca3807494eso60948185a.2 for ; Thu, 05 Feb 2026 05:59:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1770299940; x=1770904740; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=IKmWgylkYM7IUOyI3sKx0XB35vK5p+kJUDZCEqi1vOA=; b=Bd5vUI8+1LA6AFMU+J0KU9pkr3fxJjmfJj12MLo97kBk2xBXNwBFq1400m7tAZBJTd CAGTt77O/Vrhibm4ZVl6v8xZmZQQn1wBP4wWsiDaa9/mxTreS2yv8PC4RswJr6yBVdih IkQl6CgzLVwwrrVsBKt6IJrfFK9xHFCrD5jOJxQxFdV6jDYSfJewH7x7klVX9+qr/WQ4 6La9Guq8Vo473Xq4ITa5wUPmuEfbRKrFqtd4z3PFfbrGiSWTBdVH0lqWOU3QCBOjXZM9 0nckVDkKYYtXwllPIO9zfRJ79XAn+sAjs5GwirWsaYTpfSFe5+ZKQovmzIhSH8mGlJVe H+0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1770299940; x=1770904740; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=IKmWgylkYM7IUOyI3sKx0XB35vK5p+kJUDZCEqi1vOA=; b=sgOyWymftAOB0KWZ1jVSznVYTElJ4B/xfP/sKykhANiKsyLAbpUgGOvWxBaeVJ7GUs 00uTlU0714/1FwsfbqrcsDqlmBeQCgoildvbScVdOhXkzEep4XuagVJSIZxh57q4fBSa tPyOi4cPM5JP5Ca9aeF16WMneya+T6azr0yUiVJz8nOn2LF3Z1nzIsBuOsE3eFIlQ2h2 +Oc6dvnTfjr5cnKcIjQJ6B4P27kivM2Ngy6cRUimHC3s7dA60QoH6fGVRKqQpw38MWn2 yj6cwgaGh3Ik11zIZMBTZPOThUl4ZZvkfV/ReOt5XcckfO/nJnA4pghPihLOotu7PxzU MJmQ== X-Forwarded-Encrypted: i=1; AJvYcCXJkQwqkBeara2cgkf7tvrWwN20oFFcgwPa9ufNgZJH7VmNDBTZdOkpKMVeIYFMwy8jcSMCIrcz7rAbdHE=@vger.kernel.org X-Gm-Message-State: AOJu0YxjfJix5jcWTPfLLq46LD56/4ti8vUAQ0cgnngHeDmp6zvfQOZ8 GOXbyvQyc0AV3OAxSUGL/+2CalpvsSDBcaQ7XS2akJpc+FnxiZ3ULB2v X-Gm-Gg: AZuq6aJsrLM7/J+gGxYuG9S0qa/LQbPauw26U17D4Q86R4+Lsr3wjT9q5Sw4Azb7sou Uo9Gho6cD6YjxfYd+gO5zkC+ij0pmDmYlVDo9n9oX5RVYt6u/3Gns8GmXYhS/CK5wXJDhRA++Kd 6zvjPo5F0MfSQVP37pcO1kaS8At0LBwrtNcO+72itQehqUqJeq46p8likCmEqMSfmJGcJzue+nT ue9zdgxhja7M528hMBnLMKqhICsLmneJ6bXQrO05OQEE/YyC9sCLEySqeexdRA7whcjZp4KkrxD yBpKzowy8Zx3sMnlpkTFg0Gv+oyrlj5XpOapfU5KMSBZDWaR0CvqCAn/N+rZ7C0TdgMw6bFhFuE G4NUCHJXmGa6iHo5ET+5d4IXfOnF+O2uYYsL9z5v2QCeuF/wlaJKt3ZXk3QKDfSrKVgT5yZPnId MmwEZVSqTm79A1s6z6jjtfYp1iXKPgric3hL6TmnApbAdJdiJh1p+VLfIDp9ZDWrEWzi/oiMc= X-Received: by 2002:a05:620a:4720:b0:8ca:2cf9:81a3 with SMTP id af79cd13be357-8ca2f868aa7mr799096385a.40.1770299939812; Thu, 05 Feb 2026 05:58:59 -0800 (PST) Received: from pc.mynetworksettings.com ([2600:4041:4491:2000:87a6:ecbb:44f:b3c1]) by smtp.gmail.com with ESMTPSA id af79cd13be357-8ca2fd40f9asm404975985a.41.2026.02.05.05.58.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 05 Feb 2026 05:58:59 -0800 (PST) From: "Seokwoo Chung (Ryan)" To: mhiramat@kernel.org Cc: rostedt@goodmis.org, corbet@lwn.net, shuah@kernel.org, mathieu.desnoyers@efficios.com, linux-kernel@vger.kernel.org, linux-trace-kernel@vger.kernel.org, linux-doc@vger.kernel.org, linux-kselftest@vger.kernel.org, "Seokwoo Chung (Ryan)" Subject: [PATCH v6 1/4] tracing/fprobe: Support comma-separated symbols and :entry/:exit Date: Thu, 5 Feb 2026 08:58:39 -0500 Message-ID: <20260205135842.20517-2-seokwoo.chung130@gmail.com> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20260205135842.20517-1-seokwoo.chung130@gmail.com> References: <20260205135842.20517-1-seokwoo.chung130@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Extend the fprobe event interface to support: - Comma-separated symbol lists: "func1,func2,func3" - Exclusion prefix: "func1,!func2,func3" - Explicit :entry and :exit suffixes (replacing %return for lists) Single-symbol probes retain backward compatibility with %return. The list parsing is factored into a dedicated parse_fprobe_list() helper that splits comma-separated input into filter (included) and nofilter (excluded) strings. Tracepoint validation now reports the error position via trace_probe_log_err() so users can see what went wrong in tracefs/error_log. Changes since v5: - Fix missing closing brace in the empty-token check that caused a build error. - Remove redundant strchr/strstr checks for tracepoint validation (the character validation loop already rejects ',', ':', and '%'). - Add trace_probe_log_err() to the tracepoint character validation loop per reviewer feedback. - Remove unnecessary braces around single-statement if per kernel coding style. - Extract list parsing into parse_fprobe_list() per reviewer feedback to keep parse_fprobe_spec() focused. Update tracefs/README to reflect the new syntax. Signed-off-by: Seokwoo Chung (Ryan) --- kernel/trace/trace.c | 3 +- kernel/trace/trace_fprobe.c | 219 ++++++++++++++++++++++++++++-------- 2 files changed, 174 insertions(+), 48 deletions(-) diff --git a/kernel/trace/trace.c b/kernel/trace/trace.c index 8bd4ec08fb36..649a6e6021b4 100644 --- a/kernel/trace/trace.c +++ b/kernel/trace/trace.c @@ -5578,7 +5578,8 @@ static const char readme_msg[] =3D "\t r[maxactive][:[/][]] []\n" #endif #ifdef CONFIG_FPROBE_EVENTS - "\t f[:[/][]] [%return] []\n" + "\t f[:[/][]] [:entry|:exit] []\= n" + "\t (single symbols still accept %return)\n" "\t t[:[/][]] []\n" #endif #ifdef CONFIG_HIST_TRIGGERS diff --git a/kernel/trace/trace_fprobe.c b/kernel/trace/trace_fprobe.c index 262c0556e4af..f8846cd1d020 100644 --- a/kernel/trace/trace_fprobe.c +++ b/kernel/trace/trace_fprobe.c @@ -187,11 +187,14 @@ DEFINE_FREE(tuser_put, struct tracepoint_user *, */ struct trace_fprobe { struct dyn_event devent; + char *filter; struct fprobe fp; + bool list_mode; + char *nofilter; const char *symbol; + struct trace_probe tp; bool tprobe; struct tracepoint_user *tuser; - struct trace_probe tp; }; =20 static bool is_trace_fprobe(struct dyn_event *ev) @@ -559,6 +562,8 @@ static void free_trace_fprobe(struct trace_fprobe *tf) trace_probe_cleanup(&tf->tp); if (tf->tuser) tracepoint_user_put(tf->tuser); + kfree(tf->filter); + kfree(tf->nofilter); kfree(tf->symbol); kfree(tf); } @@ -838,7 +843,12 @@ static int __register_trace_fprobe(struct trace_fprobe= *tf) if (trace_fprobe_is_tracepoint(tf)) return __regsiter_tracepoint_fprobe(tf); =20 - /* TODO: handle filter, nofilter or symbol list */ + /* Registration path: + * - list_mode: pass filter/nofilter + * - single: pass symbol only (legacy) + */ + if (tf->list_mode) + return register_fprobe(&tf->fp, tf->filter, tf->nofilter); return register_fprobe(&tf->fp, tf->symbol, NULL); } =20 @@ -1154,60 +1164,131 @@ static struct notifier_block tprobe_event_module_n= b =3D { }; #endif /* CONFIG_MODULES */ =20 -static int parse_symbol_and_return(int argc, const char *argv[], - char **symbol, bool *is_return, - bool is_tracepoint) +static bool has_wildcard(const char *s) { - char *tmp =3D strchr(argv[1], '%'); - int i; + return s && (strchr(s, '*') || strchr(s, '?')); +} =20 - if (tmp) { - int len =3D tmp - argv[1]; +static int parse_fprobe_list(char *b, char **filter, char **nofilter) +{ + char *f __free(kfree) =3D NULL; + char *nf __free(kfree) =3D NULL; + char *tmp =3D b, *tok; + size_t sz; =20 - if (!is_tracepoint && !strcmp(tmp, "%return")) { - *is_return =3D true; - } else { - trace_probe_log_err(len, BAD_ADDR_SUFFIX); - return -EINVAL; - } - *symbol =3D kmemdup_nul(argv[1], len, GFP_KERNEL); - } else - *symbol =3D kstrdup(argv[1], GFP_KERNEL); - if (!*symbol) + sz =3D strlen(b) + 1; + + f =3D kzalloc(sz, GFP_KERNEL); + nf =3D kzalloc(sz, GFP_KERNEL); + if (!f || !nf) return -ENOMEM; =20 - if (*is_return) - return 0; + while ((tok =3D strsep(&tmp, ",")) !=3D NULL) { + char *dst; + bool neg =3D (*tok =3D=3D '!'); =20 - if (is_tracepoint) { - tmp =3D *symbol; - while (*tmp && (isalnum(*tmp) || *tmp =3D=3D '_')) - tmp++; - if (*tmp) { - /* find a wrong character. */ - trace_probe_log_err(tmp - *symbol, BAD_TP_NAME); - kfree(*symbol); - *symbol =3D NULL; + if (*tok =3D=3D '\0') { + trace_probe_log_err(tmp - b - 1, BAD_TP_NAME); return -EINVAL; } + + if (neg) + tok++; + dst =3D neg ? nf : f; + if (dst[0] !=3D '\0') + strcat(dst, ","); + strcat(dst, tok); } =20 - /* If there is $retval, this should be a return fprobe. */ - for (i =3D 2; i < argc; i++) { - tmp =3D strstr(argv[i], "$retval"); - if (tmp && !isalnum(tmp[7]) && tmp[7] !=3D '_') { - if (is_tracepoint) { - trace_probe_log_set_index(i); - trace_probe_log_err(tmp - argv[i], RETVAL_ON_PROBE); - kfree(*symbol); - *symbol =3D NULL; + *filter =3D no_free_ptr(f); + *nofilter =3D no_free_ptr(nf); + + return 0; +} + +static int parse_fprobe_spec(const char *in, bool is_tracepoint, + char **base, bool *is_return, bool *list_mode, + char **filter, char **nofilter) +{ + char *work __free(kfree) =3D NULL; + char *b __free(kfree) =3D NULL; + char *f __free(kfree) =3D NULL; + char *nf __free(kfree) =3D NULL; + bool legacy_ret =3D false; + bool list =3D false; + const char *p; + int ret =3D 0; + + if (!in || !base || !is_return || !list_mode || !filter || !nofilter) + return -EINVAL; + + *base =3D NULL; *filter =3D NULL; *nofilter =3D NULL; + *is_return =3D false; *list_mode =3D false; + + if (is_tracepoint) { + for (p =3D in; *p; p++) + if (!isalnum(*p) && *p !=3D '_') { + trace_probe_log_err(p - in, BAD_TP_NAME); + return -EINVAL; + } + b =3D kstrdup(in, GFP_KERNEL); + if (!b) + return -ENOMEM; + *base =3D no_free_ptr(b); + return 0; + } + + work =3D kstrdup(in, GFP_KERNEL); + if (!work) + return -ENOMEM; + + p =3D strstr(work, "%return"); + if (p && p[7] =3D=3D '\0') { + *is_return =3D true; + legacy_ret =3D true; + *(char *)p =3D '\0'; + } else { + /* + * If "symbol:entry" or "symbol:exit" is given, it is new + * style probe. + */ + p =3D strrchr(work, ':'); + if (p) { + if (!strcmp(p, ":exit")) { + *is_return =3D true; + *(char *)p =3D '\0'; + } else if (!strcmp(p, ":entry")) { + *(char *)p =3D '\0'; + } else { return -EINVAL; } - *is_return =3D true; - break; } } - return 0; + + list =3D !!strchr(work, ','); +=09 + if (list && legacy_ret) + return -EINVAL; + + if (legacy_ret) + *is_return =3D true; + + b =3D kstrdup(work, GFP_KERNEL); + if (!b) + return -ENOMEM; + + if (list) { + ret =3D parse_fprobe_list(b, &f, &nf); + if (ret) + return ret; + *list_mode =3D true; + } + + *base =3D no_free_ptr(b); + *filter =3D no_free_ptr(f); + *nofilter =3D no_free_ptr(nf); + + return ret; } =20 static int trace_fprobe_create_internal(int argc, const char *argv[], @@ -1241,6 +1322,8 @@ static int trace_fprobe_create_internal(int argc, con= st char *argv[], const char *event =3D NULL, *group =3D FPROBE_EVENT_SYSTEM; struct module *mod __free(module_put) =3D NULL; const char **new_argv __free(kfree) =3D NULL; + char *parsed_nofilter __free(kfree) =3D NULL; + char *parsed_filter __free(kfree) =3D NULL; char *symbol __free(kfree) =3D NULL; char *ebuf __free(kfree) =3D NULL; char *gbuf __free(kfree) =3D NULL; @@ -1249,6 +1332,7 @@ static int trace_fprobe_create_internal(int argc, con= st char *argv[], char *dbuf __free(kfree) =3D NULL; int i, new_argc =3D 0, ret =3D 0; bool is_tracepoint =3D false; + bool list_mode =3D false; bool is_return =3D false; =20 if ((argv[0][0] !=3D 'f' && argv[0][0] !=3D 't') || argc < 2) @@ -1270,11 +1354,26 @@ static int trace_fprobe_create_internal(int argc, c= onst char *argv[], =20 trace_probe_log_set_index(1); =20 - /* a symbol(or tracepoint) must be specified */ - ret =3D parse_symbol_and_return(argc, argv, &symbol, &is_return, is_trace= point); + /* Parse spec early (single vs list, suffix, base symbol) */ + ret =3D parse_fprobe_spec(argv[1], is_tracepoint, &symbol, &is_return, + &list_mode, &parsed_filter, &parsed_nofilter); if (ret < 0) return -EINVAL; =20 + for (i =3D 2; i < argc; i++) { + char *tmp =3D strstr(argv[i], "$retval"); + + if (tmp && !isalnum(tmp[7]) && tmp[7] !=3D '_') { + if (is_tracepoint) { + trace_probe_log_set_index(i); + trace_probe_log_err(tmp - argv[i], RETVAL_ON_PROBE); + return -EINVAL; + } + is_return =3D true; + break; + } + } + trace_probe_log_set_index(0); if (event) { gbuf =3D kmalloc(MAX_EVENT_NAME_LEN, GFP_KERNEL); @@ -1287,6 +1386,15 @@ static int trace_fprobe_create_internal(int argc, co= nst char *argv[], } =20 if (!event) { + /* + * Event name rules: + * - For list/wildcard: require explicit [GROUP/]EVENT + * - For single literal: autogenerate symbol__entry/symbol__exit + */ + if (list_mode || has_wildcard(symbol)) { + trace_probe_log_err(0, NO_GROUP_NAME); + return -EINVAL; + } ebuf =3D kmalloc(MAX_EVENT_NAME_LEN, GFP_KERNEL); if (!ebuf) return -ENOMEM; @@ -1322,7 +1430,8 @@ static int trace_fprobe_create_internal(int argc, con= st char *argv[], NULL, NULL, NULL, sbuf); } } - if (!ctx->funcname) + + if (!list_mode && !has_wildcard(symbol) && !is_tracepoint) ctx->funcname =3D symbol; =20 abuf =3D kmalloc(MAX_BTF_ARGS_LEN, GFP_KERNEL); @@ -1356,6 +1465,21 @@ static int trace_fprobe_create_internal(int argc, co= nst char *argv[], return ret; } =20 + /* carry list parsing result into tf */ + if (!is_tracepoint) { + tf->list_mode =3D list_mode; + if (parsed_filter) { + tf->filter =3D kstrdup(parsed_filter, GFP_KERNEL); + if (!tf->filter) + return -ENOMEM; + } + if (parsed_nofilter) { + tf->nofilter =3D kstrdup(parsed_nofilter, GFP_KERNEL); + if (!tf->nofilter) + return -ENOMEM; + } + } + /* parse arguments */ for (i =3D 0; i < argc; i++) { trace_probe_log_set_index(i + 2); @@ -1442,8 +1566,9 @@ static int trace_fprobe_show(struct seq_file *m, stru= ct dyn_event *ev) seq_printf(m, ":%s/%s", trace_probe_group_name(&tf->tp), trace_probe_name(&tf->tp)); =20 - seq_printf(m, " %s%s", trace_fprobe_symbol(tf), - trace_fprobe_is_return(tf) ? "%return" : ""); + seq_printf(m, " %s", trace_fprobe_symbol(tf)); + if (!trace_fprobe_is_tracepoint(tf) && trace_fprobe_is_return(tf)) + seq_puts(m, ":exit"); =20 for (i =3D 0; i < tf->tp.nr_args; i++) seq_printf(m, " %s=3D%s", tf->tp.args[i].name, tf->tp.args[i].comm); --=20 2.43.0