github-mirror/linux
1
0
Fork 0
mirror of https://github.com/torvalds/linux.git synced 2026-11-07 06:17:02 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity Graph

rv: Use generic rv_this for the rv_monitor variable in LTL

Browse Source 
Align the rv_monitor variable name in LTL to the generic rv_this as it
is already done for DA/HA monitors. This improves consistency and eases
assumptions across model classes.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260723074534.43521-2-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
This commit is contained in:
Gabriele Monaco 2026-07-23 09:45:18 +02:00
parent 6fdaab4e16
commit d9e4c61a12
4 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
include/rv/ltl_monitor.h
View File

@ -16,8 +16,7 @@
#error "Please include $(MODEL_NAME).h generated by rvgen" #error "Please include $(MODEL_NAME).h generated by rvgen"
#endif #endif
#define RV_MONITOR_NAME CONCATENATE(rv_, MONITOR_NAME) static struct rv_monitor rv_this;
static struct rv_monitor RV_MONITOR_NAME;
static int ltl_monitor_slot = RV_PER_TASK_MONITOR_INIT; static int ltl_monitor_slot = RV_PER_TASK_MONITOR_INIT;
@ -85,7 +84,7 @@ static void ltl_monitor_destroy(void)
static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon)
{ {
CONCATENATE(trace_error_, MONITOR_NAME)(task); CONCATENATE(trace_error_, MONITOR_NAME)(task);
rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n", rv_react(&rv_this, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n",
task->comm, task->pid); task->comm, task->pid);
} }

6
kernel/trace/rv/monitors/pagefault/pagefault.c
View File

@ -63,7 +63,7 @@ static void disable_pagefault(void)
ltl_monitor_destroy(); ltl_monitor_destroy();
} }
static struct rv_monitor rv_pagefault = { static struct rv_monitor rv_this = {
.name = "pagefault", .name = "pagefault",
.description = "Monitor that RT tasks do not raise page faults", .description = "Monitor that RT tasks do not raise page faults",
.enable = enable_pagefault, .enable = enable_pagefault,
@ -72,12 +72,12 @@ static struct rv_monitor rv_pagefault = {
static int __init register_pagefault(void) static int __init register_pagefault(void)
{ {
return rv_register_monitor(&rv_pagefault, &rv_rtapp); return rv_register_monitor(&rv_this, &rv_rtapp);
} }
static void __exit unregister_pagefault(void) static void __exit unregister_pagefault(void)
{ {
rv_unregister_monitor(&rv_pagefault); rv_unregister_monitor(&rv_this);
} }
module_init(register_pagefault); module_init(register_pagefault);

6
kernel/trace/rv/monitors/sleep/sleep.c
View File

@ -185,7 +185,7 @@ static void disable_sleep(void)
ltl_monitor_destroy(); ltl_monitor_destroy();
} }
static struct rv_monitor rv_sleep = { static struct rv_monitor rv_this = {
.name = "sleep", .name = "sleep",
.description = "Monitor that RT tasks do not undesirably sleep", .description = "Monitor that RT tasks do not undesirably sleep",
.enable = enable_sleep, .enable = enable_sleep,
@ -194,12 +194,12 @@ static struct rv_monitor rv_sleep = {
static int __init register_sleep(void) static int __init register_sleep(void)
{ {
return rv_register_monitor(&rv_sleep, &rv_rtapp); return rv_register_monitor(&rv_this, &rv_rtapp);
} }
static void __exit unregister_sleep(void) static void __exit unregister_sleep(void)
{ {
rv_unregister_monitor(&rv_sleep); rv_unregister_monitor(&rv_this);
} }
module_init(register_sleep); module_init(register_sleep);

6
tools/verification/rvgen/rvgen/templates/ltl2k/main.c
View File

@ -77,7 +77,7 @@ static void disable_%%MODEL_NAME%%(void)
/* /*
* This is the monitor register section. * This is the monitor register section.
*/ */
static struct rv_monitor rv_%%MODEL_NAME%% = { static struct rv_monitor rv_this = {
.name = "%%MODEL_NAME%%", .name = "%%MODEL_NAME%%",
.description = "%%DESCRIPTION%%", .description = "%%DESCRIPTION%%",
.enable = enable_%%MODEL_NAME%%, .enable = enable_%%MODEL_NAME%%,
@ -86,12 +86,12 @@ static struct rv_monitor rv_%%MODEL_NAME%% = {
static int __init register_%%MODEL_NAME%%(void) static int __init register_%%MODEL_NAME%%(void)
{ {
return rv_register_monitor(&rv_%%MODEL_NAME%%, %%PARENT%%); return rv_register_monitor(&rv_this, %%PARENT%%);
} }
static void __exit unregister_%%MODEL_NAME%%(void) static void __exit unregister_%%MODEL_NAME%%(void)
{ {
rv_unregister_monitor(&rv_%%MODEL_NAME%%); rv_unregister_monitor(&rv_this);
} }
module_init(register_%%MODEL_NAME%%); module_init(register_%%MODEL_NAME%%);