korg/linux
0
0
Fork 0
mirror of https://mirrors.bfsu.edu.cn/git/linux.git synced 2024-12-14 06:24:53 +08:00
Code Issues Packages Projects Releases Wiki Activity
1d9ce44404
linux/tools/verification/rv
History
Daniel Bristot de Oliveira 012e4e77df tools/verification: Use tools/build makefiles on rv 
Use tools/build/ makefiles to build rv, inheriting the benefits of
it. For example, having a proper way to handle dependencies.

Link: https://lkml.kernel.org/r/2a38a8f7b8dc65fa790381ec9ab42fb62beb2e25.1710519524.git.bristot@kernel.org

Cc: Arnaldo Carvalho de Melo <acme@redhat.com>
Cc: Josh Poimboeuf <jpoimboe@kernel.org>
Cc: John Kacur <jkacur@redhat.com>
Cc: Namhyung Kim <namhyung@kernel.org>
Cc: Jiri Olsa <jolsa@kernel.org>
Suggested-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org>
2024-03-20 05:39:06 +01:00
..
include tools/rv: Add in-kernel monitor interface 2022-12-09 18:06:24 -05:00
src tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
.gitignore tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
Build tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
Makefile tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
Makefile.config tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
Makefile.rv tools/verification: Use tools/build makefiles on rv 2024-03-20 05:39:06 +01:00
README.txt

README.txt 

RV: Runtime Verification

Runtime Verification (RV) is a lightweight (yet rigorous) method that
complements classical exhaustive verification techniques (such as model
checking and theorem proving) with a more practical approach for
complex systems.

The rv tool is the interface for a collection of monitors that aim
analysing the logical and timing behavior of Linux.

Installing RV

RV depends on the following libraries and tools:

 - libtracefs
 - libtraceevent

It also depends on python3-docutils to compile man pages.

For development, we suggest the following steps for compiling rtla:

  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtraceevent.git
  $ cd libtraceevent/
  $ make
  $ sudo make install
  $ cd ..
  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git
  $ cd libtracefs/
  $ make
  $ sudo make install
  $ cd ..
  $ cd $rv_src
  $ make
  $ sudo make install

For further information, please see rv manpage and the kernel documentation:
  Runtime Verification:
    Documentation/trace/rv/runtime-verification.rst