3.4.9 Profile structure values

time_header

Summary

General time-profiling statistics for the profiler invocation.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype time_header = Time of
  {data_allocated: int,
   functions: int,
   scans: int,
   gc_ticks: int,
   profile_ticks: int,
   frames: real,
   ml_frames: real,
   max_ml_stack_depth: int}

Description

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

data_allocated

Number of bytes allocated by the time profiler.

functions

Number of code vectors time profiled.

scans

Total number of stack scans. Will be zero if scanning is off.

gc_ticks

Number of scans skipped because the system was collecting garbage.

profile_ticks

Number of scans skipped because the system was in profile code.

frames

Number of stack frames scanned in total. Will be zero if scanning is off.

ml_frames

Number of ML frames scanned in total.

max_ml_stack_depth

Maximum depth of ML frames found in a single scan.

Generated with Harlequin WebMaker