linux-toradex.git/kernel/trace/rv/Makefile, branch v6.15

rv: Add scpd, snep and sncid per-cpu monitors

2025-03-24T21:27:39+00:00

Add 3 per-cpu monitors as part of the sched model:

* scpd: schedule called with preemption disabled
    Monitor to ensure schedule is called with preemption disabled
* snep: schedule does not enable preempt
    Monitor to ensure schedule does not enable preempt
* sncid: schedule not called with interrupt disabled
    Monitor to ensure schedule is not called with interrupt disabled

To: Ingo Molnar 
To: Peter Zijlstra 
Cc: Juri Lelli 
Cc: Ingo Molnar 
Cc: Peter Zijlstra 
Cc: John Kacur 
Cc: Clark Williams 
Link: https://lore.kernel.org/20250305140406.350227-6-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

rv: Add snroc per-task monitor

2025-03-24T21:27:39+00:00

Add a per-task monitor as part of the sched model:

* snroc: set non runnable on its own context
    Monitor to ensure set_state happens only in the respective task's context

To: Ingo Molnar 
To: Peter Zijlstra 
Cc: Juri Lelli 
Cc: Ingo Molnar 
Cc: Peter Zijlstra 
Cc: John Kacur 
Cc: Clark Williams 
Link: https://lore.kernel.org/20250305140406.350227-5-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

rv: Add sco and tss per-cpu monitors

2025-03-24T21:27:39+00:00

Add 2 per-cpu monitors as part of the sched model:

* sco: scheduling context operations
    Monitor to ensure sched_set_state happens only in thread context
* tss: task switch while scheduling
    Monitor to ensure sched_switch happens only in scheduling context

To: Ingo Molnar 
To: Peter Zijlstra 
Cc: Juri Lelli 
Cc: Ingo Molnar 
Cc: Peter Zijlstra 
Cc: John Kacur 
Cc: Clark Williams 
Link: https://lore.kernel.org/20250305140406.350227-4-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

rv: Add option for nested monitors and include sched

2025-03-24T21:27:39+00:00

Monitors describing complex systems, such as the scheduler, can easily
grow to the point where they are just hard to understand because of the
many possible state transitions.
Often it is possible to break such descriptions into smaller monitors,
sharing some or all events. Enabling those smaller monitors concurrently
is, in fact, testing the system as if we had one single larger monitor.
Splitting models into multiple specification is not only easier to
understand, but gives some more clues when we see errors.

Add the possibility to create container monitors, whose only purpose is
to host other nested monitors. Enabling a container monitor enables all
nested ones, but it's still possible to enable nested monitors
independently.
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.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

verification/dot2k: Auto patch current kernel source

2024-12-27T19:39:35+00:00

dot2k suggests a list of changes to the kernel tree while adding a
monitor: edit tracepoints header, Makefile, Kconfig and moving the
monitor folder. Those changes can be easily run automatically.

Add a flag to dot2k to alter the kernel source.

The kernel source directory can be either assumed from the PWD, or from
the running kernel, if installed.
This feature works best if the kernel tree is a git repository, so that
its easier to make sure there are no unintended changes.

The main RV files (e.g. Makefile) have now a comment placeholder that
can be useful for manual editing (e.g. to know where to add new
monitors) and it is used by the script to append the required lines.

We also slightly adapt the file handling functions in dot2k: __open_file
is now called __read_file and also closes the file before returning the
content; __create_file is now a more general __write_file, we no longer
return on FileExistsError (not thrown while opening), a new
__create_file simply calls __write_file specifying the monitor folder in
the path.

Cc: Juri Lelli 
Cc: Thomas Gleixner 
Cc: John Kacur 
Link: https://lore.kernel.org/20241227144752.362911-8-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

rv: Simplify manual steps in monitor creation

2024-12-27T19:20:03+00:00

While creating a new monitor in RV, besides generating code from dot2k,
there are a few manual steps which can be tedious and error prone, like
adding the tracepoints, makefile lines and kconfig.

This patch restructures the existing monitors to keep some files in the
monitor's folder itself, which can be automatically generated by future
versions of dot2k.

Monitors have now their own Kconfig and tracepoint snippets. For
simplicity, the main tracepoint definition, is moved to the RV
directory, it defines only the tracepoint classes and includes the
monitor-specific tracepoints, which reside in the monitor directory.

Tracepoints and Kconfig no longer need to be copied and adapted from
existing ones but only need to be included in the main files.
The Makefile remains untouched since there's little advantage in having
a separated Makefile for each monitor with a single line and including
it in the main RV Makefile.

Cc: Juri Lelli 
Cc: Thomas Gleixner 
Cc: John Kacur 
Link: https://lore.kernel.org/20241227144752.362911-6-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco 
Signed-off-by: Steven Rostedt (Google)

rv/reactor: Add the panic reactor

2022-07-30T18:01:30+00:00

Sample reactor that panics the system when an exception is found. This
is useful both to capture a vmcore, or to fail-safe a critical system.

Link: https://lkml.kernel.org/r/729aae3aba95f35738b8f8180e626d747d1d9da2.1659052063.git.bristot@kernel.org

