Home
last modified time | relevance | path

Searched refs:monitor (Results 1 – 25 of 500) sorted by relevance

12345678910>>...20

/linux/tools/testing/selftests/verification/test.d/
H A Drv_monitor_enable_disable.tc6 local monitor="$1"
9 echo 1 > "monitors/$prefix$monitor/enable"
10 grep -q "$monitor$" enabled_monitors
12 echo 0 > "monitors/$prefix$monitor/enable"
13 ! grep -q "$monitor$" enabled_monitors
15 echo "$monitor" >> enabled_monitors
16 grep -q 1 "monitors/$prefix$monitor/enable"
18 echo "!$monitor" >> enabled_monitors
19 grep -q 0 "monitors/$prefix$monitor/enable"
23 local monitor="$1"
[all …]
H A Drv_monitor_reactor.tc7 local monitor="$1"
13 echo "$reactor" > "monitors/$prefix$monitor/reactors"
14 grep -q "\\[$reactor\\]" "monitors/$prefix$monitor/reactors"
17 echo nop > "monitors/$prefix$monitor/reactors"
18 grep -q "\\[nop\\]" "monitors/$prefix$monitor/reactors"
22 local monitor="$1"
28 echo "$reactor" > "monitors/$monitor/reactors"
29 grep -q "\\[$reactor\\]" "monitors/$monitor/reactors"
31 for nested_dir in "monitors/$monitor"/*; do
34 grep -q "\\[$reactor\\]" "monitors/$monitor/$nested/reactors"
[all …]
H A Drv_monitors_available.tc6 monitor=$(basename "$monitor_dir")
8 grep -q "^$monitor$" available_monitors
15 grep -q "^$monitor:$nested$" available_monitors
/linux/Documentation/trace/rv/
H A Dmonitor_synthesis.rst8 The formal representation needs to be then *synthesized* into a *monitor*
10 *monitor* connects to the system via an *instrumentation* that converts
15 the *RV monitor* abstraction. The RV monitor includes a set of instances
16 of the monitor (per-cpu monitor, per-task monitor, and so on), the helper
17 functions that glue the monitor to the system reference model, and the
39 RV monitor synthesis
42 The synthesis of a specification into the Linux *RV monitor* abstraction is
46 * rv/da_monitor.h for deterministic automaton monitor.
47 * rv/ltl_monitor.h for linear temporal logic monitor.
53 the skeleton of a kernel monitor in C.
[all …]
H A Druntime-verification.rst26 A monitor is the central part of the runtime verification of a system. The
27 monitor stands in between the formal specification of the desired (or
31 *RV monitor* abstraction. A *RV monitor* includes a reference model of the
32 system, a set of instances of the monitor (per-cpu monitor, per-task monitor,
33 and so on), and the helper functions that glue the monitor to the system via
54 In addition to the verification and monitoring of the system, a monitor can
81 monitor process the traces generated by a system after the events, generally by
86 an *asynchronous* monitor has its execution detached from the system. Each type
87 of monitor has a set of advantages. For example, *offline* monitors can be
94 monitor's ability to process them in the same system, only the *offline*
[all …]
H A Dmonitor_sched.rst16 in fact, testing the system as if we had one single larger monitor.
20 The sched monitor is a set of specifications to describe the scheduler behaviour.
46 The scheduling context operations (sco) monitor ensures changes in a task state
67 The set non runnable on its own context (snroc) monitor ensures changes in a
69 monitor::
88 The schedule called with preemption disabled (scpd) monitor ensures schedule is
109 The schedule does not enable preempt (snep) monitor ensures a schedule call
130 The schedule implies task switch (sts) monitor ensures a task switch happens
180 The need resched preempts (nrp) monitor ensures preemption requires
182 while returning to userspace, for this monitor, is indistinguishable from
[all …]
H A Dda_monitor_instrumentation.rst4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"
7 In the example of the wip.dot monitor created on [1], it will look like::
10 * This is the instrumentation part of the monitor.
82 might or might not be in the initial state. The monitor cannot start
84 Otherwise, the monitor and the system could be out-of-sync.
120 These functions are called when the monitor is enabled and disabled,
125 *attach* and *detach* its monitor to the system.
169 The wip monitor is presented in:
/linux/tools/verification/rvgen/
H A D__main__.py46 monitor = dot2k(params.spec, params.monitor_type, vars(params)) variable
48 monitor = ltl2k(params.spec, params.monitor_type, vars(params)) variable
53 monitor = Container(vars(params)) variable
59 print("Writing the monitor into the directory %s" % monitor.name)
60 monitor.print_files()
63 print(" - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
64 print(monitor.fill_tracepoint_tooltip())
65 print(monitor.fill_makefile_tooltip())
66 print(monitor.fill_kconfig_tooltip())
67 print(monitor.fill_monitor_tooltip())
/linux/net/bluetooth/
H A Dmsft.c259 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
285 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
291 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
295 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
368 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
389 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
392 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
393 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
399 hci_free_adv_monitor(hdev, monitor); in msft_le_cancel_monitor_advertisement_cb()
424 struct adv_monitor *monitor) in msft_remove_monitor_sync() argument
[all …]
H A Dmsft.h22 int msft_add_monitor_pattern(struct hci_dev *hdev, struct adv_monitor *monitor);
23 int msft_remove_monitor(struct hci_dev *hdev, struct adv_monitor *monitor);
45 struct adv_monitor *monitor) in msft_add_monitor_pattern() argument
51 struct adv_monitor *monitor) in msft_remove_monitor() argument
/linux/scripts/gdb/linux/
H A Dbpf.py37 def __init__(self, monitor): argument
40 self.monitor = monitor
43 self.monitor.add(gdb.parse_and_eval("ksym"))
48 def __init__(self, monitor): argument
52 self.monitor = monitor
55 self.monitor.remove(gdb.parse_and_eval("ksym"))
98 def __init__(self, monitor): argument
102 self.monitor = monitor
105 self.monitor.add(gdb.parse_and_eval("fp"))
110 def __init__(self, monitor): argument
[all …]
/linux/arch/arm/boot/dts/aspeed/
H A Daspeed-bmc-facebook-santabarbara.dts391 power-monitor@40 {
397 power-monitor@42 {
403 power-monitor@44 {
409 power-monitor@46 {
455 power-monitor@40 {
461 power-monitor@42 {
467 power-monitor@44 {
473 power-monitor@46 {
584 power-monitor@40 {
590 power-monitor@41 {
[all …]
/linux/kernel/trace/rv/
H A Drv.c760 int rv_register_monitor(struct rv_monitor *monitor, struct rv_monitor *parent) in rv_register_monitor() argument
765 if (strlen(monitor->name) >= MAX_RV_MONITOR_NAME_SIZE) { in rv_register_monitor()
766 pr_info("Monitor %s has a name longer than %d\n", monitor->name, in rv_register_monitor()
774 if (strcmp(monitor->name, r->name) == 0) { in rv_register_monitor()
775 pr_info("Monitor %s is already registered\n", monitor->name); in rv_register_monitor()
786 monitor->parent = parent; in rv_register_monitor()
788 retval = create_monitor_dir(monitor, parent); in rv_register_monitor()
794 list_add(&monitor->list, &parent->list); in rv_register_monitor()
796 list_add_tail(&monitor->list, &rv_monitors_list); in rv_register_monitor()
807 int rv_unregister_monitor(struct rv_monitor *monitor) in rv_unregister_monitor() argument
[all …]
/linux/kernel/trace/rv/monitors/wwnr/
H A DKconfig6 bool "wwnr monitor"
8 Enable wwnr (wakeup while not running) sample monitor, this is a
9 sample monitor that illustrates the usage of per-task monitor.
/linux/Documentation/arch/s390/
H A Dmonreader.rst23 IUCV `*MONITOR` statement in its user entry. If the monitor DCSS to be used is
28 There are two options for being able to load the monitor DCSS (examples assume
29 that the monitor DCSS begins at 144 MB and ends at 152 MB). You can query the
30 location of the monitor DCSS with the Class E privileged CP command Q NSS MAP
68 to specify the name of the monitor DCSS. If the module is compiled into the
74 Performance Toolkit), the monitor DCSS is already defined and you have to use
76 of the monitor DCSS, if already defined, and the users connected to the
78 Refer to the "z/VM Performance" book (SC24-6109-00) on how to create a monitor
124 This loads the module with the default monitor DCSS (MONDCSS) and creates a
136 Reading from the device provides a 12 Byte monitor control element (MCE),
[all …]
/linux/Documentation/tools/rv/
H A Drv-mon-sched.rst24 The scheduler monitor collection is a container for several monitors to model
25 the behaviour of the scheduler. Each monitor describes a specification that
28 As a monitor container, it will enable all nested monitors and set them
31 and by specifying sched: , e.g. to enable only monitor tss you can do any of:
37 See kernel documentation for further information about this monitor:
H A Drv-mon-wip.rst7 Wakeup In Preemptive monitor
20 The wakeup in preemptive (**wip**) monitor is a sample per-cpu monitor that
23 See kernel documentation for further information about this monitor:
H A Drv-mon.rst20 The **rv mon** command runs the monitor named *monitor_name*. Each monitor
37 Each monitor has its own set of options. See man **rv-mon**-*monitor_name*
38 for details about each specific monitor. Also, running **rv mon**
H A Drv-mon-wwnr.rst7 Wakeup While Not Running monitor
20 The wakeup while not running (**wwnr**) is a per-task sample monitor.
22 See kernel documentation for further information about this monitor:
/linux/include/linux/
H A Drv.h117 int rv_unregister_monitor(struct rv_monitor *monitor);
118 int rv_register_monitor(struct rv_monitor *monitor, struct rv_monitor *parent);
126 void rv_react(struct rv_monitor *monitor, const char *msg, ...);
129 static inline void rv_react(struct rv_monitor *monitor, const char *msg, ...) in rv_react() argument
/linux/include/rv/
H A Dinstrumentation.h16 #define rv_attach_trace_probe(monitor, tp, rv_handler) \ argument
20 "fail attaching " #monitor " " #tp "handler"); \
26 #define rv_detach_trace_probe(monitor, tp, rv_handler) \ argument
/linux/tools/power/cpupower/
H A DTODO7 RAM from HW on Intel SandyBridge -> another monitor?
8 - Add another c1e debug idle monitor
11 - Add cpu_start()/cpu_stop() callbacks for monitor
13 monitor to outside it. This can be given higher
/linux/Documentation/devicetree/bindings/sound/
H A Dcs35l35.txt107 The cs35l35 node can have a single "cirrus,monitor-signal-format" sub-node
113 -cirrus,monitor-signal-format : Sub-node for the Monitor Signaling Formatting
117 If not used, the defaults for the 6 monitor signals is used.
123 scale of the IMON monitor signal.
126 of the VMON monitor signal.
129 of the VPMON monitor signal.
132 of the VBSTMON monitor signal
135 of the VPBRSTAT monitor signal
138 of the ZEROFILL packet in the monitor signal
172 cirrus,monitor-signal-format {
/linux/kernel/trace/rv/monitors/nrp/
H A DKconfig8 bool "nrp monitor"
11 This monitor is part of the sched monitors collection.
13 This monitor is unstable on arm64, say N unless you are testing it.
/linux/tools/power/cpupower/po/
H A Dzh_CN.po72 #: utils/idle_monitor/cpupower-monitor.c:66
75 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
78 "cpupower monitor：[-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
81 #: utils/idle_monitor/cpupower-monitor.c:69
84 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
87 "cpupower monitor：[-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
90 #: utils/idle_monitor/cpupower-monitor.c:71
95 #: utils/idle_monitor/cpupower-monitor.c:73
100 #: utils/idle_monitor/cpupower-monitor.c:74
105 #: utils/idle_monitor/cpupower-monitor.c:75
[all …]

12345678910>>...20