dwm.png

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - 036abandon.cc</title>
<meta name="Generator" content="Vim/8.0">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="cpp">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
a { color:#eeeeee; text-decoration: none; }
a:hover { text-decoration: underline; }
* { font-size: 12pt; font-size: 1em; }
.cSpecial { color: #008000; }
.LineNr { color: #444444; }
.Constant { color: #00a0a0; }
.muRecipe { color: #ff8700; }
.Delimiter { color: #800080; }
.Special { color: #c00000; }
.Identifier { color: #c0a020; }
.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
.Comment { color: #9090ff; }
.Comment a { color:#0000ee; text-decoration:underline; }
.CommentedCode { color: #6c6c6c; }
.traceContains { color: #008000; }
-->
</style>

<script type='text/javascript'>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="Comment">//: Reclaiming memory when it's no longer used.</span>
<span id="L2" class="LineNr">  2 </span>
<span id="L3" class="LineNr">  3 </span><span class="Delimiter">:(scenario new_reclaim)</span>
<span id="L4" class="LineNr">  4 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L5" class="LineNr">  5 </span>  <span class="Constant">10</span>:&amp;:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span>
<span id="L6" class="LineNr">  6 </span>  <span class="Constant">20</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">10</span>:&amp;:num
<span id="L7" class="LineNr">  7 </span>  <a href='036abandon.cc.html#L63'>abandon</a> <span class="Constant">10</span>:&amp;:num
<span id="L8" class="LineNr">  8 </span>  <span class="Constant">30</span>:&amp;:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span>  <span class="Comment"># must be same size as abandoned memory to reuse</span>
<span id="L9" class="LineNr">  9 </span>  <span class="Constant">40</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">30</span>:&amp;:num
<span id="L10" class="LineNr"> 10 </span>  <span class="Constant">50</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>equal <span class="Constant">20</span>:num<span class="Delimiter">,</span> <span class="Constant">40</span>:num
<span id="L11" class="LineNr"> 11 </span>]
<span id="L12" class="LineNr"> 12 </span><span class="Comment"># both allocations should have returned the same address</span>
<span id="L13" class="LineNr"> 13 </span><span class="traceContains">+mem: storing 1 in location 50</span>
<span id="L14" class="LineNr"> 14 </span>
<span id="L15" class="LineNr"> 15 </span><span class="Comment">//: When abandoning addresses we'll save them to a 'free list', segregated by size.</span>
<span id="L16" class="LineNr"> 16 </span>
<span id="L17" class="LineNr"> 17 </span><span class="Comment">//: Before, suppose variable V contains address A which points to payload P:</span>
<span id="L18" class="LineNr"> 18 </span><span class="Comment">//:   location V contains an alloc-id N</span>
<span id="L19" class="LineNr"> 19 </span><span class="Comment">//:   location V+1 contains A</span>
<span id="L20" class="LineNr"> 20 </span><span class="Comment">//:   location A contains alloc-id N</span>
<span id="L21" class="LineNr"> 21 </span><span class="Comment">//:   location A+1 onwards contains P</span>
<span id="L22" class="LineNr"> 22 </span><span class="Comment">//: Additionally, suppose the head of the free list is initially F.</span>
<span id="L23" class="LineNr"> 23 </span><span class="Comment">//: After abandoning:</span>
<span id="L24" class="LineNr"> 24 </span><span class="Comment">//:   location V contains invalid alloc-id -1</span>
<span id="L25" class="LineNr"> 25 </span><span class="Comment">//:   location V+1 contains 0</span>
<span id="L26" class="LineNr"> 26 </span><span class="Comment">//:   location A contains invalid alloc-id N</span>
<span id="L27" class="LineNr"> 27 </span><span class="Comment">//:   location A+1 contains the previous head of free-list F</span>
<span id="L28" class="LineNr"> 28 </span>
<span id="L29" class="LineNr"> 29 </span><span class="Delimiter">:(before &quot;End routine Fields&quot;)</span>
<span id="L30" class="LineNr"> 30 </span>map&lt;<span class="Normal">int</span><span class="Delimiter">,</span> <span class="Normal">int</span>&gt; free_list<span class="Delimiter">;</span>
<span id="L31" class="LineNr"> 31 </span>
<span id="L32" class="LineNr"> 32 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L33" class="LineNr"> 33 </span>ABANDON<span class="Delimiter">,</span>
<span id="L34" class="LineNr"> 34 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L35" class="LineNr"> 35 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;abandon&quot;</span><span class="Delimiter">,</span> ABANDON<span class="Delimiter">);</span>
<span id="L36" class="LineNr"> 36 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L37" class="LineNr"> 37 </span><span class="Normal">case</span> ABANDON: <span class="Delimiter">{</span>
<span id="L38" class="LineNr"> 38 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!inst<span class="Delimiter">.</span>products<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L39" class="LineNr"> 39 </span>    <a href='003trace.cc.html#L197'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'abandon' shouldn't write to any products in '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L40" class="LineNr"> 40 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L41" class="LineNr"> 41 </span>  <span class="Delimiter">}</span>
<span id="L42" class="LineNr"> 42 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L43" class="LineNr"> 43 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_address<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)))</span>
<span id="L44" class="LineNr"> 44 </span>      <a href='003trace.cc.html#L197'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Recipe<span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;ingredients of 'abandon' should be addresses, but ingredient &quot;</span> &lt;&lt; i &lt;&lt; <span class="Constant">&quot; is '&quot;</span> &lt;&lt; to_string<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span>
<span id="L45" class="LineNr"> 45 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L46" class="LineNr"> 46 </span>  <span class="Delimiter">}</span>
<span id="L47" class="LineNr"> 47 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L48" class="LineNr"> 48 </span><span class="Delimiter">}</span>
<span id="L49" class="LineNr"> 49 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L50" class="LineNr"> 50 </span><span class="Normal">case</span> ABANDON: <span class="Delimiter">{</span>
<span id="L51" class="LineNr"> 51 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span>  i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L52" class="LineNr"> 52 </span>    reagent<span class="Comment">/*</span><span class="Comment">copy</span><span class="Comment">*/</span> ingredient = <a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L53" class="LineNr"> 53 </span>    <a href='035lookup.cc.html#L66'>canonize</a><span class="Delimiter">(</span>ingredient<span class="Delimiter">);</span>
<span id="L54" class="LineNr"> 54 </span>    <a href='036abandon.cc.html#L63'>abandon</a><span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> ingredient<span class="Delimiter">.</span>value+<span class="Comment">/*</span><span class="Comment">skip alloc id</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">),</span> <a href='036abandon.cc.html#L75'>payload_size</a><span class="Delimiter">(</span>ingredient<span class="Delimiter">));</span>
<span id="L55" class="LineNr"> 55 </span><span class="CommentedCode">//?     cerr &lt;&lt; &quot;clear after abandon: &quot; &lt;&lt; ingredient.value &lt;&lt; '\n';</span>
<span id="L56" class="LineNr"> 56 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> <span class="Comment">/*</span><span class="Comment">alloc id</span><span class="Comment">*/</span>ingredient<span class="Delimiter">.</span>value<span class="Delimiter">,</span> <span class="Comment">/*</span><span class="Comment">invalid</span><span class="Comment">*/</span>-<span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L57" class="LineNr"> 57 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> <span class="Comment">/*</span><span class="Comment"><a href='043space.cc.html#L101'>address</a></span><span class="Comment">*/</span>ingredient<span class="Delimiter">.</span>value+<span class="Constant">1</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L58" class="LineNr"> 58 </span>  <span class="Delimiter">}</span>
<span id="L59" class="LineNr"> 59 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L60" class="LineNr"> 60 </span><span class="Delimiter">}</span>
<span id="L61" class="LineNr"> 61 </span>
<span id="L62" class="LineNr"> 62 </span><span class="Delimiter">:(code)</span>
<span id="L63" class="LineNr"> 63 </span><span class="Normal">void</span> <a href='036abandon.cc.html#L63'>abandon</a><span class="Delimiter">(</span><span class="Normal">int</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">,</span> <span class="Normal">int</span> <a href='036abandon.cc.html#L75'>payload_size</a><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L64" class="LineNr"> 64 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">,</span> <span class="Comment">/*</span><span class="Comment">invalid alloc-id</span><span class="Comment">*/</span>-<span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L65" class="LineNr"> 65 </span><span class="CommentedCode">//?   cerr &lt;&lt; &quot;abandon: &quot; &lt;&lt; address &lt;&lt; '\n';</span>
<span id="L66" class="LineNr"> 66 </span>  <span class="Comment">// clear rest of payload</span>
<span id="L67" class="LineNr"> 67 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> curr = address+<span class="Constant">1</span><span class="Delimiter">;</span>  curr &lt; address+payload_size<span class="Delimiter">;</span>  ++curr<span class="Delimiter">)</span>
<span id="L68" class="LineNr"> 68 </span>    <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> curr<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L69" class="LineNr"> 69 </span>  <span class="Comment">// append existing free list to address</span>
<span id="L70" class="LineNr"> 70 </span>  <a href='003trace.cc.html#L190'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;abandon&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;saving &quot;</span> &lt;&lt; <a href='043space.cc.html#L101'>address</a> &lt;&lt; <span class="Constant">&quot; in free-list of size &quot;</span> &lt;&lt; <a href='036abandon.cc.html#L75'>payload_size</a> &lt;&lt; <a href='003trace.cc.html#L226'>end</a><span class="Delimiter">();</span>
<span id="L71" class="LineNr"> 71 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> address+<span class="Comment">/*</span><span class="Comment">skip invalid alloc-id</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">,</span> <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Current_routine<span class="Delimiter">-&gt;</span>free_list<span class="Delimiter">,</span> <a href='036abandon.cc.html#L75'>payload_size</a><span class="Delimiter">));</span>
<span id="L72" class="LineNr"> 72 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Current_routine<span class="Delimiter">-&gt;</span>free_list<span class="Delimiter">,</span> <a href='036abandon.cc.html#L75'>payload_size</a><span class="Delimiter">,</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">);</span>
<span id="L73" class="LineNr"> 73 </span><span class="Delimiter">}</span>
<span id="L74" class="LineNr"> 74 </span>
<span id="L75" class="LineNr"> 75 </span><span class="Normal">int</span> <a href='036abandon.cc.html#L75'>payload_size</a><span class="Delimiter">(</span>reagent<span class="Comment">/*</span><span class="Comment">copy</span><span class="Comment">*/</span> x<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L76" class="LineNr"> 76 </span>  x<span class="Delimiter">.</span>properties<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>pair&lt;string<span class="Delimiter">,</span> string_tree*&gt;<span class="Delimiter">(</span><span class="Constant">&quot;lookup&quot;</span><span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">));</span>
<span id="L77" class="LineNr"> 77 </span>  <a href='035lookup.cc.html#L88'>lookup_memory_core</a><span class="Delimiter">(</span>x<span class="Delimiter">,</span> <span class="Comment">/*</span><span class="Comment">check_for_null</span><span class="Comment">*/</span><span class="Constant">false</span><span class="Delimiter">);</span>
<span id="L78" class="LineNr"> 78 </span>  <span class="Identifier">return</span> size_of<span class="Delimiter">(</span>x<span class="Delimiter">)</span>+<span class="Comment">/*</span><span class="Comment">alloc id</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">;</span>
<span id="L79" class="LineNr"> 79 </span><span class="Delimiter">}</span>
<span id="L80" class="LineNr"> 80 </span>
<span id="L81" class="LineNr"> 81 </span><span class="Delimiter">:(after &quot;Allocate Special-cases&quot;)</span>
<span id="L82" class="LineNr"> 82 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Current_routine<span class="Delimiter">-&gt;</span>free_list<span class="Delimiter">,</span> size<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L83" class="LineNr"> 83 </span>  <a href='003trace.cc.html#L190'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;abandon&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;picking up space from free-list of size &quot;</span> &lt;&lt; size &lt;&lt; <a href='003trace.cc.html#L226'>end</a><span class="Delimiter">();</span>
<span id="L84" class="LineNr"> 84 </span>  <span class="Normal">int</span> result = <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Current_routine<span class="Delimiter">-&gt;</span>free_list<span class="Delimiter">,</span> size<span class="Delimiter">);</span>
<span id="L85" class="LineNr"> 85 </span>  <a href='003trace.cc.html#L190'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;mem&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;new alloc from free list: &quot;</span> &lt;&lt; result &lt;&lt; <a href='003trace.cc.html#L226'>end</a><span class="Delimiter">();</span>
<span id="L86" class="LineNr"> 86 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Current_routine<span class="Delimiter">-&gt;</span>free_list<span class="Delimiter">,</span> size<span class="Delimiter">,</span> <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> result+<span class="Comment">/*</span><span class="Comment">skip alloc id</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">));</span>
<span id="L87" class="LineNr"> 87 </span>  <span class="Comment">// clear 'deleted' tag</span>
<span id="L88" class="LineNr"> 88 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> result<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L89" class="LineNr"> 89 </span>  <span class="Comment">// clear next pointer</span>
<span id="L90" class="LineNr"> 90 </span>  <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> result+<span class="Comment">/*</span><span class="Comment">skip alloc id</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L91" class="LineNr"> 91 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> curr = result<span class="Delimiter">;</span>  curr &lt; result+size<span class="Delimiter">;</span>  ++curr<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L92" class="LineNr"> 92 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> curr<span class="Delimiter">)</span> != <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L93" class="LineNr"> 93 </span>      <a href='003trace.cc.html#L197'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;memory in free list was not zeroed out: &quot;</span> &lt;&lt; curr &lt;&lt; <span class="Constant">'/'</span> &lt;&lt; result &lt;&lt; <span class="Constant">&quot;; somebody wrote to us after free!!!</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L226'>end</a><span class="Delimiter">();</span>
<span id="L94" class="LineNr"> 94 </span>      <span class="Identifier">break</span><span class="Delimiter">;</span>  <span class="Comment">// always fatal</span>
<span id="L95" class="LineNr"> 95 </span>    <span class="Delimiter">}</span>
<span id="L96" class="LineNr"> 96 </span>  <span class="Delimiter">}</span>
<span id="L97" class="LineNr"> 97 </span>  <span class="Identifier">return</span> result<span class="Delimiter">;</span>
<span id="L98" class="LineNr"> 98 </span><span class="Delimiter">}</span>
<span id="L99" class="LineNr"> 99 </span>
<span id="L100" class="LineNr">100 </span><span class="Delimiter">:(scenario new_differing_size_no_reclaim)</span>
<span id="L101" class="LineNr">101 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L102" class="LineNr">102 </span>  <span class="Constant">1</span>:&amp;:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span>
<span id="L103" class="LineNr">103 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">1</span>:&amp;:num
<span id="L104" class="LineNr">104 </span>  <a href='036abandon.cc.html#L63'>abandon</a> <span class="Constant">1</span>:&amp;:num
<span id="L105" class="LineNr">105 </span>  <span class="Constant">3</span>:&amp;:@:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span><span class="Delimiter">,</span> <span class="Constant">2</span>  <span class="Comment"># different size</span>
<span id="L106" class="LineNr">106 </span>  <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">3</span>:&amp;:@:num
<span id="L107" class="LineNr">107 </span>  <span class="Constant">5</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>equal <span class="Constant">2</span>:num<span class="Delimiter">,</span> <span class="Constant">4</span>:num
<span id="L108" class="LineNr">108 </span>]
<span id="L109" class="LineNr">109 </span><span class="Comment"># no reuse</span>
<span id="L110" class="LineNr">110 </span><span class="traceContains">+mem: storing 0 in location 5</span>
<span id="L111" class="LineNr">111 </span>
<span id="L112" class="LineNr">112 </span><span class="Delimiter">:(scenario new_reclaim_array)</span>
<span id="L113" class="LineNr">113 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L114" class="LineNr">114 </span>  <span class="Constant">10</span>:&amp;:@:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span><span class="Delimiter">,</span> <span class="Constant">2</span>
<span id="L115" class="LineNr">115 </span>  <span class="Constant">20</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">10</span>:&amp;:@:num
<span id="L116" class="LineNr">116 </span>  <a href='036abandon.cc.html#L63'>abandon</a> <span class="Constant">10</span>:&amp;:@:num
<span id="L117" class="LineNr">117 </span>  <span class="Constant">30</span>:&amp;:@:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">number:type</span><span class="Delimiter">,</span> <span class="Constant">2</span>  <span class="Comment"># same size</span>
<span id="L118" class="LineNr">118 </span>  <span class="Constant">40</span>:num<span class="Special"> &lt;- </span>deaddress <span class="Constant">30</span>:&amp;:@:num
<span id="L119" class="LineNr">119 </span>  <span class="Constant">50</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>equal <span class="Constant">20</span>:num<span class="Delimiter">,</span> <span class="Constant">40</span>:num
<span id="L120" class="LineNr">120 </span>]
<span id="L121" class="LineNr">121 </span><span class="Comment"># both calls to new returned identical addresses</span>
<span id="L122" class="LineNr">122 </span><span class="traceContains">+mem: storing 1 in location 50</span>
<span id="L123" class="LineNr">123 </span>
<span id="L124" class="LineNr">124 </span><span class="Delimiter">:(scenario lookup_of_abandoned_address_raises_error)</span>
<span id="L125" class="LineNr">125 </span><span class="Special">% Hide_errors = true;</span>
<span id="L126" class="LineNr">126 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L127" class="LineNr">127 </span>  <span class="Constant">1</span>:&amp;:num<span class="Special"> &lt;- </span><span class="Normal">new</span> <span class="Constant">num:type</span>
<span id="L128" class="LineNr">128 </span>  <span class="Constant">3</span>:&amp;:num<span class="Special"> &lt;- </span>copy <span class="Constant">1</span>:&amp;:num
<span id="L129" class="LineNr">129 </span>  <a href='036abandon.cc.html#L63'>abandon</a> <span class="Constant">1</span>:&amp;:num
<span id="L130" class="LineNr">130 </span>  <span class="Constant">5</span>:num/<span class="Special">raw &lt;- </span>copy *<span class="Constant">3</span>:&amp;:num
<span id="L131" class="LineNr">131 </span>]
<span id="L132" class="LineNr">132 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: <a href='043space.cc.html#L101'>address</a> is already abandoned in '5:num/raw &lt;- copy *3:&amp;:num'</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->
ofs	hex dump	ascii
0000	89 50 4e 47 0d 0a 1a 0a 00 00 00 0d 49 48 44 52 00 00 00 c0 00 00 00 50 08 02 00 00 00 c0 d8 ed	.PNG........IHDR.......P........
0020	13 00 00 00 06 62 4b 47 44 00 ff 00 ff 00 ff a0 bd a7 93 00 00 00 09 70 48 59 73 00 00 0b 13 00	.....bKGD..............pHYs.....
0040	00 0b 13 01 00 9a 9c 18 00 00 00 07 74 49 4d 45 07 d6 07 13 0c 31 06 de 1b 2a 10 00 00 00 1d 74	............tIME.....1...*.....t
0060	45 58 74 43 6f 6d 6d 65 6e 74 00 43 72 65 61 74 65 64 20 77 69 74 68 20 54 68 65 20 47 49 4d 50	EXtComment.Created.with.The.GIMP
0080	ef 64 25 6e 00 00 00 d9 49 44 41 54 78 da ed dd 41 0a 80 30 0c 00 41 23 fe ff cb f1 0d 81 06 52	.d%n....IDATx...A..0..A#.......R
00a0	32 73 56 51 59 da 4b d0 c8 cc 67 92 88 28 1d 3f ed fe b7 79 bd 02 04 84 80 10 10 02 02 01 21 20	2sVQY.K...g..(.?...y..........!.
00c0	04 84 80 40 40 08 08 01 21 20 10 10 02 42 40 08 08 04 84 80 10 10 02 42 40 20 20 04 84 80 10 10	...@@...!....B@........B@.......
00e0	08 08 01 21 20 04 04 02 a2 43 dc fe 00 d5 ef 03 75 7f 7f a8 7a 7d 2b 10 b6 30 10 10 02 42 40 08	...!.....C......u...z}+..0...B@.
0100	08 04 84 80 10 10 02 02 01 21 20 04 84 80 40 40 1c f4 55 4f e8 fe 3f d7 b6 79 9a db e7 99 ac 40	.........!....@@..UO..?..y.....@
0120	d8 c2 10 10 02 42 40 20 20 04 84 80 10 10 08 08 01 21 20 04 04 02 42 40 8c 52 9e 07 9a 36 af d3	.....B@..........!....B@.R...6..
0140	7d 3f db e6 93 ac 40 08 08 01 21 20 10 10 02 42 40 08 08 04 84 80 10 10 02 02 01 21 20 04 c4 d5	}?....@...!....B@..........!....
0160	7e 8b c2 15 a9 b3 6f d5 23 00 00 00 00 49 45 4e 44 ae 42 60 82	~.....o.#....IEND.B`.