Cc: Wim Van Sebroeck 
Cc: Guenter Roeck 
Cc: Jonathan Corbet 
Cc: Ingo Molnar 
Cc: Thomas Gleixner 
Cc: Peter Zijlstra 
Cc: Will Deacon 
Cc: Catalin Marinas 
Cc: Marco Elver 
Cc: Dmitry Vyukov 
Cc: "Paul E. McKenney" 
Cc: Shuah Khan 
Cc: Gabriele Paoloni 
Cc: Juri Lelli 
Cc: Clark Williams 
Cc: Tao Zhou 
Cc: Randy Dunlap 
Cc: linux-doc@vger.kernel.org
Cc: linux-kernel@vger.kernel.org
Cc: linux-trace-devel@vger.kernel.org
Signed-off-by: Daniel Bristot de Oliveira 
Signed-off-by: Steven Rostedt (Google)

rv/reactor: Add the printk reactor

2022-07-30T18:01:30+00:00

A reactor that printks the reaction message.

Link: https://lkml.kernel.org/r/b65f18a7fd6dc6659a3008fd7b7392de3465d47b.1659052063.git.bristot@kernel.org

Cc: Wim Van Sebroeck 
Cc: Guenter Roeck 
Cc: Jonathan Corbet 
Cc: Ingo Molnar 
Cc: Thomas Gleixner 
Cc: Peter Zijlstra 
Cc: Will Deacon 
Cc: Catalin Marinas 
Cc: Marco Elver 
Cc: Dmitry Vyukov 
Cc: "Paul E. McKenney" 
Cc: Shuah Khan 
Cc: Gabriele Paoloni 
Cc: Juri Lelli 
Cc: Clark Williams 
Cc: Tao Zhou 
Cc: Randy Dunlap 
Cc: linux-doc@vger.kernel.org
Cc: linux-kernel@vger.kernel.org
Cc: linux-trace-devel@vger.kernel.org
Signed-off-by: Daniel Bristot de Oliveira 
Signed-off-by: Steven Rostedt (Google)

rv/monitor: Add the wwnr monitor

2022-07-30T18:01:30+00:00

Per task wakeup while not running (wwnr) monitor.

This model is broken, the reason is that a task can be running in the
processor without being set as RUNNABLE. Think about a task about to
sleep:

1:      set_current_state(TASK_UNINTERRUPTIBLE);
2:      schedule();

And then imagine an IRQ happening in between the lines one and two,
waking the task up. BOOM, the wakeup will happen while the task is
running.

Q: Why do we need this model, so?
A: To test the reactors.

Link: https://lkml.kernel.org/r/473c0fc39967250fdebcff8b620311c11dccad30.1659052063.git.bristot@kernel.org

Cc: Wim Van Sebroeck 
Cc: Guenter Roeck 
Cc: Jonathan Corbet 
Cc: Ingo Molnar 
Cc: Thomas Gleixner 
Cc: Peter Zijlstra 
Cc: Will Deacon 
Cc: Catalin Marinas 
Cc: Marco Elver 
Cc: Dmitry Vyukov 
Cc: "Paul E. McKenney" 
Cc: Shuah Khan 
Cc: Gabriele Paoloni 
Cc: Juri Lelli 
Cc: Clark Williams 
Cc: Tao Zhou 
Cc: Randy Dunlap 
Cc: linux-doc@vger.kernel.org
Cc: linux-kernel@vger.kernel.org
Cc: linux-trace-devel@vger.kernel.org
Signed-off-by: Daniel Bristot de Oliveira 
Signed-off-by: Steven Rostedt (Google)

rv/monitor: Add the wip monitor

2022-07-30T18:01:30+00:00

The wakeup in preemptive (wip) monitor verifies if the
wakeup events always take place with preemption disabled:

                     |
                     |
                     v
                   #==================#
                   H    preemptive    H <+
                   #==================#  |
                     |                   |
                     | preempt_disable   | preempt_enable
                     v                   |
    sched_waking   +------------------+  |
  +--------------- |                  |  |
  |                |  non_preemptive  |  |
  +--------------> |                  | -+
                   +------------------+

The wakeup event always takes place with preemption disabled because
of the scheduler synchronization. However, because the preempt_count
and its trace event are not atomic with regard to interrupts, some
inconsistencies might happen.

The documentation illustrates one of these cases.

Link: https://lkml.kernel.org/r/c98ca678df81115fddc04921b3c79720c836b18f.1659052063.git.bristot@kernel.org

Cc: Wim Van Sebroeck 
Cc: Guenter Roeck 
Cc: Jonathan Corbet 
Cc: Ingo Molnar 
Cc: Thomas Gleixner 
Cc: Peter Zijlstra 
Cc: Will Deacon 
Cc: Catalin Marinas 
Cc: Marco Elver 
Cc: Dmitry Vyukov 
Cc: "Paul E. McKenney" 
Cc: Shuah Khan 
Cc: Gabriele Paoloni 
Cc: Juri Lelli 
Cc: Clark Williams 
Cc: Tao Zhou 
Cc: Randy Dunlap 
Cc: linux-doc@vger.kernel.org
Cc: linux-kernel@vger.kernel.org
Cc: linux-trace-devel@vger.kernel.org
Signed-off-by: Daniel Bristot de Oliveira 
Signed-off-by: Steven Rostedt (Google)