Skip to content

Runtime verification (RV)

Maintained 250 threads 1,316 messages Latest

About Lists, Files, Maintainers
Lists
linux-trace-kernel
Files
Documentation/trace/rv/, include/linux/rv.h, include/rv/, kernel/trace/rv/, tools/testing/selftests/verification/, tools/verification/
Maintainers
Gabriele Monaco, Steven Rostedt
Show bot threadsBotsLatest activityActivityNewest threadsNewMost repliesRepliesMost participantsPeople
  1. Normalize opid IRQ state to a boolean PATCH 1 patch Karl Mehltretter linux-trace-kernel lkml kernel/trace/rv/monitors/opid/ (2) In review 1 reply
  2. runtime verification monitors for Dovetail RFC PATCH dovetail 7 patches Tobias Schaffner xenomai kernel/ (22), tools/ (3), Documentation/ (2), include/ (2) In review 1 reply
  3. Verify generic IRQ context transitions RFC PATCH v2 9 patches Karl Mehltretter linux-doc linux-rt-devel linux-trace-kernel +1 kernel/ (21), include/ (4), Documentation/ (2), tools/ (2) New 0 replies
  4. Add task latency over budget RV monitor PATCH v8 14 patches [email protected] linux-trace-kernel lkml tools/ (22), kernel/ (14), include/ (3), Documentation/ (2) New 0 replies
  5. Expose and preserve nested monitor states PATCH 6 patches Wei Li linux-doc linux-trace-kernel kernel/ (3), tools/ (2), Documentation/, include/ New 0 replies
  6. Add task latency over budget RV monitor PATCH v7 14 patches [email protected] linux-trace-kernel lkml llvm +1 tools/ (20), kernel/ (13), include/ (3), Documentation/ (2) Superseded 11 replies
  7. Verify generic IRQ context transitions RFC PATCH 9 patches Karl Mehltretter linux-doc linux-rt-devel linux-trace-kernel +1 kernel/ (21), include/ (4), Documentation/ (2), tools/ (2) Superseded 3 replies
  8. Changes for v7.4 GIT PULL Steven Rostedt lkml kernel/trace/rv/ (6), kernel/trace/rv/monitors/wakeup/ Merged 0 replies
  9. Add support for BPF monitors PATCH v2 15 patches Gabriele Monaco bpf linux-trace-kernel lkml tools/ (37), include/ (3), kernel/ (2) In review 65 replies
  10. per-edge dwell-time statistics for per-cpu monitors PATCH v3 4 patches Tobias Schaffner linux-doc linux-kselftest linux-trace-kernel +1 include/ (4), kernel/ (2), tools/ (2), Documentation/ New 0 replies
  11. verification/rvgen: reject ambiguous state/event transitions PATCH v2 1 patch [email protected] linux-trace-kernel lkml tools/verification/rvgen/rvgen/, tools/verification/rvgen/tests/, tools/verification/rvgen/tests/specs/ In review 3 replies
  12. per-edge dwell-time statistics for per-cpu monitors PATCH v2 3 patches Tobias Schaffner linux-doc linux-kselftest linux-trace-kernel +1 include/ (4), tools/ (2), Documentation/, kernel/ Superseded 11 replies
  13. verification/rvgen: reject ambiguous state/event transitions PATCH 1 patch [email protected] linux-trace-kernel lkml tools/verification/rvgen/tests/specs/ (2), tools/verification/rvgen/rvgen/, tools/verification/rvgen/tests/ Superseded 1 reply
  14. rv/rtapp/wakeup: Use "rv_this" the rv_monitor variable PATCH 1 patch Nam Cao linux-trace-kernel lkml stable kernel/trace/rv/monitors/wakeup/wakeup.c In review 3 replies
  15. Add remaining deadline monitors PATCH 10 patches Gabriele Monaco linux-doc linux-kselftest linux-trace-kernel +1 kernel/ (25), tools/ (10), include/ (3), Documentation/ (2) New 0 replies
  16. rv/reactors: fix lockdep warning and add tests PATCH v6 4 patches [email protected] linux-trace-kernel lkml kernel/trace/rv/ (6) Applied 1 reply
  17. Add support for BPF monitors RFC PATCH 20 patches Gabriele Monaco bpf linux-trace-kernel lkml tools/ (34), kernel/ (8), include/ (4) Superseded 21 replies
  18. rv/reactors: fix lockdep warning and add tests PATCH v5 5 patches [email protected] linux-trace-kernel lkml kernel/ (7), tools/ (5), include/ Superseded 3 replies
  19. per-edge dwell-time statistics for per-cpu monitors RFC 3 patches Tobias Schaffner linux-doc linux-kselftest linux-trace-kernel +1 include/ (3), kernel/ (2), tools/ (2), Documentation/, +1 Superseded 6 replies
  20. rv/reactors: fix lockdep warning and add KUnit tests PATCH v4 4 patches [email protected] linux-trace-kernel lkml kernel/trace/rv/ (6), Documentation/trace/rv/ Superseded 1 reply
  21. Add task latency over budget RV monitor PATCH v6 9 patches [email protected] linux-trace-kernel lkml tools/ (15), kernel/ (11), include/ (3), Documentation/ (2) Superseded 10 replies
  22. Fixes for 7.3 GIT PULL Steven Rostedt lkml tools/verification/rvgen/rvgen/, tools/verification/rvgen/tests/golden/test_bak_kunit/ Merged 2 replies
  23. rv/reactors: fix lockdep warning and add KUnit tests PATCH v3 4 patches [email protected] linux-trace-kernel lkml kernel/trace/rv/ (6) Superseded 10 replies
  24. verification/rvgen: Use .old instead of .bak for kunit backup files PATCH 1 patch Gabriele Monaco linux-trace-kernel lkml tools/verification/rvgen/rvgen/, tools/verification/rvgen/tests/golden/test_bak_kunit/ In review 2 replies
  25. Add selftests to tools and KUnit tests PATCH v5 17 patches Gabriele Monaco linux-kselftest linux-trace-kernel lkml tools/ (89), kernel/ (26), include/ (4) In review 7 replies
  26. rv/tlob: Add task latency over budget RV monitor PATCH v4 8 patches [email protected] linux-trace-kernel lkml tools/ (15), kernel/ (11), include/ (3), Documentation/ (2) Superseded 13 replies
  27. Add task latency over budget RV monitor PATCH v5 9 patches [email protected] linux-trace-kernel lkml tools/ (15), kernel/ (10), include/ (3), Documentation/ (2) Superseded 0 replies
  28. percpu: Drop CONFIG_DEBUG_FORCE_WEAK_PER_CPU PATCH 1 patch Tejun Heo linux-mm linux-trace-kernel lkml include/linux/, include/rv/, lib/ Applied 2 replies
  29. Add Hybrid Automata monitor type, per-object and deadline monitors PATCH v8 12 patches Gabriele Monaco linux-doc linux-trace-kernel lkml kernel/ (20), tools/ (10), Documentation/ (9), include/ (5) In review 1 reply
  30. rv/reactors: fix lockdep warning and add KUnit tests PATCH v2 4 patches [email protected] linux-trace-kernel lkml kernel/trace/rv/ (6) Superseded 7 replies
  31. tools: Use fputc() calls in some functions PATCH 1 patch Markus Elfring acpica-devel bpf kernel-janitors +17 tools/ (49) In review 4 replies
  32. Documentation/rv: Explain epoll and aborted sleeps RFC PATCH v2 1 patch Chao Liu linux-doc linux-trace-kernel lkml Documentation/trace/rv/monitor_rtapp.rst In review 2 replies
  33. Fix 32-bit build of nomiss KUnit test PATCH 1 patch Gabriele Monaco linux-trace-kernel lkml kernel/trace/rv/monitors/nomiss/nomiss_kunit.c In review 1 reply
  34. Documentation/rv: Explain epoll and aborted sleeps RFC PATCH 1 patch Chao Liu linux-doc linux-trace-kernel lkml Documentation/trace/rv/monitor_rtapp.rst Superseded 3 replies
  35. rtapp monitor update PATCH v2 4 patches Nam Cao linux-doc linux-trace-kernel lkml kernel/ (11), tools/ (2), Documentation/ In review 12 replies
  36. Add selftests to tools and KUnit tests PATCH v4 17 patches Gabriele Monaco linux-kselftest linux-trace-kernel lkml tools/ (89), kernel/ (26), include/ (4) Superseded 7 replies
  37. Convert rvgen to Lark PATCH v4 13 patches Nam Cao linux-trace-kernel lkml tools/ (5), kernel/ (2), include/ In review 4 replies
  38. rv/nomiss: fix task storage lifetime PATCH 2 patches Li Qiang linux-trace-kernel lkml kernel/trace/rv/monitors/deadline/, kernel/trace/rv/monitors/nomiss/ In review 1 reply
  39. LTL per-cpu monitor type and real-time scheduling monitor PATCH v3 5 patches Nam Cao linux-trace-kernel lkml kernel/ (10), tools/ (4), include/ (3), Documentation/ In review 5 replies
  40. Add selftests to tools and KUnit tests PATCH v3 17 patches Gabriele Monaco linux-kselftest linux-trace-kernel lkml tools/ (79), kernel/ (26), include/ (4) Superseded 35 replies
  41. Simplify task monitor slot management PATCH 1 patch liqiang linux-trace-kernel lkml kernel/trace/rv/rv.c Superseded 1 reply
  42. rv/reactors: fix lockdep warning and add KUnit tests PATCH 3 patches [email protected] linux-trace-kernel lkml kernel/trace/rv/ (5) Superseded 23 replies
  43. Fixes on Deterministic and Hybrid Automata PATCH v4 13 patches Gabriele Monaco linux-trace-kernel lkml stable kernel/ (4), include/ (3), tools/ (2) In review 4 replies
  44. rv/tlob: Add task latency over budget RV monitor PATCH v3 9 patches [email protected] linux-trace-kernel lkml tools/ (15), kernel/ (11), include/ (3), Documentation/ (2) Superseded 15 replies
  45. update rvgen monitor synthesis documentation path PATCH 1 patch Yu Chuanyu b4-sent linux-trace-kernel lkml tools/verification/rvgen/, tools/verification/rvgen/rvgen/ In review 1 reply
  46. Convert rvgen to Lark PATCH v3 13 patches Nam Cao linux-trace-kernel lkml tools/ (5), kernel/ (2), include/ Superseded 12 replies
  47. Convert rvgen to Lark PATCH v2 13 patches Nam Cao linux-trace-kernel lkml tools/ (5), kernel/ (2), include/ Superseded 9 replies
  48. tools/rv: Ensure monitor name and desc are NUL-terminated PATCH 1 patch Gabriele Monaco linux-trace-kernel lkml tools/verification/rv/src/in_kernel.c New 0 replies
  49. tools/rv: ensure monitor name and desc are NUL-terminated PATCH 1 patch unknownbbqrx linux-trace-kernel lkml tools/verification/rv/src/in_kernel.c In review 2 replies
  50. Fixes on Deterministic and Hybrid Automata PATCH v3 13 patches Gabriele Monaco linux-trace-kernel lkml stable kernel/ (4), include/ (3), tools/ (2) Superseded 15 replies
Page 1 of 5 –