trace/rv/runtime-verification.rst

23 Runtime Monitors and Reactors
30 In Linux terms, the runtime verification monitors are encapsulated inside the
59 In Linux terms, a *reactor* is an reaction method available for *RV monitors*.
60 By default, all monitors should provide a trace output of their actions,
77 Online RV monitors
80 Monitors can be classified as *offline* and *online* monitors. *Offline*
82 reading the trace execution from a permanent storage system. *Online* monitors
83 process the trace during the execution of the system. Online monitors are said
87 of monitor has a set of advantages. For example, *offline* monitors can be
92 Another important aspect regarding monitors is the overhead associated with the
97 *synchronous online* monitors will incur on lower overhead.
109 This motivated the development of an in-kernel interface for online monitors.
128 - Reading list the available monitors, one per line
149 - Reading lists the enabled monitors, one per line
152 - Truncating the file disables all enabled monitors
180 Note that it does not disable enabled monitors but stop the per-entity
181 monitors monitoring the events received from the system.
189 **monitors/**
191 Each monitor will have its own directory inside "monitors/". There the
192 monitor-specific files will be presented. The "monitors/" directory resembles
197    # cd monitors/wip/
205 **monitors/MONITOR/desc**
209 **monitors/MONITOR/enable**
215 **monitors/MONITOR/reactors**
223    # cat monitors/wip/reactors
227    # echo panic > monitors/wip/reactors
228    # cat monitors/wip/reactors