3.4.9 Profile structure values

space_header

Type

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.