.TH CPROF 1.SH NAMEcprof \- coverage profiling of limbo programs.SH SYNOPSIS.B cprof[.B -nfer] [.BI -m " modname"] ... [.I "cmd arg ..."].PP.B wm/cprof[.B -efr] [.BI -m " modname"] ... [.I "cmd arg ..."].SH DESCRIPTION.I Cprofis a coverage profiling tool which shows whether lines of limbo source have beenexecuted or not. It can also show the number of times a line of code has beenexecuted and can accumulate results over a series of runs if so desired. The source inquestion should be compiled with the .B -gflag so that the relevant symbol table files exist..PPThe.B -noption lists the name of the file along with the line number..PPThe.B -foption shows the number of times source code is executed rather than simplyindicating coverage..PPThe.B -roptions indicates that the profiling results should be recorded. Any profiled dis fileof the form <name>.dis will have the raw profiling results stored in a file named<name>.prf. If this file already existed before the run, the results will be added tothis file. The profiling results are not shown when this option is given..PPThe.B -moption lists the module names which are to be profiled. If none are given, all themodules loaded by the kernel will be profiled. The name may be the actual name ofthe module or its path name..PPThe.B -eoption profiles the module that is loaded first in any following command. In this casethere is no need to give a.B -moption as this is added automatically..PPAny remaining arguments are assumed tospecify a command and set of arguments to the command. If this is the case,.B cprofwill automatically start profiling, run the command to completion and thenstop profiling before either recording the results or showing the profile statistics..PPIf no command is given to profile, then.B cprofwill show the profile statistics from any existing recorded results in .prf files instead..PP.B Cprofdiscriminates between different sections of code on the same line. A limbofor statement, for example, consisting of initialization, condition and step all on the same lineof source code will be dealt with as three separate sections..PP.B Cprofdisplays the profile statistics as a list of the limbo source preceded by a linenumber and an indication of whether the line was executed or not. For each sectionof code on each line, a plus sign indicates that it was executed, a minus sign thatit was not and a question mark indicates that some of the dis instructions associatedwith the section of code were executed but some were not. Lines with noassociated dis code do not have an indication. Of course, given the.B -foption, the number of times each section is executed is shown instead..PP.I Wm/cprofis a graphical coverage profiling tool which shows which lines of limbo source have not beenexecuted. It can accumulate results over a series of runs if so desired..PPThe.B -roptions indicates that the profiling results should be recorded. Any profiled dis fileof the form <name>.dis will have the raw profiling results stored in a file named<name>.prf. If this file already existed before the run, the results will be added tothis file..PPThe.B -moption lists the module names which are to be profiled. If none are given, all themodules loaded by the kernel will be profiled. The name may be the actual name ofthe module or its path name..PPThe.B -eoption profiles the module that is loaded first in any following command. In this casethere is no need to give a.B -moption as this is added automatically..PPThe.B -foption allows a view of the execution profile rather than coverage profile. Each sourceline is preceded by the number of times it was executed and the text is coloured accordingto this: the darker the colour the more times the section of code was executed..PPAny remaining arguments are assumed tospecify a command and set of arguments to the command. If this is the case,.B wm/cprofwill automatically start profiling, run the command to completion and thenstop profiling before optionally recording the results and showing the profile statistics..PPIf no command is given to profile, then.B wm/cprofwill show the profile statistics from any existing recorded results in .prf files instead..PP.B Wm/cprofdisplays the profile statistics graphically. When the.B -foption is not present, code that has not been executed is shownin white against a red background. Code whose corresponding dis instructions havenot been wholly executed are shown in red against a white background. Typically aline of code such as.EX	x = !x;.EEmight show only partial execution if x has changed value from 1 to 0 but notvice-verse..PPThe top of the text window names the module along with any modules before andafter it in the list. If a module has 100% coverage this is stated as well. To help findunexecuted code, use the find icon in the menu bar. To move to the next or go back to any other profiled modules, use the arrow icons in the menu bar. The last icon, the reload icon, pops up a menu of profiled modules to choose from..PP.B wm/cprofcalls.I cprofto do the actual work..SH EXAMPLETo profile a particular command.IP.EXcprof /dis/math/sieve 100.EE.PPTo profile the same command but restrict attention to its own module (Sieve)..IP.EXcprof -m Sieve /dis/math/sieve 100.EE.PPA shorter version of the above:.IP.EXcprof -e /dis/math/sieve 100.EE.PPMake 3 runs recording results as we go:.IP.EXcprof -e -r /dis/math/sieve 100cprof -e -r /dis/math/sieve 1000cprof -e -r /dis/math/sieve 10000.EE.PPNow look at the cumulative results:.IP.EXcprof -m /dis/math/sieve.dis.EE.PPTo profile a particular command:.IP.EXwm/cprof /dis/math/sieve 100.EE.PPTo profile the same command but restrict attention to its own module (Partitions)..IP.EXwm/cprof -m Sieve /dis/math/sieve 100.EE.PPA shorter version of the above:.IP.EXwm/cprof -e /dis/math/sieve 100.EE.PPMake 3 runs recording results as we go using cprof for simplicity:.IP.EXcprof -e -r /dis/math/sieve 100cprof -e -r /dis/math/sieve 1000cprof -e -r /dis/math/sieve 10000.EE.PPNow look at the cumulative results graphically:.IP.EXwm/cprof -m /dis/math/sieve.dis.EE.SH SOURCE.B /appl/cmd/cprof.b.br.B /appl/wm/cprof.b.SH SEE ALSO.IR prof (1),.IR prof (2),.IR prof (3).SH BUGSNeither command can profile compiled limbo programs.