doc/guide/localhost/Reachability

   1 <!DOCTYPE html>
   2 <html lang="en">
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta name="generator" content="AsciiDoc 8.6.9">
   6 <title>Reachability</title>
   7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
   8 <link rel="stylesheet" href="./pygments.css" type="text/css">
   9
  10
  11 <script type="text/javascript" src="./asciidoc.js"></script>
  12 <script type="text/javascript">
  13 /*<![CDATA[*/
  14 asciidoc.install();
  15 /*]]>*/
  16 </script>
  17 <link rel="stylesheet" href="./mlton.css" type="text/css">
  18 </head>
  19 <body class="article">
  20 <div id="banner">
  21 <div id="banner-home">
  22 <a href="./Home">MLton 20180207</a>
  23 </div>
  24 </div>
  25 <div id="header">
  26 <h1>Reachability</h1>
  27 </div>
  28 <div id="content">
  29 <div id="preamble">
  30 <div class="sectionbody">
  31 <div class="paragraph"><p>Reachability is a notion dealing with the graph of heap objects
  32 maintained at runtime.  Nodes in the graph are heap objects and edges
  33 correspond to the pointers between heap objects.  As the program runs,
  34 it allocates new objects (adds nodes to the graph), and those new
  35 objects can contain pointers to other objects (new edges in the
  36 graph).  If the program uses mutable objects (refs or arrays), it can
  37 also change edges in the graph.</p></div>
  38 <div class="paragraph"><p>At any time, the program has access to some finite set of <em>root</em>
  39 nodes, and can only ever access nodes that are reachable by following
  40 edges from these root nodes.  Nodes that are <em>unreachable</em> can be
  41 garbage collected.</p></div>
  42 </div>
  43 </div>
  44 <div class="sect1">
  45 <h2 id="_also_see">Also see</h2>
  46 <div class="sectionbody">
  47 <div class="ulist"><ul>
  48 <li>
  49 <p>
  50 <a href="MLtonFinalizable">MLtonFinalizable</a>
  51 </p>
  52 </li>
  53 <li>
  54 <p>
  55 <a href="MLtonWeak">MLtonWeak</a>
  56 </p>
  57 </li>
  58 </ul></div>
  59 </div>
  60 </div>
  61 </div>
  62 <div id="footnotes"><hr></div>
  63 <div id="footer">
  64 <div id="footer-text">
  65 </div>
  66 <div id="footer-badges">
  67 </div>
  68 </div>
  69 </body>
  70 </html>