Re: [RFC PATCH 00/12] rv: Add selftests to tools and KUnit tests

[Gabriele Monaco <gmonaco@redhat.com>]

Hi Wen,

thanks for the review!

On Tue, 2026-04-28 at 23:09 +0800, Wen Yang wrote:
> Hi Gabriele,
> 
> Good direction overall. The approach of calling event handlers
> directly inside KUnit is clean and avoids the complexity of setting
> up real tracepoints. Patches 1-4 (bug fixes) look correct.
> 
> We are planning to build the KUnit and selftest coverage for the tlob
> monitor on top of this infrastructure, so getting this merged would
> be useful for us as well.

Great, for the time being, feel free to either base your work on this
series or only focus on the test cases, whichever is more comfortable
for you.

The RV kernel-side selftests are already upstream so that won't be a
blocker anyway.

> - One issue found in the KUnit patches:
> 
>    patch 10: nomiss test
>    kernel/trace/rv/monitors/nomiss/nomiss.c:
>      udelay(10 / 1000);
> 
>    The compiler folds it silently as udelay(0).
>    Presumably intended as udelay(10)?
> 

Yes, that was quite a dumb oversight..

> - minor: copyright year range
>    rv_monitors_test.c: Copyright (C) 2025-2028
>    kunit_stubs.h:      Copyright (C) 2026-2029
> 
>    Kernel copyright entries conventionally use only the year(s) the
> work
> was actually created，eg:
> https://lkml.indiana.edu/2510.0/01897.html
> 

Right, I didn't notice that! Will update for the next submission.

> 
> Reviewed-by: Wen Yang <wen.yang@linux.dev>
> 

Thanks,
Gabriele

