From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id B0B634FECD7; Sat, 5 Sep 2026 18:13:41 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788632021; cv=none; b=V0Jxof7V7g0WvCbtPF15REtRz9y52ol+Plc3YjCSgQCfF6/6uPfjjFDNvyc+bUVw0hADR2areA+KdTtuvlJn25fDijhf6sSD8bp2/k/ubjzKGhjzV+9I9eoGujvA4YbcsK2ynCQFZ2YzC9wtJGAw6F3aD+ExJbOEpyLF0V9+FhQ= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1788632021; c=relaxed/simple; bh=KCqaDesgobfwrXdi8oJmSTCLXSvSsXWRJXtNMUpVE9w=; h=From:Date:Subject:MIME-Version:Content-Type:Message-Id:References: In-Reply-To:To:Cc; b=BKuTUlvaDJ7i4h2r998iVJ+c8W+Ec22Qi5wfhgOnYR5BznvrtOeCPlkcKlXEx3iKYQzZzUlHgXlbacPgubpOp0l/BstcWQ5zPKvErbLR8z3CLCqoC8vBMux95M2AUcmsj6p7LSJ5VRl+q6Ofg5NXnjDT1urJmX9GuvRbW7uwhXg= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=XzG5dgMO; arc=none smtp.client-ip=10.30.226.201 Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="XzG5dgMO" Received: by smtp.kernel.org (Postfix) with ESMTPS id 9068EC4AF11; Sat, 5 Sep 2026 18:13:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1788632021; bh=KCqaDesgobfwrXdi8oJmSTCLXSvSsXWRJXtNMUpVE9w=; h=From:Date:Subject:References:In-Reply-To:To:Cc:Reply-To:From; b=XzG5dgMOfi0ZlomRJqEH8DRxPYki25LCqi4zTBZEHZi2bh8noBIobt+edhUFo3FL4 E0413o2icPfeoDhcGq3JpNfneKdZDlxvfKDhG82/8p5F1St6Ewt38Cy0r7r8vf2/A3 gT/asVknwsVSt6bAPwVH/Sse+1hdN+5bYr8RI1nDfpyGwlElee3E/+/MceaL2ssd1/ x0ko1H6zxFNJPcGPh3m3N8HzpGBPI6nJrYW1KstRWhMk6W8fwhEhpoMQugFqc364tI QQlTAxSb0TMzTM3nYbZQVVhDUGEE6GLBPODVqs946PhYXDNuGaVJScF271eZi90wS/ i/8t5QeiBHVUQ== Received: from aws-us-west-2-korg-lkml-1.web.codeaurora.org (localhost.localdomain [127.0.0.1]) by smtp.lore.kernel.org (Postfix) with ESMTP id 7C611C79F91; Sat, 5 Sep 2026 18:13:41 +0000 (UTC) From: Jim Cromie via B4 Relay Date: Sat, 05 Sep 2026 12:13:43 -0600 Subject: [PATCH v8 29/43] dyndbg: detect class_id reservation conflicts Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Message-Id: <20260905-dd-cmap-part2-clean-v8-29-a4cc0674f6fd@gmail.com> References: <20260905-dd-cmap-part2-clean-v8-0-a4cc0674f6fd@gmail.com> In-Reply-To: <20260905-dd-cmap-part2-clean-v8-0-a4cc0674f6fd@gmail.com> To: Jason Baron , Shuah Khan , Maarten Lankhorst , Maxime Ripard , Thomas Zimmermann , David Airlie , Simona Vetter , Arnd Bergmann , Luis Chamberlain , Petr Pavlu , Daniel Gomez , Sami Tolvanen , Aaron Tomlin , Andrew Morton , Jonathan Corbet , Shuah Khan , Greg Kroah-Hartman , Nathan Chancellor , Nicolas Schier Cc: linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org, dri-devel@lists.freedesktop.org, linux-arch@vger.kernel.org, linux-modules@vger.kernel.org, linux-doc@vger.kernel.org, linux-kbuild@vger.kernel.org, Jim Cromie , Louis Chauvet X-Mailer: b4 0.14.3 X-Developer-Signature: v=1; a=ed25519-sha256; t=1788632017; l=5252; i=jim.cromie@gmail.com; s=20260203; h=from:subject:message-id; bh=+Fu19EtO6mFi5QrtesRyRT1gAQPhpFWR+F91tSJzJrc=; b=1Nj5SlcAyuHAXQ1Y+fH4dGsyk46MdGEpOzWvsea/rDXMLj/PoVA9+3qKoHYAKLLapqfguchlW 9uKmEWJ0mOMDud90YW2mRELwn7TI358E8u4to3mb7hjq3TyIrYmIFTt X-Developer-Key: i=jim.cromie@gmail.com; a=ed25519; pk=C6E5ODlPQo7ZBynATXH9wg7K6HxP0pIXyf4s38Qw0XE= X-Endpoint-Received: by B4 Relay for jim.cromie@gmail.com/20260203 with auth_id=958 X-Original-From: Jim Cromie Reply-To: jim.cromie@gmail.com From: Jim Cromie If a module _DEFINEs 2 or more classmaps, it must devise them to share the per-module 0..62 class-id space; ie their respective base,+length reservations cannot overlap. To detect conflicts at modprobe, add ddebug_class_range_overlap(), call it from ddebug_add_module(), and WARN and return -EINVAL when they're detected. This insures that class_id -> classname lookup has just 1 answer, so the 1st-found search in find-class-name works properly. test_dynamic_debug.c: If built with -DFORCE_CLASSID_CONFLICT, the test-modules invoke 2 conflicting DYNAMIC_DEBUG_CLASSMAP_DEFINE() declarations, into parent and the _submod. These conflict with one of the good ones in the parent (D2_CORE..etc), causing the modprobe(s) to WARN and fail. Signed-off-by: Jim Cromie Reviewed-by: Louis Chauvet --- v2: RvB after SoB old-v9 - fix WARN() by adding new 1st arg 1. old-v12 - drop maybe_unused on range-overlap fn --- lib/dynamic_debug.c | 40 ++++++++++++++++++++++++++++++++-------- lib/test_dynamic_debug.c | 8 ++++++++ 2 files changed, 40 insertions(+), 8 deletions(-) diff --git a/lib/dynamic_debug.c b/lib/dynamic_debug.c index ba618dcf9677..0f89b6784ab2 100644 --- a/lib/dynamic_debug.c +++ b/lib/dynamic_debug.c @@ -1101,18 +1101,19 @@ static void *ddebug_proc_next(struct seq_file *m, void *p, loff_t *pos) return dp; } -static bool ddebug_class_in_range(const int class_id, const struct ddebug_class_map *map) +static bool ddebug_class_map_in_range(const int class_id, const struct ddebug_class_map *map) { + if (!map) + return false; return (class_id >= map->base && class_id < map->base + map->length); } -static bool ddebug_user_class_in_range(const int class_id, const struct ddebug_class_user *cli) +static bool ddebug_class_user_in_range(const int class_id, const struct ddebug_class_user *user) { - if (!cli || !cli->map) + if (!user) return false; - int base = cli->map->base + cli->offset; - return (class_id >= base && class_id < base + cli->map->length); + return ddebug_class_map_in_range(class_id - user->offset, user->map); } static const char *ddebug_class_name(struct _ddebug_info *di, struct _ddebug *dp) @@ -1122,11 +1123,11 @@ static const char *ddebug_class_name(struct _ddebug_info *di, struct _ddebug *dp int i; for_subvec(i, map, di, maps) - if (ddebug_class_in_range(dp->class_id, map)) + if (ddebug_class_map_in_range(dp->class_id, map)) return map->class_names[dp->class_id - map->base]; for_subvec(i, cli, di, users) - if (ddebug_user_class_in_range(dp->class_id, cli)) + if (ddebug_class_user_in_range(dp->class_id, cli)) return cli->map->class_names[dp->class_id - cli->map->base - cli->offset]; return NULL; @@ -1369,6 +1370,20 @@ static void ddebug_apply_class_users(const struct _ddebug_info *di) __di->_vec.start = __start; \ }) +static int ddebug_class_range_overlap(struct ddebug_class_map *cm, u64 *reserved_ids) +{ + u64 range = (((1ULL << cm->length) - 1) << cm->base); + + if (range & *reserved_ids) { + pr_err("[%d..%d] on %s conflicts with %llx\n", cm->base, + cm->base + cm->length - 1, cm->class_names[0], + *reserved_ids); + return -EINVAL; + } + *reserved_ids |= range; + return 0; +} + /* * Allocate a new ddebug_table for the given module * and add it to the global list. @@ -1378,6 +1393,7 @@ static int ddebug_add_module(struct _ddebug_info *di) struct ddebug_table *dt; struct ddebug_class_map *cm; struct ddebug_class_user *cli; + u64 reserved_ids = 0; int i; if (!di->descs.len) @@ -1409,16 +1425,24 @@ static int ddebug_add_module(struct _ddebug_info *di) dd_set_module_subrange(i, cm, &dt->info, maps); dd_set_module_subrange(i, cli, &dt->info, users); + /* insure 2+ classmaps share the per-module 0..62 class_id space */ + for_subvec(i, cm, &dt->info, maps) + if (ddebug_class_range_overlap(cm, &reserved_ids)) + goto cleanup; + mutex_lock(&ddebug_lock); list_add_tail(&dt->link, &ddebug_tables); mutex_unlock(&ddebug_lock); - if (dt->info.users.len) ddebug_apply_class_users(&dt->info); vpr_info("%3u debug prints in module %s\n", dt->info.descs.len, dt->info.mod_name); return 0; +cleanup: + WARN_ONCE(1, "dyndbg multi-classmap conflict in %s\n", di->mod_name); + kfree(dt); + return -EINVAL; } /* helper for ddebug_dyndbg_(boot|module)_param_cb */ diff --git a/lib/test_dynamic_debug.c b/lib/test_dynamic_debug.c index 34e51996aa20..3a69cc3cae6d 100644 --- a/lib/test_dynamic_debug.c +++ b/lib/test_dynamic_debug.c @@ -128,6 +128,14 @@ DYNAMIC_DEBUG_CLASSMAP_DEFINE(map_disjoint_bits, DD_CLASS_TYPE_DISJOINT_BITS, DYNAMIC_DEBUG_CLASSMAP_DEFINE(map_level_num, DD_CLASS_TYPE_LEVEL_NUM, V1, "V1", "V2", "V3", "V4", "V5", "V6", "V7"); +#ifdef FORCE_CLASSID_CONFLICT +/* + * Enable with -Dflag on compile to test overlapping class-id range + * detection. This should warn on modprobes. + */ +DYNAMIC_DEBUG_CLASSMAP_DEFINE(classid_range_conflict, 0, D2_CORE + 1, "D3_CORE"); +#endif + #else /* TEST_DYNAMIC_DEBUG_SUBMOD */ /* -- 2.55.0