]>
Commit | Line | Data |
---|---|---|
be4e1cd5 JO |
1 | \input texinfo @c -*-texinfo-*- |
2 | @setfilename gprof.info | |
3 | @settitle GNU gprof | |
4 | @setchapternewpage odd | |
5 | @ifinfo | |
6 | This file documents the gprof profiler of the GNU system. | |
7 | ||
8 | Copyright (C) 1988, 1992 Free Software Foundation, Inc. | |
9 | ||
10 | Permission is granted to make and distribute verbatim copies of | |
11 | this manual provided the copyright notice and this permission notice | |
12 | are preserved on all copies. | |
13 | ||
14 | @ignore | |
15 | Permission is granted to process this file through Tex and print the | |
16 | results, provided the printed document carries copying permission | |
17 | notice identical to this one except for the removal of this paragraph | |
18 | (this paragraph not being relevant to the printed manual). | |
19 | ||
20 | @end ignore | |
21 | Permission is granted to copy and distribute modified versions of this | |
22 | manual under the conditions for verbatim copying, provided that the entire | |
23 | resulting derived work is distributed under the terms of a permission | |
24 | notice identical to this one. | |
25 | ||
26 | Permission is granted to copy and distribute translations of this manual | |
27 | into another language, under the above conditions for modified versions. | |
28 | @end ifinfo | |
29 | ||
30 | @finalout | |
31 | @smallbook | |
32 | ||
33 | @titlepage | |
34 | @title GNU gprof | |
35 | @subtitle The @sc{gnu} Profiler | |
36 | @author Jay Fenlason and Richard Stallman | |
37 | ||
38 | @page | |
39 | ||
40 | This manual describes the @sc{gnu} profiler, @code{gprof}, and how you | |
41 | can use it to determine which parts of a program are taking most of the | |
42 | execution time. We assume that you know how to write, compile, and | |
43 | execute programs. @sc{gnu} @code{gprof} was written by Jay Fenlason. | |
44 | ||
45 | This manual was edited January 1993 by Jeffrey Osier. | |
46 | ||
47 | @vskip 0pt plus 1filll | |
48 | Copyright @copyright{} 1988, 1992 Free Software Foundation, Inc. | |
49 | ||
50 | Permission is granted to make and distribute verbatim copies of | |
51 | this manual provided the copyright notice and this permission notice | |
52 | are preserved on all copies. | |
53 | ||
54 | @ignore | |
55 | Permission is granted to process this file through TeX and print the | |
56 | results, provided the printed document carries copying permission | |
57 | notice identical to this one except for the removal of this paragraph | |
58 | (this paragraph not being relevant to the printed manual). | |
59 | ||
60 | @end ignore | |
61 | Permission is granted to copy and distribute modified versions of this | |
62 | manual under the conditions for verbatim copying, provided that the entire | |
63 | resulting derived work is distributed under the terms of a permission | |
64 | notice identical to this one. | |
65 | ||
66 | Permission is granted to copy and distribute translations of this manual | |
67 | into another language, under the same conditions as for modified versions. | |
68 | ||
69 | @end titlepage | |
70 | ||
71 | @ifinfo | |
72 | @node Top | |
73 | @top Profiling a Program: Where Does It Spend Its Time? | |
74 | ||
75 | This manual describes the @sc{gnu} profiler, @code{gprof}, and how you | |
76 | can use it to determine which parts of a program are taking most of the | |
77 | execution time. We assume that you know how to write, compile, and | |
78 | execute programs. @sc{gnu} @code{gprof} was written by Jay Fenlason. | |
79 | ||
80 | @menu | |
81 | * Why:: What profiling means, and why it is useful. | |
82 | * Compiling:: How to compile your program for profiling. | |
83 | * Executing:: How to execute your program to generate the | |
84 | profile data file @file{gmon.out}. | |
85 | * Invoking:: How to run @code{gprof}, and how to specify | |
86 | options for it. | |
87 | ||
88 | * Flat Profile:: The flat profile shows how much time was spent | |
89 | executing directly in each function. | |
90 | * Call Graph:: The call graph shows which functions called which | |
91 | others, and how much time each function used | |
92 | when its subroutine calls are included. | |
93 | ||
94 | * Implementation:: How the profile data is recorded and written. | |
95 | * Sampling Error:: Statistical margins of error. | |
96 | How to accumulate data from several runs | |
97 | to make it more accurate. | |
98 | ||
99 | * Assumptions:: Some of @code{gprof}'s measurements are based | |
100 | on assumptions about your program | |
101 | that could be very wrong. | |
102 | ||
103 | * Incompatibilities:: (between GNU @code{gprof} and Unix @code{gprof}.) | |
104 | @end menu | |
105 | @end ifinfo | |
106 | ||
107 | @node Why | |
108 | @chapter Why Profile | |
109 | ||
110 | Profiling allows you to learn where your program spent its time and which | |
111 | functions called which other functions while it was executing. This | |
112 | information can show you which pieces of your program are slower than you | |
113 | expected, and might be candidates for rewriting to make your program | |
114 | execute faster. It can also tell you which functions are being called more | |
115 | or less often than you expected. This may help you spot bugs that had | |
116 | otherwise been unnoticed. | |
117 | ||
118 | Since the profiler uses information collected during the actual execution | |
119 | of your program, it can be used on programs that are too large or too | |
120 | complex to analyze by reading the source. However, how your program is run | |
121 | will affect the information that shows up in the profile data. If you | |
122 | don't use some feature of your program while it is being profiled, no | |
123 | profile information will be generated for that feature. | |
124 | ||
125 | Profiling has several steps: | |
126 | ||
127 | @itemize @bullet | |
128 | @item | |
129 | You must compile and link your program with profiling enabled. | |
130 | @xref{Compiling}. | |
131 | ||
132 | @item | |
133 | You must execute your program to generate a profile data file. | |
134 | @xref{Executing}. | |
135 | ||
136 | @item | |
137 | You must run @code{gprof} to analyze the profile data. | |
138 | @xref{Invoking}. | |
139 | @end itemize | |
140 | ||
141 | The next three chapters explain these steps in greater detail. | |
142 | ||
143 | The result of the analysis is a file containing two tables, the | |
144 | @dfn{flat profile} and the @dfn{call graph} (plus blurbs which briefly | |
145 | explain the contents of these tables). | |
146 | ||
147 | The flat profile shows how much time your program spent in each function, | |
148 | and how many times that function was called. If you simply want to know | |
149 | which functions burn most of the cycles, it is stated concisely here. | |
150 | @xref{Flat Profile}. | |
151 | ||
152 | The call graph shows, for each function, which functions called it, which | |
153 | other functions it called, and how many times. There is also an estimate | |
154 | of how much time was spent in the subroutines of each function. This can | |
155 | suggest places where you might try to eliminate function calls that use a | |
156 | lot of time. @xref{Call Graph}. | |
157 | ||
158 | @node Compiling | |
159 | @chapter Compiling a Program for Profiling | |
160 | ||
161 | The first step in generating profile information for your program is | |
162 | to compile and link it with profiling enabled. | |
163 | ||
164 | To compile a source file for profiling, specify the @samp{-pg} option when | |
165 | you run the compiler. (This is in addition to the options you normally | |
166 | use.) | |
167 | ||
168 | To link the program for profiling, if you use a compiler such as @code{cc} | |
169 | to do the linking, simply specify @samp{-pg} in addition to your usual | |
170 | options. The same option, @samp{-pg}, alters either compilation or linking | |
171 | to do what is necessary for profiling. Here are examples: | |
172 | ||
173 | @example | |
174 | cc -g -c myprog.c utils.c -pg | |
175 | cc -o myprog myprog.o utils.o -pg | |
176 | @end example | |
177 | ||
178 | The @samp{-pg} option also works with a command that both compiles and links: | |
179 | ||
180 | @example | |
181 | cc -o myprog myprog.c utils.c -g -pg | |
182 | @end example | |
183 | ||
184 | If you run the linker @code{ld} directly instead of through a compiler | |
185 | such as @code{cc}, you must specify the profiling startup file | |
186 | @file{/lib/gcrt0.o} as the first input file instead of the usual startup | |
187 | file @file{/lib/crt0.o}. In addition, you would probably want to | |
188 | specify the profiling C library, @file{/usr/lib/libc_p.a}, by writing | |
189 | @samp{-lc_p} instead of the usual @samp{-lc}. This is not absolutely | |
190 | necessary, but doing this gives you number-of-calls information for | |
191 | standard library functions such as @code{read} and @code{open}. For | |
192 | example: | |
193 | ||
194 | @example | |
195 | ld -o myprog /lib/gcrt0.o myprog.o utils.o -lc_p | |
196 | @end example | |
197 | ||
198 | If you compile only some of the modules of the program with @samp{-pg}, you | |
199 | can still profile the program, but you won't get complete information about | |
200 | the modules that were compiled without @samp{-pg}. The only information | |
201 | you get for the functions in those modules is the total time spent in them; | |
202 | there is no record of how many times they were called, or from where. This | |
203 | will not affect the flat profile (except that the @code{calls} field for | |
204 | the functions will be blank), but will greatly reduce the usefulness of the | |
205 | call graph. | |
206 | ||
207 | @node Executing | |
208 | @chapter Executing the Program to Generate Profile Data | |
209 | ||
210 | Once the program is compiled for profiling, you must run it in order to | |
211 | generate the information that @code{gprof} needs. Simply run the program | |
212 | as usual, using the normal arguments, file names, etc. The program should | |
213 | run normally, producing the same output as usual. It will, however, run | |
214 | somewhat slower than normal because of the time spent collecting and the | |
215 | writing the profile data. | |
216 | ||
217 | The way you run the program---the arguments and input that you give | |
218 | it---may have a dramatic effect on what the profile information shows. The | |
219 | profile data will describe the parts of the program that were activated for | |
220 | the particular input you use. For example, if the first command you give | |
221 | to your program is to quit, the profile data will show the time used in | |
222 | initialization and in cleanup, but not much else. | |
223 | ||
224 | You program will write the profile data into a file called @file{gmon.out} | |
225 | just before exiting. If there is already a file called @file{gmon.out}, | |
226 | its contents are overwritten. There is currently no way to tell the | |
227 | program to write the profile data under a different name, but you can rename | |
228 | the file afterward if you are concerned that it may be overwritten. | |
229 | ||
230 | In order to write the @file{gmon.out} file properly, your program must exit | |
231 | normally: by returning from @code{main} or by calling @code{exit}. Calling | |
232 | the low-level function @code{_exit} does not write the profile data, and | |
233 | neither does abnormal termination due to an unhandled signal. | |
234 | ||
235 | The @file{gmon.out} file is written in the program's @emph{current working | |
236 | directory} at the time it exits. This means that if your program calls | |
237 | @code{chdir}, the @file{gmon.out} file will be left in the last directory | |
238 | your program @code{chdir}'d to. If you don't have permission to write in | |
239 | this directory, the file is not written. You may get a confusing error | |
240 | message if this happens. (We have not yet replaced the part of Unix | |
241 | responsible for this; when we do, we will make the error message | |
242 | comprehensible.) | |
243 | ||
244 | @node Invoking | |
245 | @chapter @code{gprof} Command Summary | |
246 | ||
247 | After you have a profile data file @file{gmon.out}, you can run @code{gprof} | |
248 | to interpret the information in it. The @code{gprof} program prints a | |
249 | flat profile and a call graph on standard output. Typically you would | |
250 | redirect the output of @code{gprof} into a file with @samp{>}. | |
251 | ||
252 | You run @code{gprof} like this: | |
253 | ||
254 | @smallexample | |
255 | gprof @var{options} [@var{executable-file} [@var{profile-data-files}@dots{}]] [> @var{outfile}] | |
256 | @end smallexample | |
257 | ||
258 | @noindent | |
259 | Here square-brackets indicate optional arguments. | |
260 | ||
261 | If you omit the executable file name, the file @file{a.out} is used. If | |
262 | you give no profile data file name, the file @file{gmon.out} is used. If | |
263 | any file is not in the proper format, or if the profile data file does not | |
264 | appear to belong to the executable file, an error message is printed. | |
265 | ||
266 | You can give more than one profile data file by entering all their names | |
267 | after the executable file name; then the statistics in all the data files | |
268 | are summed together. | |
269 | ||
270 | The following options may be used to selectively include or exclude | |
271 | functions in the output: | |
272 | ||
273 | @table @code | |
274 | @item -a | |
275 | The @samp{-a} option causes @code{gprof} to suppress the printing of | |
276 | statically declared (private) functions. (These are functions whose | |
277 | names are not listed as global, and which are not visible outside the | |
278 | file/function/block where they were defined.) Time spent in these | |
279 | functions, calls to/from them, etc, will all be attributed to the | |
280 | function that was loaded directly before it in the executable file. | |
281 | @c This is compatible with Unix @code{gprof}, but a bad idea. | |
282 | This option affects both the flat profile and the call graph. | |
283 | ||
284 | @item -e @var{function_name} | |
285 | The @samp{-e @var{function}} option tells @code{gprof} to not print | |
286 | information about the function @var{function_name} (and its | |
287 | children@dots{}) in the call graph. The function will still be listed | |
288 | as a child of any functions that call it, but its index number will be | |
289 | shown as @samp{[not printed]}. More than one @samp{-e} option may be | |
290 | given; only one @var{function_name} may be indicated with each @samp{-e} | |
291 | option. | |
292 | ||
293 | @item -E @var{function_name} | |
294 | The @code{-E @var{function}} option works like the @code{-e} option, but | |
295 | time spent in the function (and children who were not called from | |
296 | anywhere else), will not be used to compute the percentages-of-time for | |
297 | the call graph. More than one @samp{-E} option may be given; only one | |
298 | @var{function_name} may be indicated with each @samp{-E} option. | |
299 | ||
300 | @item -f @var{function_name} | |
301 | The @samp{-f @var{function}} option causes @code{gprof} to limit the | |
302 | call graph to the function @var{function_name} and its children (and | |
303 | their children@dots{}). More than one @samp{-f} option may be given; | |
304 | only one @var{function_name} may be indicated with each @samp{-f} | |
305 | option. | |
306 | ||
307 | @item -F @var{function_name} | |
308 | The @samp{-F @var{function}} option works like the @code{-f} option, but | |
309 | only time spent in the function and its children (and their | |
310 | children@dots{}) will be used to determine total-time and | |
311 | percentages-of-time for the call graph. More than one @samp{-F} option | |
312 | may be given; only one @var{function_name} may be indicated with each | |
313 | @samp{-F} option. The @samp{-F} option overrides the @samp{-E} option. | |
314 | ||
315 | @item -k @var{from@dots{}} @var{to@dots{}} | |
316 | The @samp{-k} option allows you to delete from the profile any arcs from | |
317 | routine @var{from} to routine @var{to}. | |
318 | ||
319 | @item -z | |
320 | If you give the @samp{-z} option, @code{gprof} will mention all | |
321 | functions in the flat profile, even those that were never called, and | |
322 | that had no time spent in them. This is useful in conjunction with the | |
323 | @samp{-c} option for discovering which routines were never called. | |
324 | @end table | |
325 | ||
326 | The order of these options does not matter. | |
327 | ||
328 | Note that only one function can be specified with each @code{-e}, | |
329 | @code{-E}, @code{-f} or @code{-F} option. To specify more than one | |
330 | function, use multiple options. For example, this command: | |
331 | ||
332 | @example | |
333 | gprof -e boring -f foo -f bar myprogram > gprof.output | |
334 | @end example | |
335 | ||
336 | @noindent | |
337 | lists in the call graph all functions that were reached from either | |
338 | @code{foo} or @code{bar} and were not reachable from @code{boring}. | |
339 | ||
340 | There are a few other useful @code{gprof} options: | |
341 | ||
342 | @table @code | |
343 | @item -b | |
344 | If the @samp{-b} option is given, @code{gprof} doesn't print the | |
345 | verbose blurbs that try to explain the meaning of all of the fields in | |
346 | the tables. This is useful if you intend to print out the output, or | |
347 | are tired of seeing the blurbs. | |
348 | ||
349 | @item -c | |
350 | The @samp{-c} option causes the static call-graph of the program to be | |
351 | discovered by a heuristic which examines the text space of the object | |
352 | file. Static-only parents or children are indicated with call counts of | |
353 | @samp{0}. | |
354 | ||
355 | @item -d @var{num} | |
356 | The @samp{-d @var{num}} option specifies debugging options. | |
357 | @c @xref{debugging}. | |
358 | ||
359 | @item -s | |
360 | The @samp{-s} option causes @code{gprof} to summarize the information | |
361 | in the profile data files it read in, and write out a profile data | |
362 | file called @file{gmon.sum}, which contains all the information from | |
363 | the profile data files that @code{gprof} read in. The file @file{gmon.sum} | |
364 | may be one of the specified input files; the effect of this is to | |
365 | merge the data in the other input files into @file{gmon.sum}. | |
366 | @xref{Sampling Error}. | |
367 | ||
368 | Eventually you can run @code{gprof} again without @samp{-s} to analyze the | |
369 | cumulative data in the file @file{gmon.sum}. | |
370 | ||
371 | @item -T | |
372 | The @samp{-T} option causes @code{gprof} to print its output in | |
373 | ``traditional'' BSD style. | |
374 | @end table | |
375 | ||
376 | @node Flat Profile | |
377 | @chapter How to Understand the Flat Profile | |
378 | @cindex flat profile | |
379 | ||
380 | The @dfn{flat profile} shows the total amount of time your program | |
381 | spent executing each function. Unless the @samp{-z} option is given, | |
382 | functions with no apparent time spent in them, and no apparent calls | |
383 | to them, are not mentioned. Note that if a function was not compiled | |
384 | for profiling, and didn't run long enough to show up on the program | |
385 | counter histogram, it will be indistinguishable from a function that | |
386 | was never called. | |
387 | ||
388 | This is part of a flat profile for a small program: | |
389 | ||
390 | @smallexample | |
391 | @group | |
392 | Flat profile: | |
393 | ||
394 | Each sample counts as 0.01 seconds. | |
395 | % cumulative self self total | |
396 | time seconds seconds calls ms/call ms/call name | |
397 | 33.34 0.02 0.02 7208 0.00 0.00 open | |
398 | 16.67 0.03 0.01 244 0.04 0.12 offtime | |
399 | 16.67 0.04 0.01 8 1.25 1.25 memccpy | |
400 | 16.67 0.05 0.01 7 1.43 1.43 write | |
401 | 16.67 0.06 0.01 mcount | |
402 | 0.00 0.06 0.00 236 0.00 0.00 tzset | |
403 | 0.00 0.06 0.00 192 0.00 0.00 tolower | |
404 | 0.00 0.06 0.00 47 0.00 0.00 strlen | |
405 | 0.00 0.06 0.00 45 0.00 0.00 strchr | |
406 | 0.00 0.06 0.00 1 0.00 50.00 main | |
407 | 0.00 0.06 0.00 1 0.00 0.00 memcpy | |
408 | 0.00 0.06 0.00 1 0.00 10.11 print | |
409 | 0.00 0.06 0.00 1 0.00 0.00 profil | |
410 | 0.00 0.06 0.00 1 0.00 50.00 report | |
411 | @dots{} | |
412 | @end group | |
413 | @end smallexample | |
414 | ||
415 | @noindent | |
416 | The functions are sorted by decreasing run-time spent in them. The | |
417 | functions @samp{mcount} and @samp{profil} are part of the profiling | |
418 | aparatus and appear in every flat profile; their time gives a measure of | |
419 | the amount of overhead due to profiling. | |
420 | ||
421 | The sampling period estimates the margin of error in each of the time | |
422 | figures. A time figure that is not much larger than this is not | |
423 | reliable. In this example, the @samp{self seconds} field for | |
424 | @samp{mcount} might well be @samp{0} or @samp{0.04} in another run. | |
425 | @xref{Sampling Error}, for a complete discussion. | |
426 | ||
427 | Here is what the fields in each line mean: | |
428 | ||
429 | @table @code | |
430 | @item % time | |
431 | This is the percentage of the total execution time your program spent | |
432 | in this function. These should all add up to 100%. | |
433 | ||
434 | @item cumulative seconds | |
435 | This is the cumulative total number of seconds the computer spent | |
436 | executing this functions, plus the time spent in all the functions | |
437 | above this one in this table. | |
438 | ||
439 | @item self seconds | |
440 | This is the number of seconds accounted for by this function alone. | |
441 | The flat profile listing is sorted first by this number. | |
442 | ||
443 | @item calls | |
444 | This is the total number of times the function was called. If the | |
445 | function was never called, or the number of times it was called cannot | |
446 | be determined (probably because the function was not compiled with | |
447 | profiling enabled), the @dfn{calls} field is blank. | |
448 | ||
449 | @item self ms/call | |
450 | This represents the average number of milliseconds spent in this | |
451 | function per call, if this function is profiled. Otherwise, this field | |
452 | is blank for this function. | |
453 | ||
454 | @item total ms/call | |
455 | This represents the average number of milliseconds spent in this | |
456 | function and its descendants per call, if this function is profiled. | |
457 | Otherwise, this field is blank for this function. | |
458 | ||
459 | @item name | |
460 | This is the name of the function. The flat profile is sorted by this | |
461 | field alphabetically after the @dfn{self seconds} field is sorted. | |
462 | @end table | |
463 | ||
464 | @node Call Graph | |
465 | @chapter How to Read the Call Graph | |
466 | @cindex call graph | |
467 | ||
468 | The @dfn{call graph} shows how much time was spent in each function | |
469 | and its children. From this information, you can find functions that, | |
470 | while they themselves may not have used much time, called other | |
471 | functions that did use unusual amounts of time. | |
472 | ||
473 | Here is a sample call from a small program. This call came from the | |
474 | same @code{gprof} run as the flat profile example in the previous | |
475 | chapter. | |
476 | ||
477 | @smallexample | |
478 | @group | |
479 | granularity: each sample hit covers 2 byte(s) for 20.00% of 0.05 seconds | |
480 | ||
481 | index % time self children called name | |
482 | <spontaneous> | |
483 | [1] 100.0 0.00 0.05 start [1] | |
484 | 0.00 0.05 1/1 main [2] | |
485 | 0.00 0.00 1/2 on_exit [28] | |
486 | 0.00 0.00 1/1 exit [59] | |
487 | ----------------------------------------------- | |
488 | 0.00 0.05 1/1 start [1] | |
489 | [2] 100.0 0.00 0.05 1 main [2] | |
490 | 0.00 0.05 1/1 report [3] | |
491 | ----------------------------------------------- | |
492 | 0.00 0.05 1/1 main [2] | |
493 | [3] 100.0 0.00 0.05 1 report [3] | |
494 | 0.00 0.03 8/8 timelocal [6] | |
495 | 0.00 0.01 1/1 print [9] | |
496 | 0.00 0.01 9/9 fgets [12] | |
497 | 0.00 0.00 12/34 strncmp <cycle 1> [40] | |
498 | 0.00 0.00 8/8 lookup [20] | |
499 | 0.00 0.00 1/1 fopen [21] | |
500 | 0.00 0.00 8/8 chewtime [24] | |
501 | 0.00 0.00 8/16 skipspace [44] | |
502 | ----------------------------------------------- | |
503 | [4] 59.8 0.01 0.02 8+472 <cycle 2 as a whole> [4] | |
504 | 0.01 0.02 244+260 offtime <cycle 2> [7] | |
505 | 0.00 0.00 236+1 tzset <cycle 2> [26] | |
506 | ----------------------------------------------- | |
507 | @end group | |
508 | @end smallexample | |
509 | ||
510 | The lines full of dashes divide this table into @dfn{entries}, one for each | |
511 | function. Each entry has one or more lines. | |
512 | ||
513 | In each entry, the primary line is the one that starts with an index number | |
514 | in square brackets. The end of this line says which function the entry is | |
515 | for. The preceding lines in the entry describe the callers of this | |
516 | function and the following lines describe its subroutines (also called | |
517 | @dfn{children} when we speak of the call graph). | |
518 | ||
519 | The entries are sorted by time spent in the function and its subroutines. | |
520 | ||
521 | The internal profiling function @code{mcount} (@pxref{Flat Profile}) | |
522 | is never mentioned in the call graph. | |
523 | ||
524 | @menu | |
525 | * Primary:: Details of the primary line's contents. | |
526 | * Callers:: Details of caller-lines' contents. | |
527 | * Subroutines:: Details of subroutine-lines' contents. | |
528 | * Cycles:: When there are cycles of recursion, | |
529 | such as @code{a} calls @code{b} calls @code{a}@dots{} | |
530 | @end menu | |
531 | ||
532 | @node Primary | |
533 | @section The Primary Line | |
534 | ||
535 | The @dfn{primary line} in a call graph entry is the line that | |
536 | describes the function which the entry is about and gives the overall | |
537 | statistics for this function. | |
538 | ||
539 | For reference, we repeat the primary line from the entry for function | |
540 | @code{report} in our main example, together with the heading line that | |
541 | shows the names of the fields: | |
542 | ||
543 | @smallexample | |
544 | @group | |
545 | index % time self children called name | |
546 | @dots{} | |
547 | [3] 100.0 0.00 0.05 1 report [3] | |
548 | @end group | |
549 | @end smallexample | |
550 | ||
551 | Here is what the fields in the primary line mean: | |
552 | ||
553 | @table @code | |
554 | @item index | |
555 | Entries are numbered with consecutive integers. Each function | |
556 | therefore has an index number, which appears at the beginning of its | |
557 | primary line. | |
558 | ||
559 | Each cross-reference to a function, as a caller or subroutine of | |
560 | another, gives its index number as well as its name. The index number | |
561 | guides you if you wish to look for the entry for that function. | |
562 | ||
563 | @item % time | |
564 | This is the percentage of the total time that was spent in this | |
565 | function, including time spent in subroutines called from this | |
566 | function. | |
567 | ||
568 | The time spent in this function is counted again for the callers of | |
569 | this function. Therefore, adding up these percentages is meaningless. | |
570 | ||
571 | @item self | |
572 | This is the total amount of time spent in this function. This | |
573 | should be identical to the number printed in the @code{seconds} field | |
574 | for this function in the flat profile. | |
575 | ||
576 | @item children | |
577 | This is the total amount of time spent in the subroutine calls made by | |
578 | this function. This should be equal to the sum of all the @code{self} | |
579 | and @code{children} entries of the children listed directly below this | |
580 | function. | |
581 | ||
582 | @item called | |
583 | This is the number of times the function was called. | |
584 | ||
585 | If the function called itself recursively, there are two numbers, | |
586 | separated by a @samp{+}. The first number counts non-recursive calls, | |
587 | and the second counts recursive calls. | |
588 | ||
589 | In the example above, the function @code{report} was called once from | |
590 | @code{main}. | |
591 | ||
592 | @item name | |
593 | This is the name of the current function. The index number is | |
594 | repeated after it. | |
595 | ||
596 | If the function is part of a cycle of recursion, the cycle number is | |
597 | printed between the function's name and the index number | |
598 | (@pxref{Cycles}). For example, if function @code{gnurr} is part of | |
599 | cycle number one, and has index number twelve, its primary line would | |
600 | be end like this: | |
601 | ||
602 | @example | |
603 | gnurr <cycle 1> [12] | |
604 | @end example | |
605 | @end table | |
606 | ||
607 | @node Callers, Subroutines, Primary, Call Graph | |
608 | @section Lines for a Function's Callers | |
609 | ||
610 | A function's entry has a line for each function it was called by. | |
611 | These lines' fields correspond to the fields of the primary line, but | |
612 | their meanings are different because of the difference in context. | |
613 | ||
614 | For reference, we repeat two lines from the entry for the function | |
615 | @code{report}, the primary line and one caller-line preceding it, together | |
616 | with the heading line that shows the names of the fields: | |
617 | ||
618 | @smallexample | |
619 | index % time self children called name | |
620 | @dots{} | |
621 | 0.00 0.05 1/1 main [2] | |
622 | [3] 100.0 0.00 0.05 1 report [3] | |
623 | @end smallexample | |
624 | ||
625 | Here are the meanings of the fields in the caller-line for @code{report} | |
626 | called from @code{main}: | |
627 | ||
628 | @table @code | |
629 | @item self | |
630 | An estimate of the amount of time spent in @code{report} itself when it was | |
631 | called from @code{main}. | |
632 | ||
633 | @item children | |
634 | An estimate of the amount of time spent in subroutines of @code{report} | |
635 | when @code{report} was called from @code{main}. | |
636 | ||
637 | The sum of the @code{self} and @code{children} fields is an estimate | |
638 | of the amount of time spent within calls to @code{report} from @code{main}. | |
639 | ||
640 | @item called | |
641 | Two numbers: the number of times @code{report} was called from @code{main}, | |
642 | followed by the total number of nonrecursive calls to @code{report} from | |
643 | all its callers. | |
644 | ||
645 | @item name and index number | |
646 | The name of the caller of @code{report} to which this line applies, | |
647 | followed by the caller's index number. | |
648 | ||
649 | Not all functions have entries in the call graph; some | |
650 | options to @code{gprof} request the omission of certain functions. | |
651 | When a caller has no entry of its own, it still has caller-lines | |
652 | in the entries of the functions it calls. | |
653 | ||
654 | If the caller is part of a recursion cycle, the cycle number is | |
655 | printed between the name and the index number. | |
656 | @end table | |
657 | ||
658 | If the identity of the callers of a function cannot be determined, a | |
659 | dummy caller-line is printed which has @samp{<spontaneous>} as the | |
660 | ``caller's name'' and all other fields blank. This can happen for | |
661 | signal handlers. | |
662 | @c What if some calls have determinable callers' names but not all? | |
663 | @c FIXME - still relevant? | |
664 | ||
665 | @node Subroutines, Cycles, Callers, Call Graph | |
666 | @section Lines for a Function's Subroutines | |
667 | ||
668 | A function's entry has a line for each of its subroutines---in other | |
669 | words, a line for each other function that it called. These lines' | |
670 | fields correspond to the fields of the primary line, but their meanings | |
671 | are different because of the difference in context. | |
672 | ||
673 | For reference, we repeat two lines from the entry for the function | |
674 | @code{main}, the primary line and a line for a subroutine, together | |
675 | with the heading line that shows the names of the fields: | |
676 | ||
677 | @smallexample | |
678 | index % time self children called name | |
679 | @dots{} | |
680 | [2] 100.0 0.00 0.05 1 main [2] | |
681 | 0.00 0.05 1/1 report [3] | |
682 | @end smallexample | |
683 | ||
684 | Here are the meanings of the fields in the subroutine-line for @code{main} | |
685 | calling @code{report}: | |
686 | ||
687 | @table @code | |
688 | @item self | |
689 | An estimate of the amount of time spent directly within @code{report} | |
690 | when @code{report} was called from @code{main}. | |
691 | ||
692 | @item children | |
693 | An estimate of the amount of time spent in subroutines of @code{report} | |
694 | when @code{report} was called from @code{main}. | |
695 | ||
696 | The sum of the @code{self} and @code{children} fields is an estimate | |
697 | of the total time spent in calls to @code{report} from @code{main}. | |
698 | ||
699 | @item called | |
700 | Two numbers, the number of calls to @code{report} from @code{main} | |
701 | followed by the total number of nonrecursive calls to @code{report}. | |
702 | ||
703 | @item name | |
704 | The name of the subroutine of @code{main} to which this line applies, | |
705 | followed by the subroutine's index number. | |
706 | ||
707 | If the caller is part of a recursion cycle, the cycle number is | |
708 | printed between the name and the index number. | |
709 | @end table | |
710 | ||
711 | @node Cycles,, Subroutines, Call Graph | |
712 | @section How Mutually Recursive Functions Are Described | |
713 | @cindex cycle | |
714 | @cindex recursion cycle | |
715 | ||
716 | The graph may be complicated by the presence of @dfn{cycles of | |
717 | recursion} in the call graph. A cycle exists if a function calls | |
718 | another function that (directly or indirectly) calls (or appears to | |
719 | call) the original function. For example: if @code{a} calls @code{b}, | |
720 | and @code{b} calls @code{a}, then @code{a} and @code{b} form a cycle. | |
721 | ||
722 | Whenever there are call-paths both ways between a pair of functions, they | |
723 | belong to the same cycle. If @code{a} and @code{b} call each other and | |
724 | @code{b} and @code{c} call each other, all three make one cycle. Note that | |
725 | even if @code{b} only calls @code{a} if it was not called from @code{a}, | |
726 | @code{gprof} cannot determine this, so @code{a} and @code{b} are still | |
727 | considered a cycle. | |
728 | ||
729 | The cycles are numbered with consecutive integers. When a function | |
730 | belongs to a cycle, each time the function name appears in the call graph | |
731 | it is followed by @samp{<cycle @var{number}>}. | |
732 | ||
733 | The reason cycles matter is that they make the time values in the call | |
734 | graph paradoxical. The ``time spent in children'' of @code{a} should | |
735 | include the time spent in its subroutine @code{b} and in @code{b}'s | |
736 | subroutines---but one of @code{b}'s subroutines is @code{a}! How much of | |
737 | @code{a}'s time should be included in the children of @code{a}, when | |
738 | @code{a} is indirectly recursive? | |
739 | ||
740 | The way @code{gprof} resolves this paradox is by creating a single entry | |
741 | for the cycle as a whole. The primary line of this entry describes the | |
742 | total time spent directly in the functions of the cycle. The | |
743 | ``subroutines'' of the cycle are the individual functions of the cycle, and | |
744 | all other functions that were called directly by them. The ``callers'' of | |
745 | the cycle are the functions, outside the cycle, that called functions in | |
746 | the cycle. | |
747 | ||
748 | Here is an example portion of a call graph which shows a cycle containing | |
749 | functions @code{a} and @code{b}. The cycle was entered by a call to | |
750 | @code{a} from @code{main}; both @code{a} and @code{b} called @code{c}. | |
751 | ||
752 | @smallexample | |
753 | index % time self children called name | |
754 | ---------------------------------------- | |
755 | 1.77 0 1/1 main [2] | |
756 | [3] 91.71 1.77 0 1+5 <cycle 1 as a whole> [3] | |
757 | 1.02 0 3 b <cycle 1> [4] | |
758 | 0.75 0 2 a <cycle 1> [5] | |
759 | ---------------------------------------- | |
760 | 3 a <cycle 1> [5] | |
761 | [4] 52.85 1.02 0 0 b <cycle 1> [4] | |
762 | 2 a <cycle 1> [5] | |
763 | 0 0 3/6 c [6] | |
764 | ---------------------------------------- | |
765 | 1.77 0 1/1 main [2] | |
766 | 2 b <cycle 1> [4] | |
767 | [5] 38.86 0.75 0 1 a <cycle 1> [5] | |
768 | 3 b <cycle 1> [4] | |
769 | 0 0 3/6 c [6] | |
770 | ---------------------------------------- | |
771 | @end smallexample | |
772 | ||
773 | @noindent | |
774 | (The entire call graph for this program contains in addition an entry for | |
775 | @code{main}, which calls @code{a}, and an entry for @code{c}, with callers | |
776 | @code{a} and @code{b}.) | |
777 | ||
778 | @smallexample | |
779 | index % time self children called name | |
780 | <spontaneous> | |
781 | [1] 100.00 0 1.93 0 start [1] | |
782 | 0.16 1.77 1/1 main [2] | |
783 | ---------------------------------------- | |
784 | 0.16 1.77 1/1 start [1] | |
785 | [2] 100.00 0.16 1.77 1 main [2] | |
786 | 1.77 0 1/1 a <cycle 1> [5] | |
787 | ---------------------------------------- | |
788 | 1.77 0 1/1 main [2] | |
789 | [3] 91.71 1.77 0 1+5 <cycle 1 as a whole> [3] | |
790 | 1.02 0 3 b <cycle 1> [4] | |
791 | 0.75 0 2 a <cycle 1> [5] | |
792 | 0 0 6/6 c [6] | |
793 | ---------------------------------------- | |
794 | 3 a <cycle 1> [5] | |
795 | [4] 52.85 1.02 0 0 b <cycle 1> [4] | |
796 | 2 a <cycle 1> [5] | |
797 | 0 0 3/6 c [6] | |
798 | ---------------------------------------- | |
799 | 1.77 0 1/1 main [2] | |
800 | 2 b <cycle 1> [4] | |
801 | [5] 38.86 0.75 0 1 a <cycle 1> [5] | |
802 | 3 b <cycle 1> [4] | |
803 | 0 0 3/6 c [6] | |
804 | ---------------------------------------- | |
805 | 0 0 3/6 b <cycle 1> [4] | |
806 | 0 0 3/6 a <cycle 1> [5] | |
807 | [6] 0.00 0 0 6 c [6] | |
808 | ---------------------------------------- | |
809 | @end smallexample | |
810 | ||
811 | The @code{self} field of the cycle's primary line is the total time | |
812 | spent in all the functions of the cycle. It equals the sum of the | |
813 | @code{self} fields for the individual functions in the cycle, found | |
814 | in the entry in the subroutine lines for these functions. | |
815 | ||
816 | The @code{children} fields of the cycle's primary line and subroutine lines | |
817 | count only subroutines outside the cycle. Even though @code{a} calls | |
818 | @code{b}, the time spent in those calls to @code{b} is not counted in | |
819 | @code{a}'s @code{children} time. Thus, we do not encounter the problem of | |
820 | what to do when the time in those calls to @code{b} includes indirect | |
821 | recursive calls back to @code{a}. | |
822 | ||
823 | The @code{children} field of a caller-line in the cycle's entry estimates | |
824 | the amount of time spent @emph{in the whole cycle}, and its other | |
825 | subroutines, on the times when that caller called a function in the cycle. | |
826 | ||
827 | The @code{calls} field in the primary line for the cycle has two numbers: | |
828 | first, the number of times functions in the cycle were called by functions | |
829 | outside the cycle; second, the number of times they were called by | |
830 | functions in the cycle (including times when a function in the cycle calls | |
831 | itself). This is a generalization of the usual split into nonrecursive and | |
832 | recursive calls. | |
833 | ||
834 | The @code{calls} field of a subroutine-line for a cycle member in the | |
835 | cycle's entry says how many time that function was called from functions in | |
836 | the cycle. The total of all these is the second number in the primary line's | |
837 | @code{calls} field. | |
838 | ||
839 | In the individual entry for a function in a cycle, the other functions in | |
840 | the same cycle can appear as subroutines and as callers. These lines show | |
841 | how many times each function in the cycle called or was called from each other | |
842 | function in the cycle. The @code{self} and @code{children} fields in these | |
843 | lines are blank because of the difficulty of defining meanings for them | |
844 | when recursion is going on. | |
845 | ||
846 | @node Implementation, Sampling Error, Call Graph, Top | |
847 | @chapter Implementation of Profiling | |
848 | ||
849 | Profiling works by changing how every function in your program is compiled | |
850 | so that when it is called, it will stash away some information about where | |
851 | it was called from. From this, the profiler can figure out what function | |
852 | called it, and can count how many times it was called. This change is made | |
853 | by the compiler when your program is compiled with the @samp{-pg} option. | |
854 | ||
855 | Profiling also involves watching your program as it runs, and keeping a | |
856 | histogram of where the program counter happens to be every now and then. | |
857 | Typically the program counter is looked at around 100 times per second of | |
858 | run time, but the exact frequency may vary from system to system. | |
859 | ||
860 | A special startup routine allocates memory for the histogram and sets up | |
861 | a clock signal handler to make entries in it. Use of this special | |
862 | startup routine is one of the effects of using @samp{gcc @dots{} -pg} to | |
863 | link. The startup file also includes an @samp{exit} function which is | |
864 | responsible for writing the file @file{gmon.out}. | |
865 | ||
866 | Number-of-calls information for library routines is collected by using a | |
867 | special version of the C library. The programs in it are the same as in | |
868 | the usual C library, but they were compiled with @samp{-pg}. If you | |
869 | link your program with @samp{gcc @dots{} -pg}, it automatically uses the | |
870 | profiling version of the library. | |
871 | ||
872 | The output from @code{gprof} gives no indication of parts of your program that | |
873 | are limited by I/O or swapping bandwidth. This is because samples of the | |
874 | program counter are taken at fixed intervals of run time. Therefore, the | |
875 | time measurements in @code{gprof} output say nothing about time that your | |
876 | program was not running. For example, a part of the program that creates | |
877 | so much data that it cannot all fit in physical memory at once may run very | |
878 | slowly due to thrashing, but @code{gprof} will say it uses little time. On | |
879 | the other hand, sampling by run time has the advantage that the amount of | |
880 | load due to other users won't directly affect the output you get. | |
881 | ||
882 | @node Sampling Error, Assumptions, Implementation, Top | |
883 | @chapter Statistical Inaccuracy of @code{gprof} Output | |
884 | ||
885 | The run-time figures that @code{gprof} gives you are based on a sampling | |
886 | process, so they are subject to statistical inaccuracy. If a function runs | |
887 | only a small amount of time, so that on the average the sampling process | |
888 | ought to catch that function in the act only once, there is a pretty good | |
889 | chance it will actually find that function zero times, or twice. | |
890 | ||
891 | By contrast, the number-of-calls figures are derived by counting, not | |
892 | sampling. They are completely accurate and will not vary from run to run | |
893 | if your program is deterministic. | |
894 | ||
895 | The @dfn{sampling period} that is printed at the beginning of the flat | |
896 | profile says how often samples are taken. The rule of thumb is that a | |
897 | run-time figure is accurate if it is considerably bigger than the sampling | |
898 | period. | |
899 | ||
900 | The actual amount of error is usually more than one sampling period. In | |
901 | fact, if a value is @var{n} times the sampling period, the @emph{expected} | |
902 | error in it is the square-root of @var{n} sampling periods. If the | |
903 | sampling period is 0.01 seconds and @code{foo}'s run-time is 1 second, the | |
904 | expected error in @code{foo}'s run-time is 0.1 seconds. It is likely to | |
905 | vary this much @emph{on the average} from one profiling run to the next. | |
906 | (@emph{Sometimes} it will vary more.) | |
907 | ||
908 | This does not mean that a small run-time figure is devoid of information. | |
909 | If the program's @emph{total} run-time is large, a small run-time for one | |
910 | function does tell you that that function used an insignificant fraction of | |
911 | the whole program's time. Usually this means it is not worth optimizing. | |
912 | ||
913 | One way to get more accuracy is to give your program more (but similar) | |
914 | input data so it will take longer. Another way is to combine the data from | |
915 | several runs, using the @samp{-s} option of @code{gprof}. Here is how: | |
916 | ||
917 | @enumerate | |
918 | @item | |
919 | Run your program once. | |
920 | ||
921 | @item | |
922 | Issue the command @samp{mv gmon.out gmon.sum}. | |
923 | ||
924 | @item | |
925 | Run your program again, the same as before. | |
926 | ||
927 | @item | |
928 | Merge the new data in @file{gmon.out} into @file{gmon.sum} with this command: | |
929 | ||
930 | @example | |
931 | gprof -s @var{executable-file} gmon.out gmon.sum | |
932 | @end example | |
933 | ||
934 | @item | |
935 | Repeat the last two steps as often as you wish. | |
936 | ||
937 | @item | |
938 | Analyze the cumulative data using this command: | |
939 | ||
940 | @example | |
941 | gprof @var{executable-file} gmon.sum > @var{output-file} | |
942 | @end example | |
943 | @end enumerate | |
944 | ||
945 | @node Assumptions, Incompatibilities, Sampling Error, Top | |
946 | @chapter Estimating @code{children} Times Uses an Assumption | |
947 | ||
948 | Some of the figures in the call graph are estimates---for example, the | |
949 | @code{children} time values and all the the time figures in caller and | |
950 | subroutine lines. | |
951 | ||
952 | There is no direct information about these measurements in the profile | |
953 | data itself. Instead, @code{gprof} estimates them by making an assumption | |
954 | about your program that might or might not be true. | |
955 | ||
956 | The assumption made is that the average time spent in each call to any | |
957 | function @code{foo} is not correlated with who called @code{foo}. If | |
958 | @code{foo} used 5 seconds in all, and 2/5 of the calls to @code{foo} came | |
959 | from @code{a}, then @code{foo} contributes 2 seconds to @code{a}'s | |
960 | @code{children} time, by assumption. | |
961 | ||
962 | This assumption is usually true enough, but for some programs it is far | |
963 | from true. Suppose that @code{foo} returns very quickly when its argument | |
964 | is zero; suppose that @code{a} always passes zero as an argument, while | |
965 | other callers of @code{foo} pass other arguments. In this program, all the | |
966 | time spent in @code{foo} is in the calls from callers other than @code{a}. | |
967 | But @code{gprof} has no way of knowing this; it will blindly and | |
968 | incorrectly charge 2 seconds of time in @code{foo} to the children of | |
969 | @code{a}. | |
970 | ||
971 | @c FIXME - has this been fixed? | |
972 | We hope some day to put more complete data into @file{gmon.out}, so that | |
973 | this assumption is no longer needed, if we can figure out how. For the | |
974 | nonce, the estimated figures are usually more useful than misleading. | |
975 | ||
976 | @node Incompatibilities, , Assumptions, Top | |
977 | @chapter Incompatibilities with Unix @code{gprof} | |
978 | ||
979 | @sc{gnu} @code{gprof} and Berkeley Unix @code{gprof} use the same data | |
980 | file @file{gmon.out}, and provide essentially the same information. But | |
981 | there are a few differences. | |
982 | ||
983 | @itemize @bullet | |
984 | @item | |
985 | For a recursive function, Unix @code{gprof} lists the function as a | |
986 | parent and as a child, with a @code{calls} field that lists the number | |
987 | of recursive calls. @sc{gnu} @code{gprof} omits these lines and puts | |
988 | the number of recursive calls in the primary line. | |
989 | ||
990 | @item | |
991 | When a function is suppressed from the call graph with @samp{-e}, @sc{gnu} | |
992 | @code{gprof} still lists it as a subroutine of functions that call it. | |
993 | ||
994 | @ignore - it does this now | |
995 | @item | |
996 | The function names printed in @sc{gnu} @code{gprof} output do not include | |
997 | the leading underscores that are added internally to the front of all | |
998 | C identifiers on many operating systems. | |
999 | @end ignore | |
1000 | ||
1001 | @item | |
1002 | The blurbs, field widths, and output formats are different. @sc{gnu} | |
1003 | @code{gprof} prints blurbs after the tables, so that you can see the | |
1004 | tables without skipping the blurbs. | |
1005 | ||
1006 | @contents | |
1007 | @bye | |
1008 | ||
1009 | NEEDS AN INDEX | |
1010 | ||
1011 | Still relevant? | |
1012 | The @file{gmon.out} file is written in the program's @emph{current working | |
1013 | directory} at the time it exits. This means that if your program calls | |
1014 | @code{chdir}, the @file{gmon.out} file will be left in the last directory | |
1015 | your program @code{chdir}'d to. If you don't have permission to write in | |
1016 | this directory, the file is not written. You may get a confusing error | |
1017 | message if this happens. (We have not yet replaced the part of Unix | |
1018 | responsible for this; when we do, we will make the error message | |
1019 | comprehensible.) | |
1020 | ||
1021 | -k from to...? | |
1022 | ||
1023 | -d debugging...? should this be documented? | |
1024 | ||
1025 | -T - "traditional BSD style": How is it different? Should the | |
1026 | differences be documented? | |
1027 | ||
1028 | what is this about? (and to think, I *wrote* it...) | |
1029 | @item -c | |
1030 | The @samp{-c} option causes the static call-graph of the program to be | |
1031 | discovered by a heuristic which examines the text space of the object | |
1032 | file. Static-only parents or children are indicated with call counts of | |
1033 | @samp{0}. | |
1034 | ||
1035 | example flat file adds up to 100.01%... | |
1036 | ||
1037 | note: time estimates now only go out to one decimal place (0.0), where | |
1038 | they used to extend two (78.67). |