3.4.9 Profile structure values

time_header

Type

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.