Back to home page

OSCL-LXR

 
 

    


0001 ======================
0002 Function Tracer Design
0003 ======================
0004 
0005 :Author: Mike Frysinger
0006 
0007 .. caution::
0008         This document is out of date. Some of the description below doesn't
0009         match current implementation now.
0010 
0011 Introduction
0012 ------------
0013 
0014 Here we will cover the architecture pieces that the common function tracing
0015 code relies on for proper functioning.  Things are broken down into increasing
0016 complexity so that you can start simple and at least get basic functionality.
0017 
0018 Note that this focuses on architecture implementation details only.  If you
0019 want more explanation of a feature in terms of common code, review the common
0020 ftrace.txt file.
0021 
0022 Ideally, everyone who wishes to retain performance while supporting tracing in
0023 their kernel should make it all the way to dynamic ftrace support.
0024 
0025 
0026 Prerequisites
0027 -------------
0028 
0029 Ftrace relies on these features being implemented:
0030   - STACKTRACE_SUPPORT - implement save_stack_trace()
0031   - TRACE_IRQFLAGS_SUPPORT - implement include/asm/irqflags.h
0032 
0033 
0034 HAVE_FUNCTION_TRACER
0035 --------------------
0036 
0037 You will need to implement the mcount and the ftrace_stub functions.
0038 
0039 The exact mcount symbol name will depend on your toolchain.  Some call it
0040 "mcount", "_mcount", or even "__mcount".  You can probably figure it out by
0041 running something like::
0042 
0043         $ echo 'main(){}' | gcc -x c -S -o - - -pg | grep mcount
0044                 call    mcount
0045 
0046 We'll make the assumption below that the symbol is "mcount" just to keep things
0047 nice and simple in the examples.
0048 
0049 Keep in mind that the ABI that is in effect inside of the mcount function is
0050 *highly* architecture/toolchain specific.  We cannot help you in this regard,
0051 sorry.  Dig up some old documentation and/or find someone more familiar than
0052 you to bang ideas off of.  Typically, register usage (argument/scratch/etc...)
0053 is a major issue at this point, especially in relation to the location of the
0054 mcount call (before/after function prologue).  You might also want to look at
0055 how glibc has implemented the mcount function for your architecture.  It might
0056 be (semi-)relevant.
0057 
0058 The mcount function should check the function pointer ftrace_trace_function
0059 to see if it is set to ftrace_stub.  If it is, there is nothing for you to do,
0060 so return immediately.  If it isn't, then call that function in the same way
0061 the mcount function normally calls __mcount_internal -- the first argument is
0062 the "frompc" while the second argument is the "selfpc" (adjusted to remove the
0063 size of the mcount call that is embedded in the function).
0064 
0065 For example, if the function foo() calls bar(), when the bar() function calls
0066 mcount(), the arguments mcount() will pass to the tracer are:
0067 
0068   - "frompc" - the address bar() will use to return to foo()
0069   - "selfpc" - the address bar() (with mcount() size adjustment)
0070 
0071 Also keep in mind that this mcount function will be called *a lot*, so
0072 optimizing for the default case of no tracer will help the smooth running of
0073 your system when tracing is disabled.  So the start of the mcount function is
0074 typically the bare minimum with checking things before returning.  That also
0075 means the code flow should usually be kept linear (i.e. no branching in the nop
0076 case).  This is of course an optimization and not a hard requirement.
0077 
0078 Here is some pseudo code that should help (these functions should actually be
0079 implemented in assembly)::
0080 
0081         void ftrace_stub(void)
0082         {
0083                 return;
0084         }
0085 
0086         void mcount(void)
0087         {
0088                 /* save any bare state needed in order to do initial checking */
0089 
0090                 extern void (*ftrace_trace_function)(unsigned long, unsigned long);
0091                 if (ftrace_trace_function != ftrace_stub)
0092                         goto do_trace;
0093 
0094                 /* restore any bare state */
0095 
0096                 return;
0097 
0098         do_trace:
0099 
0100                 /* save all state needed by the ABI (see paragraph above) */
0101 
0102                 unsigned long frompc = ...;
0103                 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
0104                 ftrace_trace_function(frompc, selfpc);
0105 
0106                 /* restore all state needed by the ABI */
0107         }
0108 
0109 Don't forget to export mcount for modules !
0110 ::
0111 
0112         extern void mcount(void);
0113         EXPORT_SYMBOL(mcount);
0114 
0115 
0116 HAVE_FUNCTION_GRAPH_TRACER
0117 --------------------------
0118 
0119 Deep breath ... time to do some real work.  Here you will need to update the
0120 mcount function to check ftrace graph function pointers, as well as implement
0121 some functions to save (hijack) and restore the return address.
0122 
0123 The mcount function should check the function pointers ftrace_graph_return
0124 (compare to ftrace_stub) and ftrace_graph_entry (compare to
0125 ftrace_graph_entry_stub).  If either of those is not set to the relevant stub
0126 function, call the arch-specific function ftrace_graph_caller which in turn
0127 calls the arch-specific function prepare_ftrace_return.  Neither of these
0128 function names is strictly required, but you should use them anyway to stay
0129 consistent across the architecture ports -- easier to compare & contrast
0130 things.
0131 
0132 The arguments to prepare_ftrace_return are slightly different than what are
0133 passed to ftrace_trace_function.  The second argument "selfpc" is the same,
0134 but the first argument should be a pointer to the "frompc".  Typically this is
0135 located on the stack.  This allows the function to hijack the return address
0136 temporarily to have it point to the arch-specific function return_to_handler.
0137 That function will simply call the common ftrace_return_to_handler function and
0138 that will return the original return address with which you can return to the
0139 original call site.
0140 
0141 Here is the updated mcount pseudo code::
0142 
0143         void mcount(void)
0144         {
0145         ...
0146                 if (ftrace_trace_function != ftrace_stub)
0147                         goto do_trace;
0148 
0149         +#ifdef CONFIG_FUNCTION_GRAPH_TRACER
0150         +       extern void (*ftrace_graph_return)(...);
0151         +       extern void (*ftrace_graph_entry)(...);
0152         +       if (ftrace_graph_return != ftrace_stub ||
0153         +           ftrace_graph_entry != ftrace_graph_entry_stub)
0154         +               ftrace_graph_caller();
0155         +#endif
0156 
0157                 /* restore any bare state */
0158         ...
0159 
0160 Here is the pseudo code for the new ftrace_graph_caller assembly function::
0161 
0162         #ifdef CONFIG_FUNCTION_GRAPH_TRACER
0163         void ftrace_graph_caller(void)
0164         {
0165                 /* save all state needed by the ABI */
0166 
0167                 unsigned long *frompc = &...;
0168                 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
0169                 /* passing frame pointer up is optional -- see below */
0170                 prepare_ftrace_return(frompc, selfpc, frame_pointer);
0171 
0172                 /* restore all state needed by the ABI */
0173         }
0174         #endif
0175 
0176 For information on how to implement prepare_ftrace_return(), simply look at the
0177 x86 version (the frame pointer passing is optional; see the next section for
0178 more information).  The only architecture-specific piece in it is the setup of
0179 the fault recovery table (the asm(...) code).  The rest should be the same
0180 across architectures.
0181 
0182 Here is the pseudo code for the new return_to_handler assembly function.  Note
0183 that the ABI that applies here is different from what applies to the mcount
0184 code.  Since you are returning from a function (after the epilogue), you might
0185 be able to skimp on things saved/restored (usually just registers used to pass
0186 return values).
0187 ::
0188 
0189         #ifdef CONFIG_FUNCTION_GRAPH_TRACER
0190         void return_to_handler(void)
0191         {
0192                 /* save all state needed by the ABI (see paragraph above) */
0193 
0194                 void (*original_return_point)(void) = ftrace_return_to_handler();
0195 
0196                 /* restore all state needed by the ABI */
0197 
0198                 /* this is usually either a return or a jump */
0199                 original_return_point();
0200         }
0201         #endif
0202 
0203 
0204 HAVE_FUNCTION_GRAPH_FP_TEST
0205 ---------------------------
0206 
0207 An arch may pass in a unique value (frame pointer) to both the entering and
0208 exiting of a function.  On exit, the value is compared and if it does not
0209 match, then it will panic the kernel.  This is largely a sanity check for bad
0210 code generation with gcc.  If gcc for your port sanely updates the frame
0211 pointer under different optimization levels, then ignore this option.
0212 
0213 However, adding support for it isn't terribly difficult.  In your assembly code
0214 that calls prepare_ftrace_return(), pass the frame pointer as the 3rd argument.
0215 Then in the C version of that function, do what the x86 port does and pass it
0216 along to ftrace_push_return_trace() instead of a stub value of 0.
0217 
0218 Similarly, when you call ftrace_return_to_handler(), pass it the frame pointer.
0219 
0220 HAVE_FUNCTION_GRAPH_RET_ADDR_PTR
0221 --------------------------------
0222 
0223 An arch may pass in a pointer to the return address on the stack.  This
0224 prevents potential stack unwinding issues where the unwinder gets out of
0225 sync with ret_stack and the wrong addresses are reported by
0226 ftrace_graph_ret_addr().
0227 
0228 Adding support for it is easy: just define the macro in asm/ftrace.h and
0229 pass the return address pointer as the 'retp' argument to
0230 ftrace_push_return_trace().
0231 
0232 HAVE_SYSCALL_TRACEPOINTS
0233 ------------------------
0234 
0235 You need very few things to get the syscalls tracing in an arch.
0236 
0237   - Support HAVE_ARCH_TRACEHOOK (see arch/Kconfig).
0238   - Have a NR_syscalls variable in <asm/unistd.h> that provides the number
0239     of syscalls supported by the arch.
0240   - Support the TIF_SYSCALL_TRACEPOINT thread flags.
0241   - Put the trace_sys_enter() and trace_sys_exit() tracepoints calls from ptrace
0242     in the ptrace syscalls tracing path.
0243   - If the system call table on this arch is more complicated than a simple array
0244     of addresses of the system calls, implement an arch_syscall_addr to return
0245     the address of a given system call.
0246   - If the symbol names of the system calls do not match the function names on
0247     this arch, define ARCH_HAS_SYSCALL_MATCH_SYM_NAME in asm/ftrace.h and
0248     implement arch_syscall_match_sym_name with the appropriate logic to return
0249     true if the function name corresponds with the symbol name.
0250   - Tag this arch as HAVE_SYSCALL_TRACEPOINTS.
0251 
0252 
0253 HAVE_FTRACE_MCOUNT_RECORD
0254 -------------------------
0255 
0256 See scripts/recordmcount.pl for more info.  Just fill in the arch-specific
0257 details for how to locate the addresses of mcount call sites via objdump.
0258 This option doesn't make much sense without also implementing dynamic ftrace.
0259 
0260 
0261 HAVE_DYNAMIC_FTRACE
0262 -------------------
0263 
0264 You will first need HAVE_FTRACE_MCOUNT_RECORD and HAVE_FUNCTION_TRACER, so
0265 scroll your reader back up if you got over eager.
0266 
0267 Once those are out of the way, you will need to implement:
0268         - asm/ftrace.h:
0269                 - MCOUNT_ADDR
0270                 - ftrace_call_adjust()
0271                 - struct dyn_arch_ftrace{}
0272         - asm code:
0273                 - mcount() (new stub)
0274                 - ftrace_caller()
0275                 - ftrace_call()
0276                 - ftrace_stub()
0277         - C code:
0278                 - ftrace_dyn_arch_init()
0279                 - ftrace_make_nop()
0280                 - ftrace_make_call()
0281                 - ftrace_update_ftrace_func()
0282 
0283 First you will need to fill out some arch details in your asm/ftrace.h.
0284 
0285 Define MCOUNT_ADDR as the address of your mcount symbol similar to::
0286 
0287         #define MCOUNT_ADDR ((unsigned long)mcount)
0288 
0289 Since no one else will have a decl for that function, you will need to::
0290 
0291         extern void mcount(void);
0292 
0293 You will also need the helper function ftrace_call_adjust().  Most people
0294 will be able to stub it out like so::
0295 
0296         static inline unsigned long ftrace_call_adjust(unsigned long addr)
0297         {
0298                 return addr;
0299         }
0300 
0301 <details to be filled>
0302 
0303 Lastly you will need the custom dyn_arch_ftrace structure.  If you need
0304 some extra state when runtime patching arbitrary call sites, this is the
0305 place.  For now though, create an empty struct::
0306 
0307         struct dyn_arch_ftrace {
0308                 /* No extra data needed */
0309         };
0310 
0311 With the header out of the way, we can fill out the assembly code.  While we
0312 did already create a mcount() function earlier, dynamic ftrace only wants a
0313 stub function.  This is because the mcount() will only be used during boot
0314 and then all references to it will be patched out never to return.  Instead,
0315 the guts of the old mcount() will be used to create a new ftrace_caller()
0316 function.  Because the two are hard to merge, it will most likely be a lot
0317 easier to have two separate definitions split up by #ifdefs.  Same goes for
0318 the ftrace_stub() as that will now be inlined in ftrace_caller().
0319 
0320 Before we get confused anymore, let's check out some pseudo code so you can
0321 implement your own stuff in assembly::
0322 
0323         void mcount(void)
0324         {
0325                 return;
0326         }
0327 
0328         void ftrace_caller(void)
0329         {
0330                 /* save all state needed by the ABI (see paragraph above) */
0331 
0332                 unsigned long frompc = ...;
0333                 unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
0334 
0335         ftrace_call:
0336                 ftrace_stub(frompc, selfpc);
0337 
0338                 /* restore all state needed by the ABI */
0339 
0340         ftrace_stub:
0341                 return;
0342         }
0343 
0344 This might look a little odd at first, but keep in mind that we will be runtime
0345 patching multiple things.  First, only functions that we actually want to trace
0346 will be patched to call ftrace_caller().  Second, since we only have one tracer
0347 active at a time, we will patch the ftrace_caller() function itself to call the
0348 specific tracer in question.  That is the point of the ftrace_call label.
0349 
0350 With that in mind, let's move on to the C code that will actually be doing the
0351 runtime patching.  You'll need a little knowledge of your arch's opcodes in
0352 order to make it through the next section.
0353 
0354 Every arch has an init callback function.  If you need to do something early on
0355 to initialize some state, this is the time to do that.  Otherwise, this simple
0356 function below should be sufficient for most people::
0357 
0358         int __init ftrace_dyn_arch_init(void)
0359         {
0360                 return 0;
0361         }
0362 
0363 There are two functions that are used to do runtime patching of arbitrary
0364 functions.  The first is used to turn the mcount call site into a nop (which
0365 is what helps us retain runtime performance when not tracing).  The second is
0366 used to turn the mcount call site into a call to an arbitrary location (but
0367 typically that is ftracer_caller()).  See the general function definition in
0368 linux/ftrace.h for the functions::
0369 
0370         ftrace_make_nop()
0371         ftrace_make_call()
0372 
0373 The rec->ip value is the address of the mcount call site that was collected
0374 by the scripts/recordmcount.pl during build time.
0375 
0376 The last function is used to do runtime patching of the active tracer.  This
0377 will be modifying the assembly code at the location of the ftrace_call symbol
0378 inside of the ftrace_caller() function.  So you should have sufficient padding
0379 at that location to support the new function calls you'll be inserting.  Some
0380 people will be using a "call" type instruction while others will be using a
0381 "branch" type instruction.  Specifically, the function is::
0382 
0383         ftrace_update_ftrace_func()
0384 
0385 
0386 HAVE_DYNAMIC_FTRACE + HAVE_FUNCTION_GRAPH_TRACER
0387 ------------------------------------------------
0388 
0389 The function grapher needs a few tweaks in order to work with dynamic ftrace.
0390 Basically, you will need to:
0391 
0392         - update:
0393                 - ftrace_caller()
0394                 - ftrace_graph_call()
0395                 - ftrace_graph_caller()
0396         - implement:
0397                 - ftrace_enable_ftrace_graph_caller()
0398                 - ftrace_disable_ftrace_graph_caller()
0399 
0400 <details to be filled>
0401 
0402 Quick notes:
0403 
0404         - add a nop stub after the ftrace_call location named ftrace_graph_call;
0405           stub needs to be large enough to support a call to ftrace_graph_caller()
0406         - update ftrace_graph_caller() to work with being called by the new
0407           ftrace_caller() since some semantics may have changed
0408         - ftrace_enable_ftrace_graph_caller() will runtime patch the
0409           ftrace_graph_call location with a call to ftrace_graph_caller()
0410         - ftrace_disable_ftrace_graph_caller() will runtime patch the
0411           ftrace_graph_call location with nops