From nobody Sun Oct 5 03:41:03 2025 Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) (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 A23E22DBF73; Mon, 11 Aug 2025 08:41:01 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=193.142.43.55 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1754901663; cv=none; b=aubzK6ke4KCL1agSiX9kvsEux7HH5ROP91UtrK7oWHGagnpNsIuTyAPP43ZVNONrXiMyZ8LFo920cuPspqgVZ1TWefgcWGpGU6XNFVuPSNr+Rf8pidKS4ZHci/HD+E2r7L3OAlcJRfIdvCGPfwS6/MYi1lXpcnZyE3fvzo3HZ6c= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1754901663; c=relaxed/simple; bh=3cgHXkt2+wvn9nm5uflyN+Y5IXr5ILwA4NGjMAsfYak=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=QvuPEbZfVR0J4AGRk+5vgmcbdORK4TUAClmzjoJaVfSVcJOso8pvu87kkaBcnRWKw3ZVA5lrchVrsLVzDuKBzkwlf2Lob7WeAe1uHWkOftgs1HQ0Fjdaz02CFeO3WZ3Q8H5mbK09qKy+j7+uMuz/yQ3KIPNUzO1xAyxJmDX7ZdM= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linutronix.de; spf=pass smtp.mailfrom=linutronix.de; dkim=pass (2048-bit key) header.d=linutronix.de header.i=@linutronix.de header.b=qWMgEACz; dkim=permerror (0-bit key) header.d=linutronix.de header.i=@linutronix.de header.b=Y4z2pMfb; arc=none smtp.client-ip=193.142.43.55 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linutronix.de Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linutronix.de Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=linutronix.de header.i=@linutronix.de header.b="qWMgEACz"; dkim=permerror (0-bit key) header.d=linutronix.de header.i=@linutronix.de header.b="Y4z2pMfb" From: Nam Cao DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020; t=1754901660; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=RpoGBjZAqSKvw2d7xmGbPfOry9HApa42BH6CDkVJSNk=; b=qWMgEACztBujkFsgCezh3kJYdDcYZqmiGgyUa37CB5T6Ras1xe1amLExddsvkA+dwt4ZkE DucZIm3OhNHft1KxR6/eQaqQf+7uLGDpiEiLlbiyBt3m2jx9wSyxjYKn3DFtt6ao0ObaTM XOfNPl1v6Hp3nurySkd5kPwzzqZytsOFqJnUE9KEZMqYl6g9+7Vm7Xs0m8bBUBZ99BD4/G ROGXa1jD6maTQnPG3ylCi663Ya61U3SfCYDRRc388JhPksFlE7NxkNaqgqlOKEWjzR+9VE cK3QJmcHw/DzDPRgcpASXfNMFyY2zJBXETY8OC8OallKLzClg7aKuQJe4Nt+KA== DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020e; t=1754901660; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=RpoGBjZAqSKvw2d7xmGbPfOry9HApa42BH6CDkVJSNk=; b=Y4z2pMfbMpqI/vL8rBiBR0ZOZSkvSGZ+q3OPUTICCwZuMvFT+tvir77x3AWaNqBAPY9Lcy dqVIYUPVCEwNQmDw== To: Steven Rostedt , Masami Hiramatsu , Mathieu Desnoyers , Gabriele Monaco , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Cc: Nam Cao Subject: [PATCH v3 2/5] rv/ltl: Support per-cpu monitors Date: Mon, 11 Aug 2025 10:40:50 +0200 Message-Id: <9a1b5a8c449fcb4f1a671016389c1e4fca49a351.1754900299.git.namcao@linutronix.de> In-Reply-To: References: 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" Add support for per-cpu run-time verification linear temporal logic monitors. This is analogous to deterministic automaton per-cpu monitors. Reviewed-by: Gabriele Monaco Signed-off-by: Nam Cao --- v3: fixup build issue on sh4 v2: Rename "implicit" to "cpu" --- include/rv/ltl_monitor.h | 32 ++++++++++++++++++++++++++ kernel/trace/rv/Kconfig | 4 ++++ kernel/trace/rv/rv_trace.h | 46 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 82 insertions(+) diff --git a/include/rv/ltl_monitor.h b/include/rv/ltl_monitor.h index 9dabc5b133a3..5c0197a59db0 100644 --- a/include/rv/ltl_monitor.h +++ b/include/rv/ltl_monitor.h @@ -23,12 +23,21 @@ =20 typedef struct task_struct *monitor_target; =20 +#elif LTL_MONITOR_TYPE =3D=3D RV_MON_PER_CPU + +#define TARGET_PRINT_FORMAT "%u" +#define TARGET_PRINT_ARGS(cpu) cpu + +typedef unsigned int monitor_target; + #endif =20 #ifdef CONFIG_RV_REACTORS #define RV_MONITOR_NAME CONCATENATE(rv_, MONITOR_NAME) static struct rv_monitor RV_MONITOR_NAME; =20 +static struct ltl_monitor *ltl_get_monitor(monitor_target target); + static void rv_cond_react(monitor_target target) { if (!rv_reacting_on() || !RV_MONITOR_NAME.react) @@ -54,6 +63,13 @@ static struct ltl_monitor *ltl_get_monitor(monitor_targe= t target) { return &target->rv[ltl_monitor_slot].ltl_mon; } +#elif LTL_MONITOR_TYPE =3D=3D RV_MON_PER_CPU +static DEFINE_PER_CPU(struct ltl_monitor, ltl_monitor); + +static struct ltl_monitor *ltl_get_monitor(unsigned int cpu) +{ + return per_cpu_ptr(<l_monitor, cpu); +} #endif =20 static void ltl_target_init(monitor_target target, bool target_creation) @@ -108,6 +124,22 @@ static void ltl_monitor_destroy(void) rv_put_task_monitor_slot(ltl_monitor_slot); ltl_monitor_slot =3D RV_PER_TASK_MONITOR_INIT; } + +#elif LTL_MONITOR_TYPE =3D=3D RV_MON_PER_CPU + +static int ltl_monitor_init(void) +{ + unsigned int cpu; + + for_each_possible_cpu(cpu) + ltl_target_init(cpu, false); + return 0; +} + +static void ltl_monitor_destroy(void) +{ +} + #endif =20 static void ltl_illegal_state(monitor_target target, struct ltl_monitor *m= on) diff --git a/kernel/trace/rv/Kconfig b/kernel/trace/rv/Kconfig index 5b4be87ba59d..7ef89006ed50 100644 --- a/kernel/trace/rv/Kconfig +++ b/kernel/trace/rv/Kconfig @@ -16,6 +16,10 @@ config DA_MON_EVENTS_ID select RV_MON_MAINTENANCE_EVENTS bool =20 +config LTL_MON_EVENTS_CPU + select RV_MON_EVENTS + bool + config LTL_MON_EVENTS_ID select RV_MON_EVENTS bool diff --git a/kernel/trace/rv/rv_trace.h b/kernel/trace/rv/rv_trace.h index 4a6faddac614..bf7cca6579ec 100644 --- a/kernel/trace/rv/rv_trace.h +++ b/kernel/trace/rv/rv_trace.h @@ -177,8 +177,54 @@ DECLARE_EVENT_CLASS(error_ltl_monitor_id, #include #include // Add new monitors based on CONFIG_LTL_MON_EVENTS_ID here + #endif /* CONFIG_LTL_MON_EVENTS_ID */ =20 +#ifdef CONFIG_LTL_MON_EVENTS_CPU +DECLARE_EVENT_CLASS(event_ltl_monitor_cpu, + + TP_PROTO(unsigned int cpu, char *states, char *atoms, char *next), + + TP_ARGS(cpu, states, atoms, next), + + TP_STRUCT__entry( + __field(unsigned int, cpu) + __string(states, states) + __string(atoms, atoms) + __string(next, next) + ), + + TP_fast_assign( + __entry->cpu =3D cpu; + __assign_str(states); + __assign_str(atoms); + __assign_str(next); + ), + + TP_printk("cpu%u: (%s) x (%s) -> (%s)", __entry->cpu, + __get_str(states), __get_str(atoms), __get_str(next)) +); + +DECLARE_EVENT_CLASS(error_ltl_monitor_cpu, + + TP_PROTO(unsigned int cpu), + + TP_ARGS(cpu), + + TP_STRUCT__entry( + __field(unsigned int, cpu) + ), + + TP_fast_assign( + __entry->cpu =3D cpu; + ), + + TP_printk("cpu%u: violation detected", __entry->cpu) +); +// Add new monitors based on CONFIG_LTL_MON_EVENTS_CPU here + +#endif /* CONFIG_LTL_MON_EVENTS_CPU */ + #ifdef CONFIG_RV_MON_MAINTENANCE_EVENTS /* Tracepoint useful for monitors development, currenly only used in DA */ TRACE_EVENT(rv_retries_error, --=20 2.39.5