Searched refs:wip (Results 1 – 12 of 12) sorted by relevance
| /linux-6.3-rc2/Documentation/trace/rv/ |
| A D | deterministic_automata.rst | 19 For example, a given automaton named 'wip' (wakeup in preemptive) can
36 The previous 'wip' automaton can also be represented as::
55 For example, the 'wip' automata can be presented as (augmented with comments)::
113 For example, this is the 'wip' model in DOT::
136 $ dot -Tsvg -o wip.svg wip.dot
137 $ graph-easy wip.dot > wip.txt
146 For example, having the previous 'wip' model into a file named 'wip.dot',
148 representation (previously shown) in the 'wip.h' file::
150 $ dot2c wip.dot > wip.h
152 The 'wip.h' content is the code sample in section 'Deterministic Automaton
|
| A D | da_monitor_instrumentation.rst | 7 In the example of the wip.dot monitor created on [1], it will look like::
39 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);
40 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
41 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
54 functions* for each of the three events from the wip model. The developer
127 For the wip case, these functions were named::
146 For example, from the wip sample model::
156 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
157 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
165 [1] The wip model is presented in::
[all …]
|
| A D | da_monitor_synthesis.rst | 53 For example, it is possible to transform the wip.dot model present in
56 $ dot2k -d wip.dot -t per_cpu
58 This will create a directory named wip/ with the following files:
60 - wip.h: the wip model in C
61 - wip.c: the RV monitor
63 The wip.c file contains the monitor declaration and the starting point for
93 For example, the wip model with two states and three events can be
95 is a per-cpu behavior, the monitor declaration in the 'wip.c' file is::
97 DECLARE_DA_MON_PER_CPU(wip, unsigned char);
120 Using the wip model as example, the events "preempt_disable" and
|
| A D | monitor_wip.rst | 1 Monitor wip
4 - Name: wip - wakeup in preemptive
11 The wakeup in preemptive (wip) monitor is a sample per-cpu monitor
55 Grapviz Dot file in tools/verification/models/wip.dot
|
| A D | runtime-verification.rst | 133 wip
157 # echo wip > enabled_monitors
160 wip
162 # echo '!wip' >> enabled_monitors
197 # cd monitors/wip/
223 # cat monitors/wip/reactors
227 # echo panic > monitors/wip/reactors
228 # cat monitors/wip/reactors
|
| /linux-6.3-rc2/Documentation/tools/rv/ |
| A D | rv-mon-wip.rst | 4 rv-mon-wip
15 **rv mon wip** [*OPTIONS*]
20 The wakeup in preemptive (**wip**) monitor is a sample per-cpu monitor that
|
| A D | index.rst | 16 rv-mon-wip
|
| A D | rv-mon-wwnr.rst | 15 **rv mon wip** [*OPTIONS*]
|
| /linux-6.3-rc2/kernel/trace/rv/ |
| A D | Makefile | 4 obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o
|
| A D | Kconfig | 32 bool "wip monitor"
34 Enable wip (wakeup in preemptive) sample monitor that illustrates
|
| /linux-6.3-rc2/fs/xfs/ |
| A D | xfs_inode.c | 2560 if (wip) in xfs_sort_for_rename()
2561 i_tab[i++] = wip; in xfs_sort_for_rename()
2715 struct xfs_inode **wip) in xfs_rename_alloc_whiteout() argument
2744 *wip = tmpfile; in xfs_rename_alloc_whiteout()
2836 if (wip) in xfs_rename()
2946 if (wip) { in xfs_rename()
3063 if (wip) in xfs_rename()
3079 if (wip) in xfs_rename()
3080 xfs_irele(wip); in xfs_rename()
3086 if (wip) in xfs_rename()
[all …]
|
| /linux-6.3-rc2/kernel/trace/rv/monitors/wip/ |
| A D | wip.c | 20 DECLARE_DA_MON_PER_CPU(wip, unsigned char);
|
Completed in 23 milliseconds