trace doc: convert trace/ftrace-design.txt to rst format
This converts the plain text documentation to reStructuredText format and add it to Sphinx TOC tree. This documentation is not synced with current code, so mark it as out of date. Cc: Steven Rostedt <rostedt@goodmis.org> Signed-off-by: Changbin Du <changbin.du@intel.com> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
This commit is contained in:
parent
583bc6badc
commit
fcdeddc9fd
|
@ -1,6 +1,12 @@
|
||||||
function tracer guts
|
======================
|
||||||
====================
|
Function Tracer Design
|
||||||
By Mike Frysinger
|
======================
|
||||||
|
|
||||||
|
:Author: Mike Frysinger
|
||||||
|
|
||||||
|
.. caution::
|
||||||
|
This document is out of date. Some of the description below doesn't
|
||||||
|
match current implementation now.
|
||||||
|
|
||||||
Introduction
|
Introduction
|
||||||
------------
|
------------
|
||||||
|
@ -21,8 +27,8 @@ Prerequisites
|
||||||
-------------
|
-------------
|
||||||
|
|
||||||
Ftrace relies on these features being implemented:
|
Ftrace relies on these features being implemented:
|
||||||
STACKTRACE_SUPPORT - implement save_stack_trace()
|
- STACKTRACE_SUPPORT - implement save_stack_trace()
|
||||||
TRACE_IRQFLAGS_SUPPORT - implement include/asm/irqflags.h
|
- TRACE_IRQFLAGS_SUPPORT - implement include/asm/irqflags.h
|
||||||
|
|
||||||
|
|
||||||
HAVE_FUNCTION_TRACER
|
HAVE_FUNCTION_TRACER
|
||||||
|
@ -32,9 +38,11 @@ You will need to implement the mcount and the ftrace_stub functions.
|
||||||
|
|
||||||
The exact mcount symbol name will depend on your toolchain. Some call it
|
The exact mcount symbol name will depend on your toolchain. Some call it
|
||||||
"mcount", "_mcount", or even "__mcount". You can probably figure it out by
|
"mcount", "_mcount", or even "__mcount". You can probably figure it out by
|
||||||
running something like:
|
running something like::
|
||||||
|
|
||||||
$ echo 'main(){}' | gcc -x c -S -o - - -pg | grep mcount
|
$ echo 'main(){}' | gcc -x c -S -o - - -pg | grep mcount
|
||||||
call mcount
|
call mcount
|
||||||
|
|
||||||
We'll make the assumption below that the symbol is "mcount" just to keep things
|
We'll make the assumption below that the symbol is "mcount" just to keep things
|
||||||
nice and simple in the examples.
|
nice and simple in the examples.
|
||||||
|
|
||||||
|
@ -56,8 +64,9 @@ size of the mcount call that is embedded in the function).
|
||||||
|
|
||||||
For example, if the function foo() calls bar(), when the bar() function calls
|
For example, if the function foo() calls bar(), when the bar() function calls
|
||||||
mcount(), the arguments mcount() will pass to the tracer are:
|
mcount(), the arguments mcount() will pass to the tracer are:
|
||||||
"frompc" - the address bar() will use to return to foo()
|
|
||||||
"selfpc" - the address bar() (with mcount() size adjustment)
|
- "frompc" - the address bar() will use to return to foo()
|
||||||
|
- "selfpc" - the address bar() (with mcount() size adjustment)
|
||||||
|
|
||||||
Also keep in mind that this mcount function will be called *a lot*, so
|
Also keep in mind that this mcount function will be called *a lot*, so
|
||||||
optimizing for the default case of no tracer will help the smooth running of
|
optimizing for the default case of no tracer will help the smooth running of
|
||||||
|
@ -67,39 +76,41 @@ means the code flow should usually be kept linear (i.e. no branching in the nop
|
||||||
case). This is of course an optimization and not a hard requirement.
|
case). This is of course an optimization and not a hard requirement.
|
||||||
|
|
||||||
Here is some pseudo code that should help (these functions should actually be
|
Here is some pseudo code that should help (these functions should actually be
|
||||||
implemented in assembly):
|
implemented in assembly)::
|
||||||
|
|
||||||
void ftrace_stub(void)
|
void ftrace_stub(void)
|
||||||
{
|
{
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
void mcount(void)
|
void mcount(void)
|
||||||
{
|
{
|
||||||
/* save any bare state needed in order to do initial checking */
|
/* save any bare state needed in order to do initial checking */
|
||||||
|
|
||||||
extern void (*ftrace_trace_function)(unsigned long, unsigned long);
|
extern void (*ftrace_trace_function)(unsigned long, unsigned long);
|
||||||
if (ftrace_trace_function != ftrace_stub)
|
if (ftrace_trace_function != ftrace_stub)
|
||||||
goto do_trace;
|
goto do_trace;
|
||||||
|
|
||||||
/* restore any bare state */
|
/* restore any bare state */
|
||||||
|
|
||||||
return;
|
return;
|
||||||
|
|
||||||
do_trace:
|
do_trace:
|
||||||
|
|
||||||
/* save all state needed by the ABI (see paragraph above) */
|
/* save all state needed by the ABI (see paragraph above) */
|
||||||
|
|
||||||
unsigned long frompc = ...;
|
unsigned long frompc = ...;
|
||||||
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
||||||
ftrace_trace_function(frompc, selfpc);
|
ftrace_trace_function(frompc, selfpc);
|
||||||
|
|
||||||
/* restore all state needed by the ABI */
|
/* restore all state needed by the ABI */
|
||||||
}
|
}
|
||||||
|
|
||||||
Don't forget to export mcount for modules !
|
Don't forget to export mcount for modules !
|
||||||
extern void mcount(void);
|
::
|
||||||
EXPORT_SYMBOL(mcount);
|
|
||||||
|
extern void mcount(void);
|
||||||
|
EXPORT_SYMBOL(mcount);
|
||||||
|
|
||||||
|
|
||||||
HAVE_FUNCTION_GRAPH_TRACER
|
HAVE_FUNCTION_GRAPH_TRACER
|
||||||
|
@ -127,38 +138,40 @@ That function will simply call the common ftrace_return_to_handler function and
|
||||||
that will return the original return address with which you can return to the
|
that will return the original return address with which you can return to the
|
||||||
original call site.
|
original call site.
|
||||||
|
|
||||||
Here is the updated mcount pseudo code:
|
Here is the updated mcount pseudo code::
|
||||||
void mcount(void)
|
|
||||||
{
|
|
||||||
...
|
|
||||||
if (ftrace_trace_function != ftrace_stub)
|
|
||||||
goto do_trace;
|
|
||||||
|
|
||||||
+#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
void mcount(void)
|
||||||
+ extern void (*ftrace_graph_return)(...);
|
{
|
||||||
+ extern void (*ftrace_graph_entry)(...);
|
...
|
||||||
+ if (ftrace_graph_return != ftrace_stub ||
|
if (ftrace_trace_function != ftrace_stub)
|
||||||
+ ftrace_graph_entry != ftrace_graph_entry_stub)
|
goto do_trace;
|
||||||
+ ftrace_graph_caller();
|
|
||||||
+#endif
|
|
||||||
|
|
||||||
/* restore any bare state */
|
+#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
||||||
...
|
+ extern void (*ftrace_graph_return)(...);
|
||||||
|
+ extern void (*ftrace_graph_entry)(...);
|
||||||
|
+ if (ftrace_graph_return != ftrace_stub ||
|
||||||
|
+ ftrace_graph_entry != ftrace_graph_entry_stub)
|
||||||
|
+ ftrace_graph_caller();
|
||||||
|
+#endif
|
||||||
|
|
||||||
Here is the pseudo code for the new ftrace_graph_caller assembly function:
|
/* restore any bare state */
|
||||||
#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
...
|
||||||
void ftrace_graph_caller(void)
|
|
||||||
{
|
|
||||||
/* save all state needed by the ABI */
|
|
||||||
|
|
||||||
unsigned long *frompc = &...;
|
Here is the pseudo code for the new ftrace_graph_caller assembly function::
|
||||||
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
|
||||||
/* passing frame pointer up is optional -- see below */
|
|
||||||
prepare_ftrace_return(frompc, selfpc, frame_pointer);
|
|
||||||
|
|
||||||
/* restore all state needed by the ABI */
|
#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
||||||
}
|
void ftrace_graph_caller(void)
|
||||||
#endif
|
{
|
||||||
|
/* save all state needed by the ABI */
|
||||||
|
|
||||||
|
unsigned long *frompc = &...;
|
||||||
|
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
||||||
|
/* passing frame pointer up is optional -- see below */
|
||||||
|
prepare_ftrace_return(frompc, selfpc, frame_pointer);
|
||||||
|
|
||||||
|
/* restore all state needed by the ABI */
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
For information on how to implement prepare_ftrace_return(), simply look at the
|
For information on how to implement prepare_ftrace_return(), simply look at the
|
||||||
x86 version (the frame pointer passing is optional; see the next section for
|
x86 version (the frame pointer passing is optional; see the next section for
|
||||||
|
@ -171,20 +184,21 @@ that the ABI that applies here is different from what applies to the mcount
|
||||||
code. Since you are returning from a function (after the epilogue), you might
|
code. Since you are returning from a function (after the epilogue), you might
|
||||||
be able to skimp on things saved/restored (usually just registers used to pass
|
be able to skimp on things saved/restored (usually just registers used to pass
|
||||||
return values).
|
return values).
|
||||||
|
::
|
||||||
|
|
||||||
#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
#ifdef CONFIG_FUNCTION_GRAPH_TRACER
|
||||||
void return_to_handler(void)
|
void return_to_handler(void)
|
||||||
{
|
{
|
||||||
/* save all state needed by the ABI (see paragraph above) */
|
/* save all state needed by the ABI (see paragraph above) */
|
||||||
|
|
||||||
void (*original_return_point)(void) = ftrace_return_to_handler();
|
void (*original_return_point)(void) = ftrace_return_to_handler();
|
||||||
|
|
||||||
/* restore all state needed by the ABI */
|
/* restore all state needed by the ABI */
|
||||||
|
|
||||||
/* this is usually either a return or a jump */
|
/* this is usually either a return or a jump */
|
||||||
original_return_point();
|
original_return_point();
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
|
||||||
HAVE_FUNCTION_GRAPH_FP_TEST
|
HAVE_FUNCTION_GRAPH_FP_TEST
|
||||||
|
@ -228,20 +242,20 @@ HAVE_SYSCALL_TRACEPOINTS
|
||||||
|
|
||||||
You need very few things to get the syscalls tracing in an arch.
|
You need very few things to get the syscalls tracing in an arch.
|
||||||
|
|
||||||
- Support HAVE_ARCH_TRACEHOOK (see arch/Kconfig).
|
- Support HAVE_ARCH_TRACEHOOK (see arch/Kconfig).
|
||||||
- Have a NR_syscalls variable in <asm/unistd.h> that provides the number
|
- Have a NR_syscalls variable in <asm/unistd.h> that provides the number
|
||||||
of syscalls supported by the arch.
|
of syscalls supported by the arch.
|
||||||
- Support the TIF_SYSCALL_TRACEPOINT thread flags.
|
- Support the TIF_SYSCALL_TRACEPOINT thread flags.
|
||||||
- Put the trace_sys_enter() and trace_sys_exit() tracepoints calls from ptrace
|
- Put the trace_sys_enter() and trace_sys_exit() tracepoints calls from ptrace
|
||||||
in the ptrace syscalls tracing path.
|
in the ptrace syscalls tracing path.
|
||||||
- If the system call table on this arch is more complicated than a simple array
|
- If the system call table on this arch is more complicated than a simple array
|
||||||
of addresses of the system calls, implement an arch_syscall_addr to return
|
of addresses of the system calls, implement an arch_syscall_addr to return
|
||||||
the address of a given system call.
|
the address of a given system call.
|
||||||
- If the symbol names of the system calls do not match the function names on
|
- If the symbol names of the system calls do not match the function names on
|
||||||
this arch, define ARCH_HAS_SYSCALL_MATCH_SYM_NAME in asm/ftrace.h and
|
this arch, define ARCH_HAS_SYSCALL_MATCH_SYM_NAME in asm/ftrace.h and
|
||||||
implement arch_syscall_match_sym_name with the appropriate logic to return
|
implement arch_syscall_match_sym_name with the appropriate logic to return
|
||||||
true if the function name corresponds with the symbol name.
|
true if the function name corresponds with the symbol name.
|
||||||
- Tag this arch as HAVE_SYSCALL_TRACEPOINTS.
|
- Tag this arch as HAVE_SYSCALL_TRACEPOINTS.
|
||||||
|
|
||||||
|
|
||||||
HAVE_FTRACE_MCOUNT_RECORD
|
HAVE_FTRACE_MCOUNT_RECORD
|
||||||
|
@ -276,22 +290,28 @@ Once those are out of the way, you will need to implement:
|
||||||
|
|
||||||
First you will need to fill out some arch details in your asm/ftrace.h.
|
First you will need to fill out some arch details in your asm/ftrace.h.
|
||||||
|
|
||||||
Define MCOUNT_ADDR as the address of your mcount symbol similar to:
|
Define MCOUNT_ADDR as the address of your mcount symbol similar to::
|
||||||
|
|
||||||
#define MCOUNT_ADDR ((unsigned long)mcount)
|
#define MCOUNT_ADDR ((unsigned long)mcount)
|
||||||
Since no one else will have a decl for that function, you will need to:
|
|
||||||
|
Since no one else will have a decl for that function, you will need to::
|
||||||
|
|
||||||
extern void mcount(void);
|
extern void mcount(void);
|
||||||
|
|
||||||
You will also need the helper function ftrace_call_adjust(). Most people
|
You will also need the helper function ftrace_call_adjust(). Most people
|
||||||
will be able to stub it out like so:
|
will be able to stub it out like so::
|
||||||
|
|
||||||
static inline unsigned long ftrace_call_adjust(unsigned long addr)
|
static inline unsigned long ftrace_call_adjust(unsigned long addr)
|
||||||
{
|
{
|
||||||
return addr;
|
return addr;
|
||||||
}
|
}
|
||||||
|
|
||||||
<details to be filled>
|
<details to be filled>
|
||||||
|
|
||||||
Lastly you will need the custom dyn_arch_ftrace structure. If you need
|
Lastly you will need the custom dyn_arch_ftrace structure. If you need
|
||||||
some extra state when runtime patching arbitrary call sites, this is the
|
some extra state when runtime patching arbitrary call sites, this is the
|
||||||
place. For now though, create an empty struct:
|
place. For now though, create an empty struct::
|
||||||
|
|
||||||
struct dyn_arch_ftrace {
|
struct dyn_arch_ftrace {
|
||||||
/* No extra data needed */
|
/* No extra data needed */
|
||||||
};
|
};
|
||||||
|
@ -306,28 +326,28 @@ easier to have two separate definitions split up by #ifdefs. Same goes for
|
||||||
the ftrace_stub() as that will now be inlined in ftrace_caller().
|
the ftrace_stub() as that will now be inlined in ftrace_caller().
|
||||||
|
|
||||||
Before we get confused anymore, let's check out some pseudo code so you can
|
Before we get confused anymore, let's check out some pseudo code so you can
|
||||||
implement your own stuff in assembly:
|
implement your own stuff in assembly::
|
||||||
|
|
||||||
void mcount(void)
|
void mcount(void)
|
||||||
{
|
{
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
void ftrace_caller(void)
|
void ftrace_caller(void)
|
||||||
{
|
{
|
||||||
/* save all state needed by the ABI (see paragraph above) */
|
/* save all state needed by the ABI (see paragraph above) */
|
||||||
|
|
||||||
unsigned long frompc = ...;
|
unsigned long frompc = ...;
|
||||||
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
unsigned long selfpc = <return address> - MCOUNT_INSN_SIZE;
|
||||||
|
|
||||||
ftrace_call:
|
ftrace_call:
|
||||||
ftrace_stub(frompc, selfpc);
|
ftrace_stub(frompc, selfpc);
|
||||||
|
|
||||||
/* restore all state needed by the ABI */
|
/* restore all state needed by the ABI */
|
||||||
|
|
||||||
ftrace_stub:
|
ftrace_stub:
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
This might look a little odd at first, but keep in mind that we will be runtime
|
This might look a little odd at first, but keep in mind that we will be runtime
|
||||||
patching multiple things. First, only functions that we actually want to trace
|
patching multiple things. First, only functions that we actually want to trace
|
||||||
|
@ -341,21 +361,23 @@ order to make it through the next section.
|
||||||
|
|
||||||
Every arch has an init callback function. If you need to do something early on
|
Every arch has an init callback function. If you need to do something early on
|
||||||
to initialize some state, this is the time to do that. Otherwise, this simple
|
to initialize some state, this is the time to do that. Otherwise, this simple
|
||||||
function below should be sufficient for most people:
|
function below should be sufficient for most people::
|
||||||
|
|
||||||
int __init ftrace_dyn_arch_init(void)
|
int __init ftrace_dyn_arch_init(void)
|
||||||
{
|
{
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
There are two functions that are used to do runtime patching of arbitrary
|
There are two functions that are used to do runtime patching of arbitrary
|
||||||
functions. The first is used to turn the mcount call site into a nop (which
|
functions. The first is used to turn the mcount call site into a nop (which
|
||||||
is what helps us retain runtime performance when not tracing). The second is
|
is what helps us retain runtime performance when not tracing). The second is
|
||||||
used to turn the mcount call site into a call to an arbitrary location (but
|
used to turn the mcount call site into a call to an arbitrary location (but
|
||||||
typically that is ftracer_caller()). See the general function definition in
|
typically that is ftracer_caller()). See the general function definition in
|
||||||
linux/ftrace.h for the functions:
|
linux/ftrace.h for the functions::
|
||||||
|
|
||||||
ftrace_make_nop()
|
ftrace_make_nop()
|
||||||
ftrace_make_call()
|
ftrace_make_call()
|
||||||
|
|
||||||
The rec->ip value is the address of the mcount call site that was collected
|
The rec->ip value is the address of the mcount call site that was collected
|
||||||
by the scripts/recordmcount.pl during build time.
|
by the scripts/recordmcount.pl during build time.
|
||||||
|
|
||||||
|
@ -364,7 +386,8 @@ will be modifying the assembly code at the location of the ftrace_call symbol
|
||||||
inside of the ftrace_caller() function. So you should have sufficient padding
|
inside of the ftrace_caller() function. So you should have sufficient padding
|
||||||
at that location to support the new function calls you'll be inserting. Some
|
at that location to support the new function calls you'll be inserting. Some
|
||||||
people will be using a "call" type instruction while others will be using a
|
people will be using a "call" type instruction while others will be using a
|
||||||
"branch" type instruction. Specifically, the function is:
|
"branch" type instruction. Specifically, the function is::
|
||||||
|
|
||||||
ftrace_update_ftrace_func()
|
ftrace_update_ftrace_func()
|
||||||
|
|
||||||
|
|
||||||
|
@ -373,6 +396,7 @@ HAVE_DYNAMIC_FTRACE + HAVE_FUNCTION_GRAPH_TRACER
|
||||||
|
|
||||||
The function grapher needs a few tweaks in order to work with dynamic ftrace.
|
The function grapher needs a few tweaks in order to work with dynamic ftrace.
|
||||||
Basically, you will need to:
|
Basically, you will need to:
|
||||||
|
|
||||||
- update:
|
- update:
|
||||||
- ftrace_caller()
|
- ftrace_caller()
|
||||||
- ftrace_graph_call()
|
- ftrace_graph_call()
|
||||||
|
@ -382,7 +406,9 @@ Basically, you will need to:
|
||||||
- ftrace_disable_ftrace_graph_caller()
|
- ftrace_disable_ftrace_graph_caller()
|
||||||
|
|
||||||
<details to be filled>
|
<details to be filled>
|
||||||
|
|
||||||
Quick notes:
|
Quick notes:
|
||||||
|
|
||||||
- add a nop stub after the ftrace_call location named ftrace_graph_call;
|
- add a nop stub after the ftrace_call location named ftrace_graph_call;
|
||||||
stub needs to be large enough to support a call to ftrace_graph_caller()
|
stub needs to be large enough to support a call to ftrace_graph_caller()
|
||||||
- update ftrace_graph_caller() to work with being called by the new
|
- update ftrace_graph_caller() to work with being called by the new
|
|
@ -4,3 +4,5 @@ Linux Tracing Technologies
|
||||||
|
|
||||||
.. toctree::
|
.. toctree::
|
||||||
:maxdepth: 2
|
:maxdepth: 2
|
||||||
|
|
||||||
|
ftrace-design
|
||||||
|
|
Loading…
Reference in New Issue