ftrace-design.txt 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412
  1. function tracer guts
  2. ====================
  3. By Mike Frysinger
  4. Introduction
  5. ------------
  6. Here we will cover the architecture pieces that the common function tracing
  7. code relies on for proper functioning. Things are broken down into increasing
  8. complexity so that you can start simple and at least get basic functionality.
  9. Note that this focuses on architecture implementation details only. If you
  10. want more explanation of a feature in terms of common code, review the common
  11. ftrace.txt file.
  12. Ideally, everyone who wishes to retain performance while supporting tracing in
  13. their kernel should make it all the way to dynamic ftrace support.
  14. Prerequisites
  15. -------------
  16. Ftrace relies on these features being implemented:
  17. STACKTRACE_SUPPORT - implement save_stack_trace()
  18. TRACE_IRQFLAGS_SUPPORT - implement include/asm/irqflags.h
  19. HAVE_FUNCTION_TRACER
  20. --------------------
  21. You will need to implement the mcount and the ftrace_stub functions.
  22. The exact mcount symbol name will depend on your toolchain. Some call it
  23. "mcount", "_mcount", or even "__mcount". You can probably figure it out by
  24. running something like:
  25. $ echo 'main(){}' | gcc -x c -S -o - - -pg | grep mcount
  26. call mcount
  27. We'll make the assumption below that the symbol is "mcount" just to keep things
  28. nice and simple in the examples.
  29. Keep in mind that the ABI that is in effect inside of the mcount function is
  30. *highly* architecture/toolchain specific. We cannot help you in this regard,
  31. sorry. Dig up some old documentation and/or find someone more familiar than
  32. you to bang ideas off of. Typically, register usage (argument/scratch/etc...)
  33. is a major issue at this point, especially in relation to the location of the
  34. mcount call (before/after function prologue). You might also want to look at
  35. how glibc has implemented the mcount function for your architecture. It might
  36. be (semi-)relevant.
  37. The mcount function should check the function pointer ftrace_trace_function
  38. to see if it is set to ftrace_stub. If it is, there is nothing for you to do,
  39. so return immediately. If it isn't, then call that function in the same way
  40. the mcount function normally calls __mcount_internal -- the first argument is
  41. the "frompc" while the second argument is the "selfpc" (adjusted to remove the
  42. size of the mcount call that is embedded in the function).
  43. For example, if the function foo() calls bar(), when the bar() function calls
  44. mcount(), the arguments mcount() will pass to the tracer are:
  45. "frompc" - the address bar() will use to return to foo()
  46. "selfpc" - the address bar() (with mcount() size adjustment)
  47. Also keep in mind that this mcount function will be called *a lot*, so
  48. optimizing for the default case of no tracer will help the smooth running of
  49. your system when tracing is disabled. So the start of the mcount function is
  50. typically the bare minimum with checking things before returning. That also
  51. means the code flow should usually be kept linear (i.e. no branching in the nop
  52. case). This is of course an optimization and not a hard requirement.
  53. Here is some pseudo code that should help (these functions should actually be
  54. implemented in assembly):
  55. void ftrace_stub(void)
  56. {
  57. return;
  58. }
  59. void mcount(void)
  60. {
  61. /* save any bare state needed in order to do initial checking */
  62. extern void (*ftrace_trace_function)(unsigned long, unsigned long);
  63. if (ftrace_trace_function != ftrace_stub)
  64. goto do_trace;
  65. /* restore any bare state */
  66. return;
  67. do_trace:
  68. /* save all state needed by the ABI (see paragraph above) */
  69. unsigned long frompc = ...;
  70. unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
  71. ftrace_trace_function(frompc, selfpc);
  72. /* restore all state needed by the ABI */
  73. }
  74. Don't forget to export mcount for modules !
  75. extern void mcount(void);
  76. EXPORT_SYMBOL(mcount);
  77. HAVE_FUNCTION_TRACE_MCOUNT_TEST
  78. -------------------------------
  79. This is an optional optimization for the normal case when tracing is turned off
  80. in the system. If you do not enable this Kconfig option, the common ftrace
  81. code will take care of doing the checking for you.
  82. To support this feature, you only need to check the function_trace_stop
  83. variable in the mcount function. If it is non-zero, there is no tracing to be
  84. done at all, so you can return.
  85. This additional pseudo code would simply be:
  86. void mcount(void)
  87. {
  88. /* save any bare state needed in order to do initial checking */
  89. + if (function_trace_stop)
  90. + return;
  91. extern void (*ftrace_trace_function)(unsigned long, unsigned long);
  92. if (ftrace_trace_function != ftrace_stub)
  93. ...
  94. HAVE_FUNCTION_GRAPH_TRACER
  95. --------------------------
  96. Deep breath ... time to do some real work. Here you will need to update the
  97. mcount function to check ftrace graph function pointers, as well as implement
  98. some functions to save (hijack) and restore the return address.
  99. The mcount function should check the function pointers ftrace_graph_return
  100. (compare to ftrace_stub) and ftrace_graph_entry (compare to
  101. ftrace_graph_entry_stub). If either of those is not set to the relevant stub
  102. function, call the arch-specific function ftrace_graph_caller which in turn
  103. calls the arch-specific function prepare_ftrace_return. Neither of these
  104. function names is strictly required, but you should use them anyway to stay
  105. consistent across the architecture ports -- easier to compare & contrast
  106. things.
  107. The arguments to prepare_ftrace_return are slightly different than what are
  108. passed to ftrace_trace_function. The second argument "selfpc" is the same,
  109. but the first argument should be a pointer to the "frompc". Typically this is
  110. located on the stack. This allows the function to hijack the return address
  111. temporarily to have it point to the arch-specific function return_to_handler.
  112. That function will simply call the common ftrace_return_to_handler function and
  113. that will return the original return address with which you can return to the
  114. original call site.
  115. Here is the updated mcount pseudo code:
  116. void mcount(void)
  117. {
  118. ...
  119. if (ftrace_trace_function != ftrace_stub)
  120. goto do_trace;
  121. +#ifdef CONFIG_FUNCTION_GRAPH_TRACER
  122. + extern void (*ftrace_graph_return)(...);
  123. + extern void (*ftrace_graph_entry)(...);
  124. + if (ftrace_graph_return != ftrace_stub ||
  125. + ftrace_graph_entry != ftrace_graph_entry_stub)
  126. + ftrace_graph_caller();
  127. +#endif
  128. /* restore any bare state */
  129. ...
  130. Here is the pseudo code for the new ftrace_graph_caller assembly function:
  131. #ifdef CONFIG_FUNCTION_GRAPH_TRACER
  132. void ftrace_graph_caller(void)
  133. {
  134. /* save all state needed by the ABI */
  135. unsigned long *frompc = &...;
  136. unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
  137. /* passing frame pointer up is optional -- see below */
  138. prepare_ftrace_return(frompc, selfpc, frame_pointer);
  139. /* restore all state needed by the ABI */
  140. }
  141. #endif
  142. For information on how to implement prepare_ftrace_return(), simply look at the
  143. x86 version (the frame pointer passing is optional; see the next section for
  144. more information). The only architecture-specific piece in it is the setup of
  145. the fault recovery table (the asm(...) code). The rest should be the same
  146. across architectures.
  147. Here is the pseudo code for the new return_to_handler assembly function. Note
  148. that the ABI that applies here is different from what applies to the mcount
  149. code. Since you are returning from a function (after the epilogue), you might
  150. be able to skimp on things saved/restored (usually just registers used to pass
  151. return values).
  152. #ifdef CONFIG_FUNCTION_GRAPH_TRACER
  153. void return_to_handler(void)
  154. {
  155. /* save all state needed by the ABI (see paragraph above) */
  156. void (*original_return_point)(void) = ftrace_return_to_handler();
  157. /* restore all state needed by the ABI */
  158. /* this is usually either a return or a jump */
  159. original_return_point();
  160. }
  161. #endif
  162. HAVE_FUNCTION_GRAPH_FP_TEST
  163. ---------------------------
  164. An arch may pass in a unique value (frame pointer) to both the entering and
  165. exiting of a function. On exit, the value is compared and if it does not
  166. match, then it will panic the kernel. This is largely a sanity check for bad
  167. code generation with gcc. If gcc for your port sanely updates the frame
  168. pointer under different optimization levels, then ignore this option.
  169. However, adding support for it isn't terribly difficult. In your assembly code
  170. that calls prepare_ftrace_return(), pass the frame pointer as the 3rd argument.
  171. Then in the C version of that function, do what the x86 port does and pass it
  172. along to ftrace_push_return_trace() instead of a stub value of 0.
  173. Similarly, when you call ftrace_return_to_handler(), pass it the frame pointer.
  174. HAVE_FTRACE_NMI_ENTER
  175. ---------------------
  176. If you can't trace NMI functions, then skip this option.
  177. <details to be filled>
  178. HAVE_SYSCALL_TRACEPOINTS
  179. ------------------------
  180. You need very few things to get the syscalls tracing in an arch.
  181. - Support HAVE_ARCH_TRACEHOOK (see arch/Kconfig).
  182. - Have a NR_syscalls variable in <asm/unistd.h> that provides the number
  183. of syscalls supported by the arch.
  184. - Support the TIF_SYSCALL_TRACEPOINT thread flags.
  185. - Put the trace_sys_enter() and trace_sys_exit() tracepoints calls from ptrace
  186. in the ptrace syscalls tracing path.
  187. - If the system call table on this arch is more complicated than a simple array
  188. of addresses of the system calls, implement an arch_syscall_addr to return
  189. the address of a given system call.
  190. - If the symbol names of the system calls do not match the function names on
  191. this arch, define ARCH_HAS_SYSCALL_MATCH_SYM_NAME in asm/ftrace.h and
  192. implement arch_syscall_match_sym_name with the appropriate logic to return
  193. true if the function name corresponds with the symbol name.
  194. - Tag this arch as HAVE_SYSCALL_TRACEPOINTS.
  195. HAVE_FTRACE_MCOUNT_RECORD
  196. -------------------------
  197. See scripts/recordmcount.pl for more info. Just fill in the arch-specific
  198. details for how to locate the addresses of mcount call sites via objdump.
  199. This option doesn't make much sense without also implementing dynamic ftrace.
  200. HAVE_DYNAMIC_FTRACE
  201. -------------------
  202. You will first need HAVE_FTRACE_MCOUNT_RECORD and HAVE_FUNCTION_TRACER, so
  203. scroll your reader back up if you got over eager.
  204. Once those are out of the way, you will need to implement:
  205. - asm/ftrace.h:
  206. - MCOUNT_ADDR
  207. - ftrace_call_adjust()
  208. - struct dyn_arch_ftrace{}
  209. - asm code:
  210. - mcount() (new stub)
  211. - ftrace_caller()
  212. - ftrace_call()
  213. - ftrace_stub()
  214. - C code:
  215. - ftrace_dyn_arch_init()
  216. - ftrace_make_nop()
  217. - ftrace_make_call()
  218. - ftrace_update_ftrace_func()
  219. First you will need to fill out some arch details in your asm/ftrace.h.
  220. Define MCOUNT_ADDR as the address of your mcount symbol similar to:
  221. #define MCOUNT_ADDR ((unsigned long)mcount)
  222. Since no one else will have a decl for that function, you will need to:
  223. extern void mcount(void);
  224. You will also need the helper function ftrace_call_adjust(). Most people
  225. will be able to stub it out like so:
  226. static inline unsigned long ftrace_call_adjust(unsigned long addr)
  227. {
  228. return addr;
  229. }
  230. <details to be filled>
  231. Lastly you will need the custom dyn_arch_ftrace structure. If you need
  232. some extra state when runtime patching arbitrary call sites, this is the
  233. place. For now though, create an empty struct:
  234. struct dyn_arch_ftrace {
  235. /* No extra data needed */
  236. };
  237. With the header out of the way, we can fill out the assembly code. While we
  238. did already create a mcount() function earlier, dynamic ftrace only wants a
  239. stub function. This is because the mcount() will only be used during boot
  240. and then all references to it will be patched out never to return. Instead,
  241. the guts of the old mcount() will be used to create a new ftrace_caller()
  242. function. Because the two are hard to merge, it will most likely be a lot
  243. easier to have two separate definitions split up by #ifdefs. Same goes for
  244. the ftrace_stub() as that will now be inlined in ftrace_caller().
  245. Before we get confused anymore, let's check out some pseudo code so you can
  246. implement your own stuff in assembly:
  247. void mcount(void)
  248. {
  249. return;
  250. }
  251. void ftrace_caller(void)
  252. {
  253. /* implement HAVE_FUNCTION_TRACE_MCOUNT_TEST if you desire */
  254. /* save all state needed by the ABI (see paragraph above) */
  255. unsigned long frompc = ...;
  256. unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
  257. ftrace_call:
  258. ftrace_stub(frompc, selfpc);
  259. /* restore all state needed by the ABI */
  260. ftrace_stub:
  261. return;
  262. }
  263. This might look a little odd at first, but keep in mind that we will be runtime
  264. patching multiple things. First, only functions that we actually want to trace
  265. will be patched to call ftrace_caller(). Second, since we only have one tracer
  266. active at a time, we will patch the ftrace_caller() function itself to call the
  267. specific tracer in question. That is the point of the ftrace_call label.
  268. With that in mind, let's move on to the C code that will actually be doing the
  269. runtime patching. You'll need a little knowledge of your arch's opcodes in
  270. order to make it through the next section.
  271. Every arch has an init callback function. If you need to do something early on
  272. to initialize some state, this is the time to do that. Otherwise, this simple
  273. function below should be sufficient for most people:
  274. int __init ftrace_dyn_arch_init(void *data)
  275. {
  276. /* return value is done indirectly via data */
  277. *(unsigned long *)data = 0;
  278. return 0;
  279. }
  280. There are two functions that are used to do runtime patching of arbitrary
  281. functions. The first is used to turn the mcount call site into a nop (which
  282. is what helps us retain runtime performance when not tracing). The second is
  283. used to turn the mcount call site into a call to an arbitrary location (but
  284. typically that is ftracer_caller()). See the general function definition in
  285. linux/ftrace.h for the functions:
  286. ftrace_make_nop()
  287. ftrace_make_call()
  288. The rec->ip value is the address of the mcount call site that was collected
  289. by the scripts/recordmcount.pl during build time.
  290. The last function is used to do runtime patching of the active tracer. This
  291. will be modifying the assembly code at the location of the ftrace_call symbol
  292. inside of the ftrace_caller() function. So you should have sufficient padding
  293. at that location to support the new function calls you'll be inserting. Some
  294. people will be using a "call" type instruction while others will be using a
  295. "branch" type instruction. Specifically, the function is:
  296. ftrace_update_ftrace_func()
  297. HAVE_DYNAMIC_FTRACE + HAVE_FUNCTION_GRAPH_TRACER
  298. ------------------------------------------------
  299. The function grapher needs a few tweaks in order to work with dynamic ftrace.
  300. Basically, you will need to:
  301. - update:
  302. - ftrace_caller()
  303. - ftrace_graph_call()
  304. - ftrace_graph_caller()
  305. - implement:
  306. - ftrace_enable_ftrace_graph_caller()
  307. - ftrace_disable_ftrace_graph_caller()
  308. <details to be filled>
  309. Quick notes:
  310. - add a nop stub after the ftrace_call location named ftrace_graph_call;
  311. stub needs to be large enough to support a call to ftrace_graph_caller()
  312. - update ftrace_graph_caller() to work with being called by the new
  313. ftrace_caller() since some semantics may have changed
  314. - ftrace_enable_ftrace_graph_caller() will runtime patch the
  315. ftrace_graph_call location with a call to ftrace_graph_caller()
  316. - ftrace_disable_ftrace_graph_caller() will runtime patch the
  317. ftrace_graph_call location with nops