/linux-6.15/Documentation/trace/rv/ |
D | 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 [all …]
|
D | monitor_sched.rst | 1 Scheduler monitors 5 - Type: container for multiple monitors 11 Monitors describing complex systems, such as the scheduler, can easily grow to 14 Often it is possible to break such descriptions into smaller monitors, 15 sharing some or all events. Enabling those smaller monitors concurrently is, 21 It includes several per-cpu and per-task monitors that work independently to verify 25 monitors, whereas sched itself is a *container*. 26 From the interface perspective, sched includes other monitors as sub-directories, 27 enabling/disabling or setting reactors to sched, propagates the change to all monitors, 28 however single monitors can be used independently as well.
|
/linux-6.15/kernel/trace/rv/ |
D | Makefile | 6 obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o 7 obj-$(CONFIG_RV_MON_WWNR) += monitors/wwnr/wwnr.o 8 obj-$(CONFIG_RV_MON_SCHED) += monitors/sched/sched.o 9 obj-$(CONFIG_RV_MON_TSS) += monitors/tss/tss.o 10 obj-$(CONFIG_RV_MON_SCO) += monitors/sco/sco.o 11 obj-$(CONFIG_RV_MON_SNROC) += monitors/snroc/snroc.o 12 obj-$(CONFIG_RV_MON_SCPD) += monitors/scpd/scpd.o 13 obj-$(CONFIG_RV_MON_SNEP) += monitors/snep/snep.o 14 obj-$(CONFIG_RV_MON_SNCID) += monitors/sncid/sncid.o 15 # Add new monitors here
|
D | Kconfig | 28 source "kernel/trace/rv/monitors/wip/Kconfig" 29 source "kernel/trace/rv/monitors/wwnr/Kconfig" 30 source "kernel/trace/rv/monitors/sched/Kconfig" 31 source "kernel/trace/rv/monitors/tss/Kconfig" 32 source "kernel/trace/rv/monitors/sco/Kconfig" 33 source "kernel/trace/rv/monitors/snroc/Kconfig" 34 source "kernel/trace/rv/monitors/scpd/Kconfig" 35 source "kernel/trace/rv/monitors/snep/Kconfig" 36 source "kernel/trace/rv/monitors/sncid/Kconfig" 37 # Add new monitors here [all …]
|
D | rv_trace.h | 60 #include <monitors/wip/wip_trace.h> 61 #include <monitors/tss/tss_trace.h> 62 #include <monitors/sco/sco_trace.h> 63 #include <monitors/scpd/scpd_trace.h> 64 #include <monitors/snep/snep_trace.h> 65 #include <monitors/sncid/sncid_trace.h> 66 // Add new monitors based on CONFIG_DA_MON_EVENTS_IMPLICIT here 125 #include <monitors/wwnr/wwnr_trace.h> 126 #include <monitors/snroc/snroc_trace.h> 127 // Add new monitors based on CONFIG_DA_MON_EVENTS_ID here
|
D | rv.c | 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 [all …]
|
D | rv_reactors.c | 8 * exception on the model's execution. By default, the monitors have 45 * "monitors/MONITOR/reactors" 53 * # cat monitors/wip/reactors 57 * # echo panic > monitors/wip/reactors 58 * # cat monitors/wip/reactors 202 * All nested monitors are enabled also if they were off, we may refine in monitor_swap_reactors() 391 /* Ensures that concurrent monitors read consistent reacting_on */ in rv_reacting_on() 410 /* Ensures that concurrent monitors read consistent reacting_on */ in turn_reacting_off() 417 /* Ensures that concurrent monitors read consistent reacting_on */ in turn_reacting_on()
|
/linux-6.15/tools/power/cpupower/utils/idle_monitor/ |
D | cpupower-monitor.c | 24 /* Define pointers to all monitors. */ 33 static struct cpuidle_monitor *monitors[MONITORS_MAX]; variable 111 need_len = monitors[mon]->hw_states_num * (MAX_COL_WIDTH + 1) in print_header() 115 sprintf(buf, "%s", monitors[mon]->name); in print_header() 138 for (state = 0; state < monitors[mon]->hw_states_num; state++) { in print_header() 141 s = monitors[mon]->hw_states[state]; in print_header() 185 for (state = 0; state < monitors[mon]->hw_states_num; state++) { in print_results() 189 s = monitors[mon]->hw_states[state]; in print_results() 210 monitors[mon]->name, s.name); in print_results() 230 /* param: string passed by -m param (The list of monitors to show) [all …]
|
/linux-6.15/drivers/accel/habanalabs/common/ |
D | state_dump.c | 203 * monitors are named. 440 * hl_state_dump_alloc_read_sm_block_monitors - read monitors for a specific 452 struct hl_mon_state_dump *monitors; in hl_state_dump_alloc_read_sm_block_monitors() local 456 monitors = vmalloc(sds->props[SP_MONITORS_AMOUNT] * in hl_state_dump_alloc_read_sm_block_monitors() 458 if (!monitors) in hl_state_dump_alloc_read_sm_block_monitors() 464 monitors[i].id = i; in hl_state_dump_alloc_read_sm_block_monitors() 465 monitors[i].wr_addr_low = in hl_state_dump_alloc_read_sm_block_monitors() 469 monitors[i].wr_addr_high = in hl_state_dump_alloc_read_sm_block_monitors() 473 monitors[i].wr_data = in hl_state_dump_alloc_read_sm_block_monitors() 477 monitors[i].arm_data = in hl_state_dump_alloc_read_sm_block_monitors() [all …]
|
/linux-6.15/tools/verification/dot2/ |
D | dot2k.py | 128 return "#include <monitors/%s/%s.h>\n" % (self.parent, self.parent) 294 "// Add new monitors based on CONFIG_%s here" % monitor_class_type, 295 "#include <monitors/%s/%s_trace.h>" % (self.name, self.name)) 300 #include <monitors/%s/%s_trace.h> 306 "# Add new monitors here", 307 "source \"kernel/trace/rv/monitors/%s/Kconfig\"" % (self.name)) 311 Add this line where other monitors are included: 312 source \"kernel/trace/rv/monitors/%s/Kconfig\" 320 "# Add new monitors here", 321 "obj-$(CONFIG_RV_MON_%s) += monitors/%s/%s.o" % (name_up, name, name)) [all …]
|
/linux-6.15/Documentation/arch/arm64/ |
D | amu.rst | 4 Activity Monitors Unit (AMU) extension in AArch64 Linux 11 This document briefly describes the provision of Activity Monitors Unit 18 The activity monitors extension is an optional extension introduced by the 21 The activity monitors unit, implemented in each CPU, provides performance 26 Version 1 of the Activity Monitors architecture implements a counter group 39 The Activity Monitors architecture provides space for up to 16 architected 53 activity monitors extension. Therefore, when CONFIG_ARM64_AMU_EXTN is
|
/linux-6.15/Documentation/tools/rv/ |
D | rv-mon.rst | 7 List available monitors 22 monitors. 31 AVAILABLE MONITORS 34 The **rv** tool provides the interface for a set of monitors. Use the 35 **rv list** command to list all available monitors.
|
D | rv-mon-sched.rst | 7 Scheduler monitors collection 24 The scheduler monitor collection is a container for several monitors to model 28 As a monitor container, it will enable all nested monitors and set them 30 Nevertheless nested monitors can also be activated independently both by name 48 The available nested monitors are:
|
D | rv-list.rst | 7 List available monitors 20 The **rv list** command prints all available monitors. These monitors
|
D | rv.rst | 28 verification (rv) monitors. 35 List all available monitors.
|
/linux-6.15/sound/pci/echoaudio/ |
D | layla24_dsp.c | 303 s8 *monitors; in switch_asic() local 307 monitors = kmemdup(chip->comm_page->monitors, in switch_asic() 309 if (! monitors) in switch_asic() 312 memset(chip->comm_page->monitors, ECHOGAIN_MUTED, in switch_asic() 318 memcpy(chip->comm_page->monitors, monitors, in switch_asic() 320 kfree(monitors); in switch_asic() 324 memcpy(chip->comm_page->monitors, monitors, MONITOR_ARRAY_SIZE); in switch_asic() 325 kfree(monitors); in switch_asic()
|
/linux-6.15/tools/verification/rv/src/ |
D | rv.c | 4 * user-space controlled monitors. 20 * stop_rv - tell monitors to stop 38 * rv_list - list all available monitors 46 " list all available monitors", in rv_list() 50 " [container]: list only monitors in this container", in rv_list() 146 " list: list all available monitors", in usage()
|
D | in_kernel.c | 3 * in kernel monitor support: allows rv to control in-kernel monitors. 41 snprintf(path, MAX_PATH, "rv/monitors/%s/enable", monitor_name); in __ikm_read_enable() 127 snprintf(path, MAX_PATH, "rv/monitors/%s/enable", monitor_name); in ikm_write_enable() 158 * ikm_read_desc - read monitors' description 168 snprintf(path, MAX_PATH, "rv/monitors/%s/desc", monitor_name); in ikm_read_desc() 237 snprintf(path, MAX_PATH, "rv/monitors/%s/reactors", monitor_name); in ikm_write_reactor() 255 snprintf(path, MAX_PATH, "rv/monitors/%s/reactors", monitor_name); in ikm_read_reactor() 333 * ikm_list_monitors - list all available monitors 347 err_msg("ikm: available monitors is not available, is CONFIG_RV enabled?\n"); in ikm_list_monitors() 560 snprintf(rv_path, MAX_PATH, "rv/monitors/%s", monitor_name); in ikm_enable_trace_container() [all …]
|
/linux-6.15/Documentation/hwmon/ |
D | max16065.rst | 59 The MAX16067 flash-configurable system manager monitors and sequences multiple 62 The MAX16068 flash-configurable system manager monitors and manages up to six 65 The MAX16070/MAX16071 flash-configurable system monitors supervise multiple 68 MAX16070 monitors up to twelve system voltages simultaneously, and the MAX16071 69 monitors up to eight supply voltages.
|
D | ina2xx.rst | 83 interface. The INA219 monitors both shunt drop and supply voltage, with 87 interface. The INA220 monitors both shunt drop and supply voltage. 90 The INA226 monitors both a shunt voltage drop and bus supply voltage. 92 INA230 and INA231 are high or low side current shunt and power monitors
|
D | adm1031.rst | 42 The ADM1030 monitors a single fan speed, while the ADM1031 monitors up to
|
/linux-6.15/drivers/perf/ |
D | Kconfig | 63 Say y if you want to use CPU performance monitors on ARM-based 83 Say y if you want to use CPU performance monitors on RISCV-based 137 tristate "ARM SMMUv3 Performance Monitors Extension" 152 version 3. The PMUv3 is the CPU performance monitors on ARMv8 216 Say y if you want to use APM X-Gene SoC performance monitors. 238 performance monitors on CN10K family silicons.
|
/linux-6.15/tools/power/cpupower/man/ |
D | cpupower-monitor.1 | 31 List available monitors on your system. Additional details about each monitor 59 Only display specific monitors. Use the monitor string(s) provided by \-l option. 115 The monitors are named after the CPU family where the sleep state capabilities 120 state monitors. 194 Nehalem, SandyBridge monitors and command passing
|
/linux-6.15/Documentation/accounting/ |
D | psi.rst | 97 Monitors activate only when system enters stall state for the monitored 105 after which monitors are most likely not needed and psi averages can be used 108 Unprivileged users can also create monitors, with the only limitation that the 187 Per-cgroup psi monitors can be specified and used the same way as
|
/linux-6.15/include/linux/ |
D | rv.h | 22 * Per-task RV monitors count. Nowadays fixed in RV_PER_TASK_MONITORS. 23 * If we find justification for more monitors, we can think about
|