blob: a8e22e0db63c28f2871673985b58a29b732236b7 [file] [log] [blame]
Changbin Dufcdeddc2018-02-17 13:39:35 +08001======================
2Function Tracer Design
3======================
4
5:Author: Mike Frysinger
6
7.. caution::
8 This document is out of date. Some of the description below doesn't
9 match current implementation now.
Mike Frysinger555f3862009-09-14 20:10:15 -040010
11Introduction
12------------
13
14Here we will cover the architecture pieces that the common function tracing
15code relies on for proper functioning. Things are broken down into increasing
16complexity so that you can start simple and at least get basic functionality.
17
18Note that this focuses on architecture implementation details only. If you
19want more explanation of a feature in terms of common code, review the common
20ftrace.txt file.
21
Mike Frysinger9849ed42010-07-20 03:13:35 -040022Ideally, everyone who wishes to retain performance while supporting tracing in
23their kernel should make it all the way to dynamic ftrace support.
24
Mike Frysinger555f3862009-09-14 20:10:15 -040025
26Prerequisites
27-------------
28
29Ftrace relies on these features being implemented:
Changbin Dufcdeddc2018-02-17 13:39:35 +080030 - STACKTRACE_SUPPORT - implement save_stack_trace()
31 - TRACE_IRQFLAGS_SUPPORT - implement include/asm/irqflags.h
Mike Frysinger555f3862009-09-14 20:10:15 -040032
33
34HAVE_FUNCTION_TRACER
35--------------------
36
37You will need to implement the mcount and the ftrace_stub functions.
38
39The exact mcount symbol name will depend on your toolchain. Some call it
40"mcount", "_mcount", or even "__mcount". You can probably figure it out by
Changbin Dufcdeddc2018-02-17 13:39:35 +080041running something like::
42
Mike Frysinger555f3862009-09-14 20:10:15 -040043 $ echo 'main(){}' | gcc -x c -S -o - - -pg | grep mcount
44 call mcount
Changbin Dufcdeddc2018-02-17 13:39:35 +080045
Mike Frysinger555f3862009-09-14 20:10:15 -040046We'll make the assumption below that the symbol is "mcount" just to keep things
47nice and simple in the examples.
48
49Keep in mind that the ABI that is in effect inside of the mcount function is
50*highly* architecture/toolchain specific. We cannot help you in this regard,
51sorry. Dig up some old documentation and/or find someone more familiar than
52you to bang ideas off of. Typically, register usage (argument/scratch/etc...)
53is a major issue at this point, especially in relation to the location of the
54mcount call (before/after function prologue). You might also want to look at
55how glibc has implemented the mcount function for your architecture. It might
56be (semi-)relevant.
57
58The mcount function should check the function pointer ftrace_trace_function
59to see if it is set to ftrace_stub. If it is, there is nothing for you to do,
60so return immediately. If it isn't, then call that function in the same way
61the mcount function normally calls __mcount_internal -- the first argument is
62the "frompc" while the second argument is the "selfpc" (adjusted to remove the
63size of the mcount call that is embedded in the function).
64
65For example, if the function foo() calls bar(), when the bar() function calls
66mcount(), the arguments mcount() will pass to the tracer are:
Changbin Dufcdeddc2018-02-17 13:39:35 +080067
68 - "frompc" - the address bar() will use to return to foo()
69 - "selfpc" - the address bar() (with mcount() size adjustment)
Mike Frysinger555f3862009-09-14 20:10:15 -040070
71Also keep in mind that this mcount function will be called *a lot*, so
72optimizing for the default case of no tracer will help the smooth running of
73your system when tracing is disabled. So the start of the mcount function is
Randy Dunlap7e25f442009-12-18 15:17:12 -080074typically the bare minimum with checking things before returning. That also
75means the code flow should usually be kept linear (i.e. no branching in the nop
76case). This is of course an optimization and not a hard requirement.
Mike Frysinger555f3862009-09-14 20:10:15 -040077
78Here is some pseudo code that should help (these functions should actually be
Changbin Dufcdeddc2018-02-17 13:39:35 +080079implemented in assembly)::
Mike Frysinger555f3862009-09-14 20:10:15 -040080
Changbin Dufcdeddc2018-02-17 13:39:35 +080081 void ftrace_stub(void)
82 {
83 return;
84 }
Mike Frysinger555f3862009-09-14 20:10:15 -040085
Changbin Dufcdeddc2018-02-17 13:39:35 +080086 void mcount(void)
87 {
88 /* save any bare state needed in order to do initial checking */
Mike Frysinger555f3862009-09-14 20:10:15 -040089
Changbin Dufcdeddc2018-02-17 13:39:35 +080090 extern void (*ftrace_trace_function)(unsigned long, unsigned long);
91 if (ftrace_trace_function != ftrace_stub)
92 goto do_trace;
Mike Frysinger555f3862009-09-14 20:10:15 -040093
Changbin Dufcdeddc2018-02-17 13:39:35 +080094 /* restore any bare state */
Mike Frysinger555f3862009-09-14 20:10:15 -040095
Changbin Dufcdeddc2018-02-17 13:39:35 +080096 return;
Mike Frysinger555f3862009-09-14 20:10:15 -040097
Changbin Dufcdeddc2018-02-17 13:39:35 +080098 do_trace:
Mike Frysinger555f3862009-09-14 20:10:15 -040099
Changbin Dufcdeddc2018-02-17 13:39:35 +0800100 /* save all state needed by the ABI (see paragraph above) */
Mike Frysinger555f3862009-09-14 20:10:15 -0400101
Changbin Dufcdeddc2018-02-17 13:39:35 +0800102 unsigned long frompc = ...;
103 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
104 ftrace_trace_function(frompc, selfpc);
Mike Frysinger555f3862009-09-14 20:10:15 -0400105
Changbin Dufcdeddc2018-02-17 13:39:35 +0800106 /* restore all state needed by the ABI */
107 }
Mike Frysinger555f3862009-09-14 20:10:15 -0400108
109Don't forget to export mcount for modules !
Changbin Dufcdeddc2018-02-17 13:39:35 +0800110::
111
112 extern void mcount(void);
113 EXPORT_SYMBOL(mcount);
Mike Frysinger555f3862009-09-14 20:10:15 -0400114
115
Mike Frysinger555f3862009-09-14 20:10:15 -0400116HAVE_FUNCTION_GRAPH_TRACER
117--------------------------
118
119Deep breath ... time to do some real work. Here you will need to update the
120mcount function to check ftrace graph function pointers, as well as implement
121some functions to save (hijack) and restore the return address.
122
123The mcount function should check the function pointers ftrace_graph_return
124(compare to ftrace_stub) and ftrace_graph_entry (compare to
Randy Dunlap7e25f442009-12-18 15:17:12 -0800125ftrace_graph_entry_stub). If either of those is not set to the relevant stub
Mike Frysinger555f3862009-09-14 20:10:15 -0400126function, call the arch-specific function ftrace_graph_caller which in turn
127calls the arch-specific function prepare_ftrace_return. Neither of these
Randy Dunlap7e25f442009-12-18 15:17:12 -0800128function names is strictly required, but you should use them anyway to stay
Mike Frysinger555f3862009-09-14 20:10:15 -0400129consistent across the architecture ports -- easier to compare & contrast
130things.
131
132The arguments to prepare_ftrace_return are slightly different than what are
133passed to ftrace_trace_function. The second argument "selfpc" is the same,
134but the first argument should be a pointer to the "frompc". Typically this is
135located on the stack. This allows the function to hijack the return address
136temporarily to have it point to the arch-specific function return_to_handler.
137That function will simply call the common ftrace_return_to_handler function and
Randy Dunlap7e25f442009-12-18 15:17:12 -0800138that will return the original return address with which you can return to the
Mike Frysinger555f3862009-09-14 20:10:15 -0400139original call site.
140
Changbin Dufcdeddc2018-02-17 13:39:35 +0800141Here is the updated mcount pseudo code::
Mike Frysinger555f3862009-09-14 20:10:15 -0400142
Changbin Dufcdeddc2018-02-17 13:39:35 +0800143 void mcount(void)
144 {
145 ...
146 if (ftrace_trace_function != ftrace_stub)
147 goto do_trace;
Mike Frysinger555f3862009-09-14 20:10:15 -0400148
Changbin Dufcdeddc2018-02-17 13:39:35 +0800149 +#ifdef CONFIG_FUNCTION_GRAPH_TRACER
150 + extern void (*ftrace_graph_return)(...);
151 + extern void (*ftrace_graph_entry)(...);
152 + if (ftrace_graph_return != ftrace_stub ||
153 + ftrace_graph_entry != ftrace_graph_entry_stub)
154 + ftrace_graph_caller();
155 +#endif
Mike Frysinger555f3862009-09-14 20:10:15 -0400156
Changbin Dufcdeddc2018-02-17 13:39:35 +0800157 /* restore any bare state */
158 ...
Mike Frysinger555f3862009-09-14 20:10:15 -0400159
Changbin Dufcdeddc2018-02-17 13:39:35 +0800160Here is the pseudo code for the new ftrace_graph_caller assembly function::
Mike Frysinger555f3862009-09-14 20:10:15 -0400161
Changbin Dufcdeddc2018-02-17 13:39:35 +0800162 #ifdef CONFIG_FUNCTION_GRAPH_TRACER
163 void ftrace_graph_caller(void)
164 {
165 /* save all state needed by the ABI */
166
167 unsigned long *frompc = &...;
168 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
169 /* passing frame pointer up is optional -- see below */
170 prepare_ftrace_return(frompc, selfpc, frame_pointer);
171
172 /* restore all state needed by the ABI */
173 }
174 #endif
Mike Frysinger555f3862009-09-14 20:10:15 -0400175
Mike Frysinger03688972010-01-22 08:12:47 -0500176For information on how to implement prepare_ftrace_return(), simply look at the
177x86 version (the frame pointer passing is optional; see the next section for
178more information). The only architecture-specific piece in it is the setup of
Mike Frysinger555f3862009-09-14 20:10:15 -0400179the fault recovery table (the asm(...) code). The rest should be the same
180across architectures.
181
182Here is the pseudo code for the new return_to_handler assembly function. Note
183that the ABI that applies here is different from what applies to the mcount
184code. Since you are returning from a function (after the epilogue), you might
185be able to skimp on things saved/restored (usually just registers used to pass
186return values).
Changbin Dufcdeddc2018-02-17 13:39:35 +0800187::
Mike Frysinger555f3862009-09-14 20:10:15 -0400188
Changbin Dufcdeddc2018-02-17 13:39:35 +0800189 #ifdef CONFIG_FUNCTION_GRAPH_TRACER
190 void return_to_handler(void)
191 {
192 /* save all state needed by the ABI (see paragraph above) */
Mike Frysinger555f3862009-09-14 20:10:15 -0400193
Changbin Dufcdeddc2018-02-17 13:39:35 +0800194 void (*original_return_point)(void) = ftrace_return_to_handler();
Mike Frysinger555f3862009-09-14 20:10:15 -0400195
Changbin Dufcdeddc2018-02-17 13:39:35 +0800196 /* restore all state needed by the ABI */
Mike Frysinger555f3862009-09-14 20:10:15 -0400197
Changbin Dufcdeddc2018-02-17 13:39:35 +0800198 /* this is usually either a return or a jump */
199 original_return_point();
200 }
201 #endif
Mike Frysinger555f3862009-09-14 20:10:15 -0400202
203
Mike Frysinger03688972010-01-22 08:12:47 -0500204HAVE_FUNCTION_GRAPH_FP_TEST
205---------------------------
206
207An arch may pass in a unique value (frame pointer) to both the entering and
208exiting of a function. On exit, the value is compared and if it does not
209match, then it will panic the kernel. This is largely a sanity check for bad
210code generation with gcc. If gcc for your port sanely updates the frame
Mike Frysinger9849ed42010-07-20 03:13:35 -0400211pointer under different optimization levels, then ignore this option.
Mike Frysinger03688972010-01-22 08:12:47 -0500212
213However, adding support for it isn't terribly difficult. In your assembly code
214that calls prepare_ftrace_return(), pass the frame pointer as the 3rd argument.
215Then in the C version of that function, do what the x86 port does and pass it
216along to ftrace_push_return_trace() instead of a stub value of 0.
217
218Similarly, when you call ftrace_return_to_handler(), pass it the frame pointer.
219
Josh Poimboeuf9a7c3482016-08-19 06:52:57 -0500220HAVE_FUNCTION_GRAPH_RET_ADDR_PTR
221--------------------------------
222
223An arch may pass in a pointer to the return address on the stack. This
224prevents potential stack unwinding issues where the unwinder gets out of
225sync with ret_stack and the wrong addresses are reported by
226ftrace_graph_ret_addr().
227
228Adding support for it is easy: just define the macro in asm/ftrace.h and
229pass the return address pointer as the 'retp' argument to
230ftrace_push_return_trace().
Mike Frysinger03688972010-01-22 08:12:47 -0500231
Mike Frysinger555f3862009-09-14 20:10:15 -0400232HAVE_FTRACE_NMI_ENTER
233---------------------
234
235If you can't trace NMI functions, then skip this option.
236
237<details to be filled>
238
239
Frederic Weisbecker459c6d12009-09-19 07:14:15 +0200240HAVE_SYSCALL_TRACEPOINTS
Mike Frysinger9849ed42010-07-20 03:13:35 -0400241------------------------
Mike Frysinger555f3862009-09-14 20:10:15 -0400242
Frederic Weisbecker459c6d12009-09-19 07:14:15 +0200243You need very few things to get the syscalls tracing in an arch.
244
Changbin Dufcdeddc2018-02-17 13:39:35 +0800245 - Support HAVE_ARCH_TRACEHOOK (see arch/Kconfig).
246 - Have a NR_syscalls variable in <asm/unistd.h> that provides the number
247 of syscalls supported by the arch.
248 - Support the TIF_SYSCALL_TRACEPOINT thread flags.
249 - Put the trace_sys_enter() and trace_sys_exit() tracepoints calls from ptrace
250 in the ptrace syscalls tracing path.
251 - If the system call table on this arch is more complicated than a simple array
252 of addresses of the system calls, implement an arch_syscall_addr to return
253 the address of a given system call.
254 - If the symbol names of the system calls do not match the function names on
255 this arch, define ARCH_HAS_SYSCALL_MATCH_SYM_NAME in asm/ftrace.h and
256 implement arch_syscall_match_sym_name with the appropriate logic to return
257 true if the function name corresponds with the symbol name.
258 - Tag this arch as HAVE_SYSCALL_TRACEPOINTS.
Mike Frysinger555f3862009-09-14 20:10:15 -0400259
260
261HAVE_FTRACE_MCOUNT_RECORD
262-------------------------
263
Mike Frysinger9849ed42010-07-20 03:13:35 -0400264See scripts/recordmcount.pl for more info. Just fill in the arch-specific
265details for how to locate the addresses of mcount call sites via objdump.
266This option doesn't make much sense without also implementing dynamic ftrace.
Mike Frysinger555f3862009-09-14 20:10:15 -0400267
268
269HAVE_DYNAMIC_FTRACE
Mike Frysinger9849ed42010-07-20 03:13:35 -0400270-------------------
271
272You will first need HAVE_FTRACE_MCOUNT_RECORD and HAVE_FUNCTION_TRACER, so
273scroll your reader back up if you got over eager.
274
275Once those are out of the way, you will need to implement:
276 - asm/ftrace.h:
277 - MCOUNT_ADDR
278 - ftrace_call_adjust()
279 - struct dyn_arch_ftrace{}
280 - asm code:
281 - mcount() (new stub)
282 - ftrace_caller()
283 - ftrace_call()
284 - ftrace_stub()
285 - C code:
286 - ftrace_dyn_arch_init()
287 - ftrace_make_nop()
288 - ftrace_make_call()
289 - ftrace_update_ftrace_func()
290
291First you will need to fill out some arch details in your asm/ftrace.h.
292
Changbin Dufcdeddc2018-02-17 13:39:35 +0800293Define MCOUNT_ADDR as the address of your mcount symbol similar to::
294
Mike Frysinger9849ed42010-07-20 03:13:35 -0400295 #define MCOUNT_ADDR ((unsigned long)mcount)
Changbin Dufcdeddc2018-02-17 13:39:35 +0800296
297Since no one else will have a decl for that function, you will need to::
298
Mike Frysinger9849ed42010-07-20 03:13:35 -0400299 extern void mcount(void);
300
301You will also need the helper function ftrace_call_adjust(). Most people
Changbin Dufcdeddc2018-02-17 13:39:35 +0800302will be able to stub it out like so::
303
Mike Frysinger9849ed42010-07-20 03:13:35 -0400304 static inline unsigned long ftrace_call_adjust(unsigned long addr)
305 {
306 return addr;
307 }
Changbin Dufcdeddc2018-02-17 13:39:35 +0800308
Mike Frysinger9849ed42010-07-20 03:13:35 -0400309<details to be filled>
310
311Lastly you will need the custom dyn_arch_ftrace structure. If you need
312some extra state when runtime patching arbitrary call sites, this is the
Changbin Dufcdeddc2018-02-17 13:39:35 +0800313place. For now though, create an empty struct::
314
Mike Frysinger9849ed42010-07-20 03:13:35 -0400315 struct dyn_arch_ftrace {
316 /* No extra data needed */
317 };
318
319With the header out of the way, we can fill out the assembly code. While we
320did already create a mcount() function earlier, dynamic ftrace only wants a
321stub function. This is because the mcount() will only be used during boot
322and then all references to it will be patched out never to return. Instead,
323the guts of the old mcount() will be used to create a new ftrace_caller()
324function. Because the two are hard to merge, it will most likely be a lot
325easier to have two separate definitions split up by #ifdefs. Same goes for
326the ftrace_stub() as that will now be inlined in ftrace_caller().
327
328Before we get confused anymore, let's check out some pseudo code so you can
Changbin Dufcdeddc2018-02-17 13:39:35 +0800329implement your own stuff in assembly::
Mike Frysinger9849ed42010-07-20 03:13:35 -0400330
Changbin Dufcdeddc2018-02-17 13:39:35 +0800331 void mcount(void)
332 {
333 return;
334 }
Mike Frysinger9849ed42010-07-20 03:13:35 -0400335
Changbin Dufcdeddc2018-02-17 13:39:35 +0800336 void ftrace_caller(void)
337 {
338 /* save all state needed by the ABI (see paragraph above) */
Mike Frysinger9849ed42010-07-20 03:13:35 -0400339
Changbin Dufcdeddc2018-02-17 13:39:35 +0800340 unsigned long frompc = ...;
341 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
Mike Frysinger9849ed42010-07-20 03:13:35 -0400342
Changbin Dufcdeddc2018-02-17 13:39:35 +0800343 ftrace_call:
344 ftrace_stub(frompc, selfpc);
Mike Frysinger9849ed42010-07-20 03:13:35 -0400345
Changbin Dufcdeddc2018-02-17 13:39:35 +0800346 /* restore all state needed by the ABI */
Mike Frysinger9849ed42010-07-20 03:13:35 -0400347
Changbin Dufcdeddc2018-02-17 13:39:35 +0800348 ftrace_stub:
349 return;
350 }
Mike Frysinger9849ed42010-07-20 03:13:35 -0400351
352This might look a little odd at first, but keep in mind that we will be runtime
353patching multiple things. First, only functions that we actually want to trace
354will be patched to call ftrace_caller(). Second, since we only have one tracer
355active at a time, we will patch the ftrace_caller() function itself to call the
356specific tracer in question. That is the point of the ftrace_call label.
357
358With that in mind, let's move on to the C code that will actually be doing the
359runtime patching. You'll need a little knowledge of your arch's opcodes in
360order to make it through the next section.
361
362Every arch has an init callback function. If you need to do something early on
363to initialize some state, this is the time to do that. Otherwise, this simple
Changbin Dufcdeddc2018-02-17 13:39:35 +0800364function below should be sufficient for most people::
Mike Frysinger9849ed42010-07-20 03:13:35 -0400365
Changbin Dufcdeddc2018-02-17 13:39:35 +0800366 int __init ftrace_dyn_arch_init(void)
367 {
368 return 0;
369 }
Mike Frysinger9849ed42010-07-20 03:13:35 -0400370
371There are two functions that are used to do runtime patching of arbitrary
372functions. The first is used to turn the mcount call site into a nop (which
373is what helps us retain runtime performance when not tracing). The second is
374used to turn the mcount call site into a call to an arbitrary location (but
375typically that is ftracer_caller()). See the general function definition in
Changbin Dufcdeddc2018-02-17 13:39:35 +0800376linux/ftrace.h for the functions::
377
Mike Frysinger9849ed42010-07-20 03:13:35 -0400378 ftrace_make_nop()
379 ftrace_make_call()
Changbin Dufcdeddc2018-02-17 13:39:35 +0800380
Mike Frysinger9849ed42010-07-20 03:13:35 -0400381The rec->ip value is the address of the mcount call site that was collected
382by the scripts/recordmcount.pl during build time.
383
384The last function is used to do runtime patching of the active tracer. This
385will be modifying the assembly code at the location of the ftrace_call symbol
386inside of the ftrace_caller() function. So you should have sufficient padding
387at that location to support the new function calls you'll be inserting. Some
388people will be using a "call" type instruction while others will be using a
Changbin Dufcdeddc2018-02-17 13:39:35 +0800389"branch" type instruction. Specifically, the function is::
390
Mike Frysinger9849ed42010-07-20 03:13:35 -0400391 ftrace_update_ftrace_func()
392
393
394HAVE_DYNAMIC_FTRACE + HAVE_FUNCTION_GRAPH_TRACER
395------------------------------------------------
396
397The function grapher needs a few tweaks in order to work with dynamic ftrace.
398Basically, you will need to:
Changbin Dufcdeddc2018-02-17 13:39:35 +0800399
Mike Frysinger9849ed42010-07-20 03:13:35 -0400400 - update:
401 - ftrace_caller()
402 - ftrace_graph_call()
403 - ftrace_graph_caller()
404 - implement:
405 - ftrace_enable_ftrace_graph_caller()
406 - ftrace_disable_ftrace_graph_caller()
Mike Frysinger555f3862009-09-14 20:10:15 -0400407
408<details to be filled>
Changbin Dufcdeddc2018-02-17 13:39:35 +0800409
Mike Frysinger9849ed42010-07-20 03:13:35 -0400410Quick notes:
Changbin Dufcdeddc2018-02-17 13:39:35 +0800411
Mike Frysinger9849ed42010-07-20 03:13:35 -0400412 - add a nop stub after the ftrace_call location named ftrace_graph_call;
413 stub needs to be large enough to support a call to ftrace_graph_caller()
414 - update ftrace_graph_caller() to work with being called by the new
415 ftrace_caller() since some semantics may have changed
416 - ftrace_enable_ftrace_graph_caller() will runtime patch the
417 ftrace_graph_call location with a call to ftrace_graph_caller()
418 - ftrace_disable_ftrace_graph_caller() will runtime patch the
419 ftrace_graph_call location with nops