3.4.9 Profile structure values

space_header

Summary

General space-profiling statistics for the profiler invocation.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype space_header = Space of
  {data_allocated: int,
   functions: int, 
   collections: int, 
   total_profiled : function_space_profile} 

Description

General space-profiling statistics for the profiler invocation. These statistics are gathered regardless of whether the profiling manner in use gathered space-profiling information for its function_profile.

data_allocated

Number of bytes allocated by the space profiler.

functions

Number of code vectors space-profiled.

collections

Number of garbage collections during the profiler invocation.

total_profiled

Pointwise total of all function_space_profiles. This will be zero if space-profiling was not requested for any function.

Generated with Harlequin WebMaker