Changes in dot2k

2334cf7d - verification/dot2k: Add support for nested monitors

Wed, 05 Mar 2025 14:04:00 +0000

verification/dot2k: Add support for nested monitorsRV now supports nested monitors, this functionality requires a containermonitor, which has virtually no functionality besides holding othermonitors, and nested monitors, that have a container as parent.Add the -p flag to pass a parent to a monitor, this sets it up whileregistering the monitor and adds necessary includes and configurations.Add the -c flag to create a container, since containers are empty, wedon't allow supplying a dot model or a monitor type, the template isalso different since functions to enable and disable the monitor are notdefined, nor any tracepoint. The generated header file only allows toinclude the rv_monitor structure in children monitors.Cc: Ingo Molnar Cc: Peter Zijlstra Cc: Juri Lelli Link: https://lore.kernel.org/20250305140406.350227-8-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k

de6f45c2 - verification/dot2k: Auto patch current kernel source

Fri, 27 Dec 2024 14:47:51 +0000

verification/dot2k: Auto patch current kernel sourcedot2k suggests a list of changes to the kernel tree while adding amonitor: edit tracepoints header, Makefile, Kconfig and moving themonitor 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 fromthe running kernel, if installed.This feature works best if the kernel tree is a git repository, so thatits easier to make sure there are no unintended changes.The main RV files (e.g. Makefile) have now a comment placeholder thatcan be useful for manual editing (e.g. to know where to add newmonitors) and it is used by the script to append the required lines.We also slightly adapt the file handling functions in dot2k: __open_fileis now called __read_file and also closes the file before returning thecontent; __create_file is now a more general __write_file, we no longerreturn on FileExistsError (not thrown while opening), a new__create_file simply calls __write_file specifying the monitor folder inthe path.Cc: Juri Lelli Cc: Thomas Gleixner Cc: John Kacur Link: https://lore.kernel.org/20241227144752.362911-8-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k

9c6cfe80 - verification/dot2k: Simplify manual steps in monitor creation

Fri, 27 Dec 2024 14:47:50 +0000

verification/dot2k: Simplify manual steps in monitor creationThis patch reduces and simplifies the manual steps still needed increating a new RV monitor.It extends the dot2k script to create a tracepoint snippet and aKconfig file for the newly generated monitor. Those files can be keptin the monitor's directory but shall be included in the main tracepointheader and Kconfig.Together with the checklist, dot2k now suggests the lines to add tothose files for inclusion and the Makefile line to compile the newmonitor: Writing the monitor into the directory monitor_name Almost done, checklist - Edit the monitor_name/monitor_name.c to add the instrumentation - Edit kernel/trace/rv/rv_trace.h: Add this line where other tracepoints are included and DA_MON_EVENTS_ID is defined: #include - Edit kernel/trace/rv/Makefile: Add this line where other monitors are included: obj-$(CONFIG_RV_MON_MONITOR_NAME) += monitors/monitor_name/monitor_name.o - Edit kernel/trace/rv/Kconfig: Add this line where other monitors are included: source "kernel/trace/rv/monitors/monitor_name/Kconfig" - Move monitor_name/ to the kernel's monitor directory (kernel/trace/rv/monitors)Cc: Juri Lelli Cc: Thomas Gleixner Cc: John Kacur Link: https://lore.kernel.org/20241227144752.362911-7-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k

64b3e5f0 - verification/dot2k: Add support for name and description options

Fri, 27 Dec 2024 14:47:48 +0000

verification/dot2k: Add support for name and description optionsThe dot2k command includes options to set a model name with -n and adescription with -D, however those are not used in practice.This patch allows to specify a custom model name (by default the name ofthe dot file without extension) and a description which overrides theone in the C file.Cc: Juri Lelli Cc: Thomas Gleixner Cc: John Kacur Link: https://lore.kernel.org/20241227144752.362911-5-gmonaco@redhat.comSigned-off-by: Gabriele Monaco Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k

a0c04a32 - verification/dot2k: Delete duplicate imports

Wed, 06 Sep 2023 15:57:03 +0000

verification/dot2k: Delete duplicate importsThe presence of duplicate import lines appears to be a typo.Removing them.Link: https://lore.kernel.org/r/20230906155703.3917918-1-alessandro.carminati@gmail.comFixes: 24bce201d798 ("tools/rv: Add dot2k")Signed-off-by: Alessandro Carminati (Red Hat) Signed-off-by: Daniel Bristot de Oliveira List of files: /linux-6.15/tools/verification/dot2/dot2k

d57aff24 - Documentation/rv: Add deterministic automata monitor synthesis documentation

Fri, 29 Jul 2022 09:38:49 +0000

Documentation/rv: Add deterministic automata monitor synthesis documentationAdd the da_monitor_synthesis.rst introduces some concepts behind theDeterministic Automata (DA) monitor synthesis and interface.Link: https://lkml.kernel.org/r/7873bdb7b2e5d2bc0b2eb6ca0b324af9a0ba27a0.1659052063.git.bristot@kernel.orgCc: 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.orgCc: linux-kernel@vger.kernel.orgCc: linux-trace-devel@vger.kernel.orgSigned-off-by: Daniel Bristot de Oliveira Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k

24bce201 - tools/rv: Add dot2k

Fri, 29 Jul 2022 09:38:48 +0000

tools/rv: Add dot2ktransform .dot file into kernel rv monitorusage: dot2k [-h] -d DOT_FILE -t MONITOR_TYPE [-n MODEL_NAME] [-D DESCRIPTION]optional arguments: -h, --help show this help message and exit -d DOT_FILE, --dot DOT_FILE -t MONITOR_TYPE, --monitor_type MONITOR_TYPE -n MODEL_NAME, --model_name MODEL_NAME -D DESCRIPTION, --description DESCRIPTIONLink: https://lkml.kernel.org/r/083b3ae61e5a62c1e2e5d08009baa91f82181618.1659052063.git.bristot@kernel.orgCc: 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.orgCc: linux-kernel@vger.kernel.orgCc: linux-trace-devel@vger.kernel.orgSigned-off-by: Daniel Bristot de Oliveira Signed-off-by: Steven Rostedt (Google) List of files: /linux-6.15/tools/verification/dot2/dot2k