3.4.9 Profile structure values

object_kind

Type

Summary

The various kinds of MLWorks runtime object that can be broken down in a function space profile.

Signature

MLWORKS.Profile

Structure

MLWorks.Profile

Type

datatype object_kind = 
   RECORD
 | PAIR
 | CLOSURE
 | STRING
 | ARRAY
 | BYTEARRAY
 | OTHER
 | TOTAL

Description

The various kinds of MLWorks runtime object that can be broken down in a function space profile.

Object kinds to be broken down are specified in the breakdown field of the record you pass to make_manner. Breakdowns are given in the allocated field of the value of function_space_profile returned after function-space profiling.

Of the total amount of space allocated by a function, a breakdown shows how much of that space was taken by a certain kind of object.

The kinds of objects are mostly self evident, but OTHER is shorthand for weak arrays and code objects; TOTAL is not an object kind, but for use in the profiling manner. If you specify TOTAL, you get back a breakdown list with TOTAL records, which contain the relevant total information for everything allocated by that function.