MLton 20100608 ShowProf
Home  Index  
If an executable is compiled for profiling, then it accepts a special command-line runtime system argument, show-prof, that outputs information about the source functions that are profiled. Normally, this information is used by mlprof. This page documents the show-prof output format, and is intended for those working on the profiler internals.

The show-prof output is ASCII, and consists of a sequence of lines.

The latter two arrays, split sources and split-source sequences, define a directed graph, which is the call-graph of the program.


Last edited on 2006-10-23 23:29:54 by StephenWeeks.