Home
last modified time | relevance | path

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

12345678910>>...17

/Linux-v6.6/Documentation/trace/rv/
Dda_monitor_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 DA monitor synthesis
42 The synthesis of automata-based models into the Linux *RV monitor* abstraction
44 contains a set of macros that automatically generate the monitor's code.
51 a kernel monitor in C.
54 [1] into a per-cpu monitor with the following command::
[all …]
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 …]
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-v6.6/kernel/trace/rv/
Drv.c218 buff = mdef->monitor->enabled ? "1\n" : "0\n"; in monitor_enable_read_data()
230 if (mdef->monitor->enabled) { in __rv_disable_monitor()
231 mdef->monitor->enabled = 0; in __rv_disable_monitor()
232 mdef->monitor->disable(); in __rv_disable_monitor()
268 if (mdef->monitor->enabled) in rv_enable_monitor()
271 retval = mdef->monitor->enable(); in rv_enable_monitor()
274 mdef->monitor->enabled = 1; in rv_enable_monitor()
323 snprintf(buff, sizeof(buff), "%s\n", mdef->monitor->description); in monitor_desc_read_data()
342 const char *name = mdef->monitor->name; in create_monitor_dir()
380 seq_printf(m, "%s\n", mon_def->monitor->name); in monitors_show()
[all …]
DKconfig32 bool "wip monitor"
34 Enable wip (wakeup in preemptive) sample monitor that illustrates
44 bool "wwnr monitor"
46 Enable wwnr (wakeup while not running) sample monitor, this is a
47 sample monitor that illustrates the usage of per-task monitor.
59 monitor can cause a reaction to the detection of an exception
61 tracing reactions, printing the monitor output via tracepoints,
/Linux-v6.6/net/bluetooth/
Dmsft.c263 struct adv_monitor *monitor, in msft_le_monitor_advertisement_cb() argument
289 handle_data->mgmt_handle = monitor->handle; in msft_le_monitor_advertisement_cb()
295 monitor->state = ADV_MONITOR_STATE_OFFLOADED; in msft_le_monitor_advertisement_cb()
299 hci_free_adv_monitor(hdev, monitor); in msft_le_monitor_advertisement_cb()
372 struct adv_monitor *monitor, in msft_le_cancel_monitor_advertisement_cb() argument
393 handle_data = msft_find_handle_data(hdev, monitor->handle, true); in msft_le_cancel_monitor_advertisement_cb()
396 if (monitor->state == ADV_MONITOR_STATE_OFFLOADED) in msft_le_cancel_monitor_advertisement_cb()
397 monitor->state = ADV_MONITOR_STATE_REGISTERED; in msft_le_cancel_monitor_advertisement_cb()
403 hci_free_adv_monitor(hdev, monitor); in msft_le_cancel_monitor_advertisement_cb()
428 struct adv_monitor *monitor) in msft_remove_monitor_sync() argument
[all …]
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-v6.6/tools/verification/dot2/
Ddot2k30 monitor=dot2k(params.dot_file, params.monitor_type)
40 print("Writing the monitor into the directory %s" % monitor.name)
41 monitor.print_files()
43 print(" - Edit the %s/%s.c to add the instrumentation" % (monitor.name, monitor.name))
/Linux-v6.6/Documentation/tools/rv/
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:
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**
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-v6.6/include/rv/
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-v6.6/Documentation/arch/s390/
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-v6.6/tools/power/cpupower/
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
Dcpupower-completion.sh71 monitor) COMPREPLY=($(compgen -W "$flags" -- "$cur")) ;;
89 monitor) _monitor ;;
123 monitor) _monitor ;;
/Linux-v6.6/Documentation/devicetree/bindings/sound/
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-v6.6/drivers/perf/
DKconfig6 menu "Performance monitor support"
74 Say y if you want to use the legacy CPU performance monitor
84 Say y if you want to use the CPU performance monitor
108 Say y if you want to use the ARM performance monitor unit (PMU)
117 Provides support for performance monitor unit in ARM DynamIQ Shared
123 tristate "Freescale i.MX8 DDR perf monitor"
126 Provides support for the DDR performance monitor in i.MX8, which
131 tristate "Freescale i.MX9 DDR perf monitor"
134 Provides support for the DDR performance monitor in i.MX9, which
143 Provides support for the L2 cache performance monitor unit (PMU)
[all …]
/Linux-v6.6/drivers/ufs/core/
Dufs-sysfs.c400 return sysfs_emit(buf, "%d\n", hba->monitor.enabled); in monitor_enable_show()
415 if (value == hba->monitor.enabled) in monitor_enable_store()
419 memset(&hba->monitor, 0, sizeof(hba->monitor)); in monitor_enable_store()
421 hba->monitor.enabled = true; in monitor_enable_store()
422 hba->monitor.enabled_ts = ktime_get(); in monitor_enable_store()
435 return sysfs_emit(buf, "%lu\n", hba->monitor.chunk_size); in monitor_chunk_size_show()
450 if (!hba->monitor.enabled) in monitor_chunk_size_store()
451 hba->monitor.chunk_size = value; in monitor_chunk_size_store()
461 return sysfs_emit(buf, "%lu\n", hba->monitor.nr_sec_rw[READ]); in read_total_sectors_show()
470 ktime_to_us(hba->monitor.total_busy[READ])); in read_total_busy_show()
[all …]
/Linux-v6.6/drivers/perf/hisilicon/
DKconfig6 Support for HiSilicon SoC L3 Cache performance monitor, Hydra Home
7 Agent performance monitor and DDR Controller performance monitor.
/Linux-v6.6/tools/perf/ui/gtk/
Dbrowser.c20 int monitor; in perf_gtk__resize_window() local
26 monitor = gdk_screen_get_monitor_at_window(screen, window->window); in perf_gtk__resize_window()
28 gdk_screen_get_monitor_geometry(screen, monitor, &rect); in perf_gtk__resize_window()
/Linux-v6.6/drivers/net/wireless/intel/ipw2x00/
Dlibipw_module.c107 struct net_device *alloc_libipw(int sizeof_priv, int monitor) in alloc_libipw() argument
123 if (!monitor) { in alloc_libipw()
181 if (!monitor) in alloc_libipw()
190 void free_libipw(struct net_device *dev, int monitor) in free_libipw() argument
199 if (!monitor) in free_libipw()
/Linux-v6.6/tools/power/cpupower/po/
Dka.po74 #: utils/idle_monitor/cpupower-monitor.c:66
77 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
80 "cpupower monitor: [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
83 #: utils/idle_monitor/cpupower-monitor.c:69
86 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
89 "cpupower monitor: [-v] [-h] [ [-t] | [-l] | [-m <mon1>,[<mon2>] ] ] [-i "
92 #: utils/idle_monitor/cpupower-monitor.c:71
97 #: utils/idle_monitor/cpupower-monitor.c:73
102 #: utils/idle_monitor/cpupower-monitor.c:74
108 #: utils/idle_monitor/cpupower-monitor.c:75
[all …]
/Linux-v6.6/include/linux/
Drv.h58 int rv_unregister_monitor(struct rv_monitor *monitor);
59 int rv_register_monitor(struct rv_monitor *monitor);
/Linux-v6.6/Documentation/filesystems/
Dceph.rst33 (with some minimal coordination from a cluster monitor), making the
97 You only need to specify a single monitor, as the client will get the
98 full list when it connects. (However, if the monitor you specify
100 off if the monitor is using the default. So if the monitor is at
112 Multiple monitor addresses can be passed by separating each address with a slash (`/`)::
116 When using the mount helper, monitor address can be read from ceph
119 the monitor.
127 monitor addresses in the monitor map are followed.
136 address its connection to the monitor originates from.
/Linux-v6.6/drivers/perf/amlogic/
DKconfig6 Provides support for the DDR performance monitor
9 supports multiple channels to monitor the memory

12345678910>>...17