Home
last modified time | relevance | path

Searched refs:wip (Results 1 – 9 of 9) sorted by relevance

/linux-6.1.9/Documentation/trace/rv/
Ddeterministic_automata.rst19 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
Dda_monitor_instrumentation.rst7 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::
142 is used to connect the wip model events to the relative kernel event. dot2k automatically
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);
[all …]
Dda_monitor_synthesis.rst53 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
Dmonitor_wip.rst1 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
Druntime-verification.rst133 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.1.9/kernel/trace/rv/
DMakefile4 obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o
DKconfig32 bool "wip monitor"
34 Enable wip (wakeup in preemptive) sample monitor that illustrates
/linux-6.1.9/fs/xfs/
Dxfs_inode.c2538 struct xfs_inode *wip, /* in: whiteout inode */ in xfs_sort_for_rename() argument
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()
2764 struct xfs_inode *wip = NULL; /* whiteout inode */ in xfs_rename() local
2786 target_dp, &wip); in xfs_rename()
2794 xfs_sort_for_rename(src_dp, target_dp, src_ip, target_ip, wip, in xfs_rename()
2836 if (wip) in xfs_rename()
2837 xfs_trans_ijoin(tp, wip, XFS_ILOCK_EXCL); in xfs_rename()
[all …]
/linux-6.1.9/kernel/trace/rv/monitors/wip/
Dwip.c20 DECLARE_DA_MON_PER_CPU(wip, unsigned char);