cb85c660 - rv: Add option for nested monitors and include sched

Wed, 05 Mar 2025 14:03:55 +0000

rv: Add option for nested monitors and include schedMonitors describing complex systems, such as the scheduler, can easilygrow to the point where they are just hard to understand because of themany possible state transitions.Often it is possible to break such descriptions into smaller monitors,sharing some or all events. Enabling those smaller monitors concurrentlyis, in fact, testing the system as if we had one single larger monitor.Splitting models into multiple specification is not only easier tounderstand, but gives some more clues when we see errors.Add the possibility to create container monitors, whose only purpose isto host other nested monitors. Enabling a container monitor enables allnested ones, but it's still possible to enable nested monitorsindependently.Add the sched monitor as first container, for now empty.Cc: Ingo Molnar Cc: Peter Zijlstra Cc: Juri Lelli Link: https://lore.kernel.org/20250305140406.350227-3-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/kernel/trace/rv/monitors/sched/Kconfig

Changes in Kconfig

cb85c660 - rv: Add option for nested monitors and include sched