GCOV kernel support for Linux
=============================
What is GCOV?
-------------
gcov is a test coverage program, which helps discover where your
optimization efforts will best affect your code. Using gcov one can find
out some basic performance statistics on a per source file level such as:
* how often each line of code executes
* what lines of code are actually executed
* how much computing time each section of code uses
What we implemented?
--------------------
gcov is already available for user level applications.
We implemented gcov support for the linux kernel, by providing
coverage support infrastructure to the kernel and a dynamic
module (gcov-prof.o) to produce the basic block profile information,
which gives the statistics for the running kernel and modules.
Installing GCOV support on the kernel
-------------------------------------
To provide the coverage support infrastructure to the kernel,
install the gcov patch (2.4.17-gcov-kernel.patch) from the root
level of the kernel source path, as
patch -p1< {path}/2.4.17-gcov-kernel.patch
and compile the kernel.
In order to produce the profiling information, compile and install the
gcov-prof.o module as follows:
make
insmod gcov-prof.o
and to remove the module, run
rmmod gcov-prof
The detailed explanation of how gcov-prof provides the statistics
information are in "How it works?" section.
Configuring the kernel
----------------------
To configure the entire kernel for gcov profiling, run
make xconfig or menuconfig
There are two options under GCOV coverage profiling. They are
* enable GCOV kernel
* GCOV kernel profiler
where "enable GCOV kernel" will provide the infrastructure for
coverage support for the kernel.
But this will not compile the kernel with the necessary flags.
To obtain the coverage information for the entire kernel, one should
enable the "GCOV kernel profiler" option.
To get the profiling information for a particular file or directory of
the kernel, provide the following compile options for such targets
itself, like
CLAGS += ($CFLAGS $LPROF_FLAGS)
where LPROF_FLAGS is "-fprofile-arcs -ftest-coverage"
How it works?
-------------
Here is the brief explanation of how gcov works for user level
applications.
The C compiler supports the command line options -fprofile-arcs and
-ftest-coverage. These options cause the compiler to insert additional
code in the object files. These options also generate two files
(a) <sourcefile>.bb and (b) <sourcefile>.bbg, where
* .bb file contains a list of source files (including headers),
functions within those files, and line numbers corresponding to each
basic block in the source file.
* .bbg file contains a list of the program flow arcs for each
function which in combination with the .bb file enables gcov to
reconstruct the program flow.
Upon executing a gcov enabled user program, it dumps the counter
information into <sourcefile>.da at the time of exit.
Running gcov with the program's source file name as argument, will combine the
information from .bb, .bbg and .da files and produce a listing of the code
along with the frequency of execution of each line.
For further detailed information, refer gcov.readme which is the text
form of gcc/doc/gcov.texi from the GCC source code.
As the kernel never does exit as a program, this cannot be deployed in such a
fashion. The .da file is made available under /proc/gcov/{kernel source path}.
For example:
Consider a file ./kernel/sched.c. After compiling this file, the
compiler will generate .bb and .bbg file and it will be in the directory
where the source code is located. ie. ./kernel/sched.bb and ./kernel/sched.bbg.
Installing the gcov-prof kernel module will create a file at
/proc/gcov/kernel/sched.da and create symbolic links for the files
./kernel/sched.c, ./kernel/sched.bb and ./kernel/sched.bbg to
/proc/gcov. We opted for providing these links in order to allow usage
of an unmodified gcov tool.
Finally there will be 4 files under /proc ie.
/proc/gcov/kernel/sched.c
/proc/gcov/kernel/sched.bb
/proc/gcov/kernel/sched.bbg
/proc/gcov/kernel/sched.da
This is the same for all the files which built with the gcov
options(-fprofile-arcs and -ftest-coverage).
Now to see the statistics information for the sched.c, run gcov
from any of your local directory as follows:
gcov -o /proc/gcov/kernel /proc/gcov/kernel/sched.c
This will generate results in the local directory as sched.c.gcov.
Here is a sample output from the signal.c.gcov file
static void handle_stop_signal(int sig, struct task_struct *t)
{
8392 switch (sig) {
7 case SIGKILL: case SIGCONT:
/* Wake up the process if stopped. */
7 if (t->state == TASK_STOPPED)
###### wake_up_process(t);
7 t->exit_code = 0;
7 rm_sig_from_queue(SIGSTOP, t);
7 rm_sig_from_queue(SIGTSTP, t);
7 rm_sig_from_queue(SIGTTOU, t);
7 rm_sig_from_queue(SIGTTIN, t);
8385 break;
case SIGSTOP: case SIGTSTP:
case SIGTTIN: case SIGTTOU:
/* If we're stopping again, cancel SIGCONT */
###### rm_sig_from_queue(SIGCONT, t);
8385 break;
8385 }
}
where "######" represents no execution.
Here are the various arguments for invoking gcov
gcov [-b] [-c] [-v] [-n] [-l] [-f] [-o directory] SOURCEFILE
-b
Write branch frequencies to the output file, and write branch
summary info to the standard output. This option allows you to
see how often each branch in your program was taken.
-c
Write branch frequencies as the number of branches taken, rather
than the percentage of branches taken.
-v
Display the `gcov' version number (on the standard error stream).
-n
Do not create the `gcov' output file.
-l
Create long file names for included source files. For example, if
the header file `x.h' contains code, and was included in the file
`a.c', then running `gcov' on the file `a.c' will produce an
output file called `a.c.x.h.gcov' instead of `x.h.gcov'. This can
be useful if `x.h' is included in multiple source files.
-f
Output summaries for each function in addition to the file level
summary.
-o
The directory where the object files live. Gcov will search for
`.bb', `.bbg', and `.da' files in this directory.
Resetting the counters:
----------------------
One can dynamically reset the counters of the file, by writing "0"
to the required .da file.
For example, if you want to reset the counters in sched.c then executing
the command
echo "0">/proc/gcov/kernel/sched.da
will reset the counters.
There will be a /proc/gcov/vmlinux file which holds the block information
of all the files compiled with gcov options.
Executing
echo "0">/proc/gcov/vmlinux
will reset all the counters in the kernel.
To Do's
-------
Before compiling the gcov-prof kernel module, provide your exact include
path directory in Makefile (-I{include path} in MODCFLAGS).
Tested Environment
------------------
We have tested this on RedHat 7.0 and 7.2 under gcc versions 2.91.66 and
3.0.3.
Problems
--------
gcc does not provide atomic operations for statistics counters. This needs to
be supported in gcc. As a result counters value can be overridden and may
produce improper results.
What we are working on
----------------------
Currently dynamic module support is lacking. In order to support this we are
modifying insmod and rmmod, and pass their initialisation structures (.ctors)
to the kernel.