NAME¶
mlprof - display profiling information for a MLton-compiled executable
SYNOPSIS¶
mlprof [option ...] a.out [mlmon.out ...]
DESCRIPTION¶
mlprof extracts information from an executable compiled by
MLton
with
-profile alloc or
-profile time and the resulting
mlmon.out file produced by running the executable.
The output of
mlprof consists of an initial line indicating the total
amount of CPU time or bytes allocated. After this, source functions are listed
along with the percentage of this total that they used, in decreasing order.
If the program was compiled with
-profile-stack true,
mlprof
will display the time spent or bytes allocated while the function was on the
stack and in GC in addition to the time or bytes that the function is directly
responsible for.
With multiple
mlmon.out files,
mlprof will sum the profiling
information.
OPTIONS¶
- -call-graph file
- Write a call graph containing the table data to a dot file.
See the MLton User Guide for details.
- -graph-title string
- Set the call-graph title.
- -gray
{false|true}
- Gray call-graph nodes according to stack %. This only makes
sense if the executable was compiled -profile-stack true.
- -keep exp
- Only show functions specified by exp. For details on
the allowed expressions, see the MLton User Guide. Multiple
-keep expressions are not allowed.
- -mlmon file
- Process the list of whitespace-separated mlmon.out
files found in the specified file.
- -raw
{false|true}
- Show the raw counts in addition to the percentages.
- -show-line
{false|true}
- Show the file and line for each function.
- -split regexp
- Treat duplicates of functions whose name matches
regexp as different functions.
- -thresh x
- An abbreviation for -keep '(thresh x)', which only
prints information about functions whose percentage is greater than or
equal to x, where 0 <= x <= 100.0.
- -tolerant
{false|true}
- Print a warning about broken mlmon.out files, but do
not exit.
SEE ALSO¶
mlton(1) and the
MLton Guide.