documents/userman/umsprofile.tex

37 %{\eclipse} contains two profiling tools that permit to collect statistics
47 %the second tool is the {\it statistics} tool which collects
48 %for each called predicate the statistics about its behaviour
68 and then it prints the statistics about the time spent
145 %The statistics tool is predicate based.
146 %The user can switch on statistics collection
149 %The statistics tool is closely related to the debugger.
155 %A sample output from the statistics tool looks like this:
171 %The relation between the debugger ports and the statistics counters is as
188 %the statistics tool either, ie.
198 %There is a global flag {\tt statistics} (accessed with \bipref{set_flag/2}{../bips/kernel/env/set_flag-2.html},
208 %The output of the statistics tool goes to the {\tt output} stream.
214 %The statistics table can be sorted on  a specified column
248 %information about all predicates executed, the global {\tt statistics}-flag
255 %[eclipse 2]: set_flag(statistics, all).   % switch collecting on
278 %Calling {\tt set_flag(statistics, all)} again will reset all counters to zero,
280 %{\tt set_flag(statistics, off)} will reset all counters to zero and
281 %disable further statistics.
282 %The current value of the global {\tt statistics}-flag can be queried with
296 %initialising the counters. It can be used for collecting cumulative statistics.
301 %For that purpose, every predicate has an individual {\tt statistics}-flag.
302 %A predicate is selected for statistics by switching this flag to {\tt on},
305 %set_flag(PredSpec, statistics, on).
309 %select this predicate for statistics and set its {\tt statistics}-flag.
313 %[eclipse 1]: set_flag(statistics, off).  % reset all counters
316 %[eclipse 2]: set_flag(partition/4, statistics, on),
317 %        set_flag(qsort/3, statistics, on).   % select some predicates
320 %[eclipse 3]: get_flag(statistics, X).
340 %\index{mode statistics}
341 %The global {\tt statistics}-flag can take another value called {\tt mode}.
353 %[eclipse 1]: set_flag(statistics,mode).
372 %produces a different mode statistics.
375 %returned by the mode statistics will not be more restrictive than the