3.4 Profiling: the Profile structure

3.4.3 Profiling manners

Profiling manners, which describe how the profiler should gather profiling data, are represented by the type manner. To define a manner, use the function make_manner. The function takes a record describing how to perform an execution profile, and returns a manner:

val make_manner : {time : bool, space : bool, calls : bool, copies : bool, depth : int, breakdown : object_kind list} -> manner

By providing values for these fields, you specify a manner in which to profile a function:

time: If true, gather time-profiling data.
space: If true, gather space-profiling data.
calls: If true, gather function-call-counting data.
copies: If true, record the number of garbage-collector copies per generation in any space profile.
depth: An integer specifying the call-depth to which callers should be recorded in multi-level time profiling. See the note on multi-level time profiling in Section 3.4.6 on page 27.
breakdown: A list of the kinds of object to break down in any space profile. Of the total amount of space allocated by a function, breakdowns show how much of that space was taken by a certain kind of object. See object_kind, page 41.