/usr/share/doc/mlton/guide/MLmon is in mlton-doc 20100608-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta name="robots" content="index,nofollow">
<title>MLmon - MLton Standard ML Compiler (SML Compiler)</title>
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
<link rel="Start" href="Home">
</head>
<body lang="en" dir="ltr">
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-833377-1";
urchinTracker();
</script>
<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
<tr>
<td style = "
border: 0px;
color: darkblue;
font-size: 150%;
text-align: left;">
<a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
<td style = "
border: 0px;
font-size: 150%;
text-align: center;
width: 50%;">
MLmon
<td style = "
border: 0px;
text-align: right;">
<table cellspacing = 0 style = "border: 0px">
<tr style = "vertical-align: middle;">
</table>
<tr style = "background-color: white;">
<td colspan = 3
style = "
border: 0px;
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
<a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
An <tt>mlmon.out</tt> file records dynamic <a href="Profiling">profiling</a> counts. <h2 id="head-361a82465491c9161713f597566a3f42e5734e1b">File format</h2>
<p>
An <tt>mlmon.out</tt> file is a text file with a sequence of lines.
</p>
<ul>
<li>
<p>
The string "<tt>MLton prof</tt>".
</p>
</li>
<li class="gap">
<p>
The string "<tt>alloc</tt>", "<tt>count</tt>", or "<tt>time</tt>", depending on the kind of profiling information, corresponding to the command-line argument supplied to <tt>mlton -profile</tt>.
</p>
</li>
<li class="gap">
<p>
The string "<tt>current</tt>" or "<tt>stack</tt>" depending on whether profiling data was gathered for only the current function (the top of the stack) or for all functions on the stack. This corresponds to whether the executable was compiled with <tt>-profile-stack false</tt> or <tt>-profile-stack true</tt>.
</p>
</li>
<li class="gap">
<p>
The magic number of the executable.
</p>
</li>
<li class="gap">
<p>
The number of non-gc ticks, followed by a space, then the number of GC ticks.
</p>
</li>
<li class="gap">
<p>
The number of (split) functions for which data is recorded.
</p>
</li>
<li class="gap">
<p>
A line for each (split) function with counts. Each line contains an integer count of the number of ticks while the function was current. In addition, if stack data was gathered (<tt>-profile-stack true</tt>), then the line contains two additional tick counts:
</p>
</li>
<ul>
<li>
<p>
the number of ticks while the function was on the stack.
</p>
</li>
<li>
<p>
the number of ticks while the function was on the stack and a GC was performed.
</p>
</li>
</ul>
<li class="gap">
<p>
The number of (master) functions for which data is recorded.
</p>
</li>
<li class="gap">
<p>
A line for each (master) function with counts. The lines have the same format and meaning as with split-function counts.
</p>
</li>
</ul>
</div>
<p>
<hr>
Last edited on 2006-10-23 22:02:16 by <span title="ppp-71-139-167-207.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
|