3.4 Profiling: the Profile structure

3.4.7 Space profiling

The profiler offers space profiling. You can request it by setting the space field to true when creating a manner with make_manner. For each function you space-profile, the profiler returns a value of type function_space_profile in the space field of the function_profile. The contents of the function_space_profile record are only meaningful if the profiling manner used requested space-profiling information.

The following data is recorded in the fields of the function_space_profile:

The total amount of data allocated by the function during its execution (allocated).
The total amount of the allocated data that the garbage collector copied (copied).
A breakdown of copied, by garbage-collector generation number (copies).
A breakdown of allocated, by object kind (allocation). Of the total amount of space allocated by a function, breakdowns show how much of that space was taken by a certain kind of MLWorks runtime object. See object_kind, page 40.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker