Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > d07d7ab417d79053e7e0155c99e1a1c8 > files > 2309

mlton-20100608-3.fc15.i686.rpm

<!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>
      &nbsp;<a href = "TitleIndex">Index</a>
      &nbsp;
</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&nbsp;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&nbsp;-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&nbsp;false</tt>  or <tt>-profile-stack&nbsp;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&nbsp;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>