--- v4
+++ v3
@@ -30,24 +30,9 @@
preliminary patches present in V2 [2] and already reviewed. As such this
series is simplified and includes only relevant new changes.
-These models were found stable during testing if 63be0c9e5489
-("sched/deadline: Fix server stopping with runnable tasks") is applied.
-
The entire series can also be found on:
git.kernel.org/pub/scm/linux/kernel/git/gmonaco/linux.git rv_hybrid_automata
-
-Changes since V3:
-* Improve ns to jiffy rounding in HA timers
-* Use da_handle_start_run_event not to lose the first event in opid
-* Sort self_loop_reset_events in rvgen to avoid unpredictable order
-* Add enqueue/dequeue tracepoints (Nam Cao)
-* Rename handle_syscall as it collides with some UM function
-* Simplify idle handling on nomiss and throttle from sleeping
-* Improve switch_out for servers in throttle
-* Rely on enqueue/dequeue tracepoints instead of syscalls
-* Improve timing conditions in laxity and handle resume action
-* Remove fragile Stopping state from boost
Changes since V2 [2]:
* Adapt models to new dl server behaviour
@@ -84,13 +69,13 @@
To: Steven Rostedt <rostedt@goodmis.org>
To: Nam Cao <namcao@linutronix.de>
-To: Juri Lelli <jlelli@redhat.com>
Cc: Tomas Glozar <tglozar@redhat.com>
+Cc: Juri Lelli <jlelli@redhat.com>
Cc: Clark Williams <williams@redhat.com>
Cc: John Kacur <jkacur@redhat.com>
Cc: linux-trace-kernel@vger.kernel.org
-Gabriele Monaco (14):
+Gabriele Monaco (13):
rv: Unify DA event handling functions across monitor types
rv: Add Hybrid Automata monitor type
verification/rvgen: Allow spaces in and events strings
@@ -102,46 +87,40 @@
sched: Add deadline tracepoints
rv: Add support for per-object monitors in DA/HA
verification/rvgen: Add support for per-obj monitors
- sched/deadline: Move some utility functions to deadline.h
rv: Add deadline monitors
rv: Add dl_server specific monitors
-
-Nam Cao (1):
- sched: Add task enqueue/dequeue trace points
Documentation/tools/rv/index.rst | 1 +
Documentation/tools/rv/rv-mon-stall.rst | 44 ++
.../trace/rv/deterministic_automata.rst | 2 +-
Documentation/trace/rv/hybrid_automata.rst | 341 +++++++++
Documentation/trace/rv/index.rst | 3 +
- Documentation/trace/rv/monitor_deadline.rst | 270 ++++++++
+ Documentation/trace/rv/monitor_deadline.rst | 266 +++++++
Documentation/trace/rv/monitor_sched.rst | 62 +-
Documentation/trace/rv/monitor_stall.rst | 43 ++
Documentation/trace/rv/monitor_synthesis.rst | 117 +++-
include/linux/rv.h | 39 ++
- include/linux/sched/deadline.h | 51 ++
include/rv/da_monitor.h | 654 +++++++++++++-----
include/rv/ha_monitor.h | 479 +++++++++++++
- include/trace/events/sched.h | 29 +
- kernel/sched/core.c | 16 +-
- kernel/sched/deadline.c | 57 +-
- kernel/sched/sched.h | 2 +
+ include/trace/events/sched.h | 16 +
+ kernel/sched/core.c | 7 +
+ kernel/sched/deadline.c | 7 +
kernel/trace/rv/Kconfig | 21 +
kernel/trace/rv/Makefile | 6 +
kernel/trace/rv/monitors/boost/Kconfig | 15 +
- kernel/trace/rv/monitors/boost/boost.c | 232 +++++++
- kernel/trace/rv/monitors/boost/boost.h | 146 ++++
+ kernel/trace/rv/monitors/boost/boost.c | 279 ++++++++
+ kernel/trace/rv/monitors/boost/boost.h | 159 +++++
kernel/trace/rv/monitors/boost/boost_trace.h | 19 +
kernel/trace/rv/monitors/deadline/Kconfig | 10 +
kernel/trace/rv/monitors/deadline/deadline.c | 35 +
- kernel/trace/rv/monitors/deadline/deadline.h | 168 +++++
+ kernel/trace/rv/monitors/deadline/deadline.h | 203 ++++++
kernel/trace/rv/monitors/laxity/Kconfig | 14 +
- kernel/trace/rv/monitors/laxity/laxity.c | 248 +++++++
- kernel/trace/rv/monitors/laxity/laxity.h | 133 ++++
+ kernel/trace/rv/monitors/laxity/laxity.c | 226 ++++++
+ kernel/trace/rv/monitors/laxity/laxity.h | 126 ++++
.../trace/rv/monitors/laxity/laxity_trace.h | 19 +
kernel/trace/rv/monitors/nomiss/Kconfig | 15 +
- kernel/trace/rv/monitors/nomiss/nomiss.c | 279 ++++++++
- kernel/trace/rv/monitors/nomiss/nomiss.h | 130 ++++
+ kernel/trace/rv/monitors/nomiss/nomiss.c | 289 ++++++++
+ kernel/trace/rv/monitors/nomiss/nomiss.h | 137 ++++
.../trace/rv/monitors/nomiss/nomiss_trace.h | 19 +
kernel/trace/rv/monitors/opid/Kconfig | 11 +-
kernel/trace/rv/monitors/opid/opid.c | 111 +--
@@ -152,24 +131,24 @@
kernel/trace/rv/monitors/stall/stall.h | 81 +++
kernel/trace/rv/monitors/stall/stall_trace.h | 19 +
kernel/trace/rv/monitors/throttle/Kconfig | 15 +
- kernel/trace/rv/monitors/throttle/throttle.c | 250 +++++++
+ kernel/trace/rv/monitors/throttle/throttle.c | 248 +++++++
kernel/trace/rv/monitors/throttle/throttle.h | 116 ++++
.../rv/monitors/throttle/throttle_trace.h | 19 +
kernel/trace/rv/rv_trace.h | 70 +-
- tools/verification/models/deadline/boost.dot | 48 ++
- tools/verification/models/deadline/laxity.dot | 37 +
- tools/verification/models/deadline/nomiss.dot | 41 ++
+ tools/verification/models/deadline/boost.dot | 51 ++
+ tools/verification/models/deadline/laxity.dot | 34 +
+ tools/verification/models/deadline/nomiss.dot | 43 ++
.../verification/models/deadline/throttle.dot | 44 ++
tools/verification/models/sched/opid.dot | 36 +-
tools/verification/models/stall.dot | 22 +
tools/verification/rvgen/__main__.py | 8 +-
- tools/verification/rvgen/rvgen/automata.py | 151 +++-
+ tools/verification/rvgen/rvgen/automata.py | 150 +++-
tools/verification/rvgen/rvgen/dot2c.py | 49 ++
tools/verification/rvgen/rvgen/dot2k.py | 488 ++++++++++++-
tools/verification/rvgen/rvgen/generator.py | 4 +-
.../rvgen/rvgen/templates/dot2k/main.c | 2 +-
.../rvgen/templates/dot2k/trace_hybrid.h | 16 +
- 60 files changed, 5135 insertions(+), 475 deletions(-)
+ 58 files changed, 5138 insertions(+), 425 deletions(-)
create mode 100644 Documentation/tools/rv/rv-mon-stall.rst
create mode 100644 Documentation/trace/rv/hybrid_automata.rst
create mode 100644 Documentation/trace/rv/monitor_deadline.rst
@@ -206,7 +185,7 @@
create mode 100644 tools/verification/rvgen/rvgen/templates/dot2k/trace_hybrid.h
-base-commit: 6866e87e57af763eb9edd14afb9f78367e3c2c4e
+base-commit: ce91eea7c90fe4ec76c071f6d3cc14e1ce049b30
--
2.52.0