Lines Matching full:monitors

38  * In Linux terms, the runtime verification monitors are encapsulated
64  * This file implements the interface for loading RV monitors, and
67  * == Registering monitors ==
86  *    - List the available monitors, one per line.
94  *    - Lists the enabled monitors, one per line;
97  *    - Truncating the file disables all enabled monitors.
117  *    that it does not disable enabled monitors or detach events,
118  *    but stops the per-entity monitors from monitoring the events
122  *  "monitors/"
123  *    Each monitor will have its own directory inside "monitors/". There
125  *    The "monitors/" directory resembles the "events" directory on
129  *      # cd monitors/wip/
314  * Interface to read monitors description.
446  * available/enabled monitors seq definition.
586 	/* Ensures that concurrent monitors read consistent monitoring_on */
607 	/* Ensures that concurrent monitors read consistent monitoring_on */
624 	/* Ensures that concurrent monitors read consistent monitoring_on */
636 	 * Monitors might be out of sync with the system if events were not
639 	 * Reset all monitors, forcing a re-sync.
766 	rv_root.monitors_dir = rv_create_dir("monitors", rv_root.root_dir);