> --
> Best wishes,
> Wen
> 
> 
> > To: linux-trace-kernel@vger.kernel.org
> > To: linux-kernel@vger.kernel.org
> > Cc: Steven Rostedt <rostedt@goodmis.org>
> > Cc: Nam Cao <namcao@linutronix.de>
> > Cc: Thomas Weissschuh <thomas.weissschuh@linutronix.de>
> > Cc: Tomas Glozar <tglozar@redhat.com>
> > Cc: John Kacur <jkacur@redhat.com>
> > Cc: Wen Yang <wen.yang@linux.dev>
> > 
> > Gabriele Monaco (12):
> >    tools/rv: Fix substring match bug in monitor name search
> >    tools/rv: Fix substring match when listing container monitors
> >    tools/rv: Fix exit status when monitor execution fails
> >    tools/rv: Fix cleanup after failed trace setup
> >    tools/rv: Add selftests
> >    verification/rvgen: Fix options shared among commands
> >    verification/rvgen: Add golden and spec folders for tests
> >    verification/rvgen: Add selftests
> >    rv: Add KUnit stub to rv_react() and rv_*_task_monitor_slot()
> >    rv: Add KUnit tests for some DA/HA monitors
> >    rv: Add KUnit stubs for current and smp_processor_id()
> >    rv: Add KUnit tests for some LTL monitors
> > 
> >   include/rv/da_monitor.h                       |  32 +++
> >   include/rv/kunit_stubs.h                      |  17 ++
> >   include/rv/ltl_monitor.h                      |  32 +++
> >   kernel/trace/rv/Kconfig                       |  14 +
> >   kernel/trace/rv/Makefile                      |   3 +
> >   kernel/trace/rv/monitors/nomiss/nomiss.c      |  30 +++
> >   kernel/trace/rv/monitors/opid/opid.c          |  27 ++
> >   .../trace/rv/monitors/pagefault/pagefault.c   |  26 +-
> >   kernel/trace/rv/monitors/sco/sco.c            |  23 ++
> >   kernel/trace/rv/monitors/sleep/sleep.c        |  64 ++++-
> >   kernel/trace/rv/monitors/sssw/sssw.c          |  27 ++
> >   kernel/trace/rv/monitors/sts/sts.c            |  35 +++
> >   kernel/trace/rv/rv.c                          |   5 +
> >   kernel/trace/rv/rv_monitors_test.c            |  99 +++++++
> >   kernel/trace/rv/rv_monitors_test.h            |  90 +++++++
> >   kernel/trace/rv/rv_reactors.c                 |   3 +
> >   tools/verification/rv/Makefile                |   5 +-
> >   tools/verification/rv/src/in_kernel.c         |  58 ++--
> >   tools/verification/rv/src/rv.c                |   2 +-
> >   tools/verification/rv/tests/rv_list.t         |  48 ++++
> >   tools/verification/rv/tests/rv_mon.t          |  95 +++++++
> >   tools/verification/rvgen/Makefile             |   4 +
> >   tools/verification/rvgen/__main__.py          |  10 +-
> >   .../rvgen/tests/golden/da_global/Kconfig      |   9 +
> >   .../rvgen/tests/golden/da_global/da_global.c  |  95 +++++++
> >   .../rvgen/tests/golden/da_global/da_global.h  |  47 ++++
> >   .../tests/golden/da_global/da_global_trace.h  |  15 ++
> >   .../tests/golden/da_perobj_parent/Kconfig     |  11 +
> >   .../da_perobj_parent/da_perobj_parent.c       | 110 ++++++++
> >   .../da_perobj_parent/da_perobj_parent.h       |  64 +++++
> >   .../da_perobj_parent/da_perobj_parent_trace.h |  15 ++
> >   .../tests/golden/da_pertask_desc/Kconfig      |   9 +
> >   .../golden/da_pertask_desc/da_pertask_desc.c  | 105 ++++++++
> >   .../golden/da_pertask_desc/da_pertask_desc.h  |  64 +++++
> >   .../da_pertask_desc/da_pertask_desc_trace.h   |  15 ++
> >   .../rvgen/tests/golden/ha_percpu/Kconfig      |   9 +
> >   .../rvgen/tests/golden/ha_percpu/ha_percpu.c  | 244
> > +++++++++++++++++
> >   .../rvgen/tests/golden/ha_percpu/ha_percpu.h  |  72 +++++
> >   .../tests/golden/ha_percpu/ha_percpu_trace.h  |  19 ++
> >   .../rvgen/tests/golden/ltl_pertask/Kconfig    |   9 +
> >   .../tests/golden/ltl_pertask/ltl_pertask.c    | 107 ++++++++
> >   .../tests/golden/ltl_pertask/ltl_pertask.h    | 108 ++++++++
> >   .../golden/ltl_pertask/ltl_pertask_trace.h    |  14 +
> >   .../rvgen/tests/golden/test_container/Kconfig |   5 +
> >   .../golden/test_container/test_container.c    |  35 +++
> >   .../golden/test_container/test_container.h    |   3 +
> >   .../rvgen/tests/golden/test_da/Kconfig        |   9 +
> >   .../rvgen/tests/golden/test_da/test_da.c      |  95 +++++++
> >   .../rvgen/tests/golden/test_da/test_da.h      |  47 ++++
> >   .../tests/golden/test_da/test_da_trace.h      |  15 ++
> >   .../rvgen/tests/golden/test_ha/Kconfig        |   9 +
> >   .../rvgen/tests/golden/test_ha/test_ha.c      | 247
> > ++++++++++++++++++
> >   .../rvgen/tests/golden/test_ha/test_ha.h      |  72 +++++
> >   .../tests/golden/test_ha/test_ha_trace.h      |  19 ++
> >   .../rvgen/tests/golden/test_ltl/Kconfig       |  11 +
> >   .../rvgen/tests/golden/test_ltl/test_ltl.c    | 108 ++++++++
> >   .../rvgen/tests/golden/test_ltl/test_ltl.h    | 108 ++++++++
> >   .../tests/golden/test_ltl/test_ltl_trace.h    |  14 +
> >   .../rvgen/tests/rvgen_container.t             |  20 ++
> >   .../verification/rvgen/tests/rvgen_monitor.t  |  87 ++++++
> >   .../rvgen/tests/specs/test_da.dot             |  16 ++
> >   .../rvgen/tests/specs/test_da2.dot            |  18 ++
> >   .../rvgen/tests/specs/test_ha.dot             |  27 ++
> >   .../rvgen/tests/specs/test_invalid.dot        |   8 +
> >   .../rvgen/tests/specs/test_invalid.ltl        |   1 +
> >   .../rvgen/tests/specs/test_invalid_ha.dot     |  16 ++
> >   .../rvgen/tests/specs/test_ltl.ltl            |   1 +
> >   tools/verification/tests/engine.sh            | 156 +++++++++++
> >   68 files changed, 2993 insertions(+), 44 deletions(-)
> >   create mode 100644 include/rv/kunit_stubs.h
> >   create mode 100644 kernel/trace/rv/rv_monitors_test.c
> >   create mode 100644 kernel/trace/rv/rv_monitors_test.h
> >   create mode 100644 tools/verification/rv/tests/rv_list.t
> >   create mode 100644 tools/verification/rv/tests/rv_mon.t
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_global/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_global/da_global.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_global/da_global.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_global/da_global_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_perobj_parent/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_pa
> > rent.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_pa
> > rent.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_pa
> > rent_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_pertask_desc/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_de
> > sc.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_de
> > sc.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_de
> > sc_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ha_percpu/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ltl_pertask/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask_trace
> > .h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_container/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_container/test_container
> > .c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_container/test_container
> > .h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_da/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_da/test_da.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_da/test_da.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_da/test_da_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ha/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ha/test_ha.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ha/test_ha.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ha/test_ha_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ltl/Kconfig
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h
> >   create mode 100644
> > tools/verification/rvgen/tests/golden/test_ltl/test_ltl_trace.h
> >   create mode 100644
> > tools/verification/rvgen/tests/rvgen_container.t
> >   create mode 100644 tools/verification/rvgen/tests/rvgen_monitor.t
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_da.dot
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_da2.dot
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_ha.dot
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_invalid.dot
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_invalid.ltl
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_invalid_ha.dot
> >   create mode 100644
> > tools/verification/rvgen/tests/specs/test_ltl.ltl
> >   create mode 100644 tools/verification/tests/engine.sh
> > 
> > 
> > base-commit: 254f49634ee16a731174d2ae34bc50bd5f45e731