Extend the rv userspace tool to load BPF monitors, those can be found in specific locations (e.g. /usr/share/rv/bpf_monitors/) and are plain object files including BTF data.
This type of BPF monitors can be generated from rvgen using the -b flag just like in-kernel monitors and, after manual adaptation, can be built and run transparently by the rv userspace tool. Only DA monitors are supported (as they are the only class the rv tool currenly supports) and the tool aims to work in the same way for both in-kernel and BPF monitors. The da_monitor header is adapted to be included directly in BPF programs and share as much logic as possible. BPF monitors are implemented using the struct_ops framework to integrate as much as possible with in-kernel monitor. After registering, they look like standard monitors in the tracefs, although to properly enable them we need to load handlers from userspace and this is done by the rv tool. BPF monitors cannot generate tracepoints so the rv -t for those monitors is reading events from a ringbuffer. Selftests (make -C tools/verification/rv check) are present to validate and demonstrate the usage, which boils down to: rv bpf register # load struct_ops and maps for all monitors rv list # unmodified, list BPF monitors transparently rv mon -t <mon> # run the monitor with tracing (ringbuffer) rv mon -r printk <mon> # run the monitor with a reactor rv bpf unregister # remove all BPF monitors Patch 1 adds tracepoints required in a later monitor example. Patch 2 improves the rv tool selftest reporting. Patches 3-9 prepare and add support for BPF monitors in the kernel. Patch 10 adds a feature check for tools/build Patch 11-14 prepare and add support for BPF monitors in the rv tool. Patch 15-17 prepare and include BPF monitors examples Patch 18 adds support for generating BPF monitors in rvgen Patch 19-20 adds BPF selftests (make check) for the rv and rvgen tools To: [email protected] To: [email protected] Cc: Steven Rostedt <[email protected]> Cc: Nam Cao <[email protected]> Cc: Wen Yang <[email protected]> Cc: Tobias Schaffner <[email protected]> Cc: Viktor Malik <[email protected]> Gabriele Monaco (19): tools/rv: Skip empty pid error in selftest if command failed rv: Refactor da_trace() functions to get strings internally rv: Use static arrays for rv_monitor name and description rv: Add in-kernel support for BPF monitors rv: Add rv_get_monitor_by_name() rv: Add reactors support to BPF monitors rv: Cast result of model_get_*_name() rv: Handle unregistered monitors safely in tracefs tools/build: Add a feature test for bpftool-btf tools/rv: Move argument parsing from in_kernel to utils tools/rv: Export functionality for in_kernel monitors tools/rv: Implement BPF monitor loading and tracing tools/rv: Implement BPF monitor registration logic tools/rv: Copy stripped bpf_atomic.h from libarena tools/rv: Add BPF monitors tools/rv: Define CONFIG_X86_64 statically for BPF monitors verification/rvgen: Add support for BPF monitors tools/rv: Add selftest for rv bpf verification/rvgen: Add selftest for rvgen -b Nam Cao (1): sched: Add task enqueue/dequeue trace points include/linux/rv.h | 9 +- include/rv/automata.h | 4 +- include/rv/da_monitor.h | 67 +- include/trace/events/sched.h | 8 + kernel/sched/core.c | 12 +- kernel/sched/sched.h | 2 + kernel/trace/rv/Kconfig | 10 + kernel/trace/rv/Makefile | 1 + kernel/trace/rv/rv.c | 68 +- kernel/trace/rv/rv.h | 5 +- kernel/trace/rv/rv_bpf.c | 174 +++ kernel/trace/rv/rv_reactors.c | 6 + tools/build/Makefile.feature | 1 + tools/build/feature/Makefile | 7 +- tools/verification/models/nohz.dot | 16 + tools/verification/models/tqueue.dot | 15 + tools/verification/rv/Makefile | 51 +- tools/verification/rv/Makefile.config | 49 + tools/verification/rv/Makefile.rv | 5 + tools/verification/rv/bpf_monitors/.gitignore | 2 + .../verification/rv/bpf_monitors/bpf_atomic.h | 105 ++ .../rv/bpf_monitors/da_monitor_bpf.h | 400 +++++++ tools/verification/rv/bpf_monitors/nohz.c | 47 + tools/verification/rv/bpf_monitors/nohz.h | 49 + tools/verification/rv/bpf_monitors/tqueue.c | 35 + tools/verification/rv/bpf_monitors/tqueue.h | 47 + tools/verification/rv/include/bpf_monitor.h | 21 + tools/verification/rv/include/in_kernel.h | 5 + tools/verification/rv/include/utils.h | 17 +- tools/verification/rv/src/Build | 5 + tools/verification/rv/src/bpf_monitor.c | 1025 +++++++++++++++++ tools/verification/rv/src/in_kernel.c | 205 ++-- tools/verification/rv/src/rv.c | 10 +- tools/verification/rv/src/utils.c | 95 +- tools/verification/rv/tests/rv_bpf.t | 104 ++ tools/verification/rvgen/__main__.py | 15 +- tools/verification/rvgen/rvgen/dot2c.py | 15 +- tools/verification/rvgen/rvgen/dot2k.py | 22 +- tools/verification/rvgen/rvgen/generator.py | 26 +- .../rvgen/rvgen/templates/dot2k/main_bpf.c | 26 + .../tests/golden/da_bpf_cpu/da_bpf_cpu.c | 40 + .../tests/golden/da_bpf_cpu/da_bpf_cpu.h | 47 + .../tests/golden/da_bpf_obj/da_bpf_obj.c | 54 + .../tests/golden/da_bpf_obj/da_bpf_obj.h | 47 + .../verification/rvgen/tests/rvgen_monitor.t | 11 + tools/verification/tests/engine.sh | 5 +- 46 files changed, 2770 insertions(+), 220 deletions(-) create mode 100644 kernel/trace/rv/rv_bpf.c create mode 100644 tools/verification/models/nohz.dot create mode 100644 tools/verification/models/tqueue.dot create mode 100644 tools/verification/rv/bpf_monitors/.gitignore create mode 100644 tools/verification/rv/bpf_monitors/bpf_atomic.h create mode 100644 tools/verification/rv/bpf_monitors/da_monitor_bpf.h create mode 100644 tools/verification/rv/bpf_monitors/nohz.c create mode 100644 tools/verification/rv/bpf_monitors/nohz.h create mode 100644 tools/verification/rv/bpf_monitors/tqueue.c create mode 100644 tools/verification/rv/bpf_monitors/tqueue.h create mode 100644 tools/verification/rv/include/bpf_monitor.h create mode 100644 tools/verification/rv/src/bpf_monitor.c create mode 100644 tools/verification/rv/tests/rv_bpf.t create mode 100644 tools/verification/rvgen/rvgen/templates/dot2k/main_bpf.c create mode 100644 tools/verification/rvgen/tests/golden/da_bpf_cpu/da_bpf_cpu.c create mode 100644 tools/verification/rvgen/tests/golden/da_bpf_cpu/da_bpf_cpu.h create mode 100644 tools/verification/rvgen/tests/golden/da_bpf_obj/da_bpf_obj.c create mode 100644 tools/verification/rvgen/tests/golden/da_bpf_obj/da_bpf_obj.h base-commit: cee9395acd8043be0644b25c34bfa86623f2b935 -- 2.55.0
