object_count

3.4.9 Profile structure values

Type

Summary

Records allocation and other space statistics for a data-object kind.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype object_count =
  Object_Count of
    {number : int,
     size : large_size,
     overhead : int}

Description

Records allocation data and other space statistics for a runtime object kind. It is used in space profiling.

number: Total number of runtime objects allocated.
size: Total amount of space used.
overhead: Total number of bytes used in overheads: header word, padding, and so on.

See also

function_space_profile, page 39

MLWorks Reference Manual (version 1.0) - 3 DEC 1996