.gitignore - crater - Crater is a photo gallery

summary refs log blame commit diff stats

path: root/.gitignore

blob: dca8eae548d5f2b88f89474d404778e810bf115a (plain) (tree)

2085b4c ^

3a443f9 ^

8
9

# Caches
.precomp

# Backup files
*~

.log

resources/config.toml

'alt'>

e5c11a51 ^

4690ce81 ^

a654e4ec ^

e5c11a51 ^

3e1349d2 ^

a654e4ec ^

3e1349d2 ^

70f4e9b6 ^

e5c11a51 ^

672e3e50 ^

a654e4ec ^

e5c11a51 ^

a654e4ec ^

672e3e50 ^

e5c11a51 ^

a654e4ec ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

201458e3 ^

204dae92 ^

672e3e50 ^

a654e4ec ^

6
7

11
12

15
16

17
18

30
31

59
60

99
100

102
103
104

105
106
107

110
111

117
118

141
142

143
144

145
146
147

159
160

172
173

174
175

176
177
178

186
187

195
196

221
222

223
224

231
232
233

234
235

236
237

239
240

275
276

277
278

301
302
303

324
325
326

388
389

390
391

392
393
394

426
427

487
488
489

505
506
507

550
551

552
553

554
555
556

583
584

585
586
587

599
600

601
602

603
604
605

615
616

665
666
667

<!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 - 073wait.cc</title>
<meta name="Generator" content="Vim/7.4">
<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: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
a { text-decoration: none; }
a:hover { text-decoration: underline; }
* { font-size: 12pt; font-size: 1em; }
.Constant { color: #00a0a0; }
.Special { color: #c00000; }
.muRecipe { color: #ff8700; }
.cSpecial { color: #008000; }
.Comment { color: #9090ff; }
.Delimiter { color: #800080; }
.LineNr { color: #444444; }
.traceContains { color: #008000; }
.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
.muData { color: #ffff00; }
.Identifier { color: #c0a020; }
.SalientComment { color: #00ffff; }
-->
</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">//: Routines can be put in a 'waiting' state, from which it will be ready to</span>
<span id="L2" class="LineNr">  2 </span><span class="Comment">//: run again when a specific memory location changes its value. This is Mu's</span>
<span id="L3" class="LineNr">  3 </span><span class="Comment">//: basic technique for orchestrating the order in which different routines</span>
<span id="L4" class="LineNr">  4 </span><span class="Comment">//: operate.</span>
<span id="L5" class="LineNr">  5 </span>
<span id="L6" class="LineNr">  6 </span><span class="Delimiter">:(scenario wait_for_location)</span>
<span id="L7" class="LineNr">  7 </span><span class="muRecipe">def</span> f1 [
<span id="L8" class="LineNr">  8 </span>  <span class="Constant">10</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L9" class="LineNr">  9 </span>  start-running f2
<span id="L10" class="LineNr"> 10 </span>  <span class="Constant">20</span>:location<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>/unsafe
<span id="L11" class="LineNr"> 11 </span>  wait-<span class="Normal">for</span>-reset-then-set <span class="Constant">20</span>:location
<span id="L12" class="LineNr"> 12 </span>  <span class="Comment"># wait for f2 to run and reset location 1</span>
<span id="L13" class="LineNr"> 13 </span>  <span class="Constant">30</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>:num
<span id="L14" class="LineNr"> 14 </span>]
<span id="L15" class="LineNr"> 15 </span><span class="muRecipe">def</span> f2 [
<span id="L16" class="LineNr"> 16 </span>  <span class="Constant">10</span>:location<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>/unsafe
<span id="L17" class="LineNr"> 17 </span>]
<span id="L18" class="LineNr"> 18 </span><span class="traceContains">+schedule: f1</span>
<span id="L19" class="LineNr"> 19 </span><span class="traceContains">+run: waiting for location 10 to reset</span>
<span id="L20" class="LineNr"> 20 </span><span class="traceContains">+schedule: f2</span>
<span id="L21" class="LineNr"> 21 </span><span class="traceContains">+schedule: waking up routine 1</span>
<span id="L22" class="LineNr"> 22 </span><span class="traceContains">+schedule: f1</span>
<span id="L23" class="LineNr"> 23 </span><span class="traceContains">+mem: storing 1 in location 30</span>
<span id="L24" class="LineNr"> 24 </span>
<span id="L25" class="LineNr"> 25 </span><span class="Comment">//: define the new state that all routines can be in</span>
<span id="L26" class="LineNr"> 26 </span>
<span id="L27" class="LineNr"> 27 </span><span class="Delimiter">:(before &quot;End routine States&quot;)</span>
<span id="L28" class="LineNr"> 28 </span>WAITING<span class="Delimiter">,</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><span class="Comment">// only if state == WAITING</span>
<span id="L31" class="LineNr"> 31 </span><span class="Normal">int</span> waiting_on_location<span class="Delimiter">;</span>
<span id="L32" class="LineNr"> 32 </span><span class="Delimiter">:(before &quot;End routine Constructor&quot;)</span>
<span id="L33" class="LineNr"> 33 </span>waiting_on_location = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L34" class="LineNr"> 34 </span>
<span id="L35" class="LineNr"> 35 </span><span class="Delimiter">:(before &quot;End Mu Test Teardown&quot;)</span>
<span id="L36" class="LineNr"> 36 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Passed &amp;&amp; <a href='073wait.cc.html#L47'>any_routines_waiting</a><span class="Delimiter">())</span>
<span id="L37" class="LineNr"> 37 </span>  <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; Current_scenario<span class="Delimiter">-&gt;</span>name &lt;&lt; <span class="Constant">&quot;: deadlock!</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L38" class="LineNr"> 38 </span><span class="Delimiter">:(before &quot;End Run Routine&quot;)</span>
<span id="L39" class="LineNr"> 39 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='073wait.cc.html#L47'>any_routines_waiting</a><span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L40" class="LineNr"> 40 </span>  <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; <span class="Constant">&quot;deadlock!</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L41" class="LineNr"> 41 </span>  <a href='073wait.cc.html#L54'>dump_waiting_routines</a><span class="Delimiter">();</span>
<span id="L42" class="LineNr"> 42 </span><span class="Delimiter">}</span>
<span id="L43" class="LineNr"> 43 </span><span class="Delimiter">:(before &quot;End Test Teardown&quot;)</span>
<span id="L44" class="LineNr"> 44 </span><span class="Normal">if</span> <span class="Delimiter">(</span>Passed &amp;&amp; any_routines_with_error<span class="Delimiter">())</span>
<span id="L45" class="LineNr"> 45 </span>  <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; <span class="Constant">&quot;some routines died with errors</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L46" class="LineNr"> 46 </span><span class="Delimiter">:(code)</span>
<span id="L47" class="LineNr"> 47 </span><span class="Normal">bool</span> <a href='073wait.cc.html#L47'>any_routines_waiting</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L48" class="LineNr"> 48 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L49" class="LineNr"> 49 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state == WAITING<span class="Delimiter">)</span>
<span id="L50" class="LineNr"> 50 </span>      <span class="Identifier">return</span> <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L51" class="LineNr"> 51 </span>  <span class="Delimiter">}</span>
<span id="L52" class="LineNr"> 52 </span>  <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L53" class="LineNr"> 53 </span><span class="Delimiter">}</span>
<span id="L54" class="LineNr"> 54 </span><span class="Normal">void</span> <a href='073wait.cc.html#L54'>dump_waiting_routines</a><span class="Delimiter">()</span> <span class="Delimiter">{</span>
<span id="L55" class="LineNr"> 55 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L56" class="LineNr"> 56 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state == WAITING<span class="Delimiter">)</span>
<span id="L57" class="LineNr"> 57 </span>      cerr &lt;&lt; i &lt;&lt; <span class="Constant">&quot;: &quot;</span> &lt;&lt; <a href='072scheduler.cc.html#L107'>routine_label</a><span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</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="Delimiter">}</span>
<span id="L60" class="LineNr"> 60 </span>
<span id="L61" class="LineNr"> 61 </span><span class="Delimiter">:(scenario wait_for_location_can_deadlock)</span>
<span id="L62" class="LineNr"> 62 </span><span class="Special">% Hide_errors = true;</span>
<span id="L63" class="LineNr"> 63 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L64" class="LineNr"> 64 </span>  <span class="Constant">10</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">1</span>
<span id="L65" class="LineNr"> 65 </span>  <span class="Constant">20</span>:location<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>/unsafe
<span id="L66" class="LineNr"> 66 </span>  wait-<span class="Normal">for</span>-reset-then-set <span class="Constant">20</span>:location
<span id="L67" class="LineNr"> 67 </span>]
<span id="L68" class="LineNr"> 68 </span><span class="traceContains">+error: deadlock!</span>
<span id="L69" class="LineNr"> 69 </span>
<span id="L70" class="LineNr"> 70 </span><span class="Comment">//: Primitive recipe to put routines in that state.</span>
<span id="L71" class="LineNr"> 71 </span><span class="Comment">//: This primitive is also known elsewhere as compare-and-set (CAS). Used to</span>
<span id="L72" class="LineNr"> 72 </span><span class="Comment">//: build locks.</span>
<span id="L73" class="LineNr"> 73 </span>
<span id="L74" class="LineNr"> 74 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L75" class="LineNr"> 75 </span>WAIT_FOR_RESET_THEN_SET<span class="Delimiter">,</span>
<span id="L76" class="LineNr"> 76 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L77" class="LineNr"> 77 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;wait-for-reset-then-set&quot;</span><span class="Delimiter">,</span> WAIT_FOR_RESET_THEN_SET<span class="Delimiter">);</span>
<span id="L78" class="LineNr"> 78 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L79" class="LineNr"> 79 </span><span class="Normal">case</span> WAIT_FOR_RESET_THEN_SET: <span class="Delimiter">{</span>
<span id="L80" class="LineNr"> 80 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L81" class="LineNr"> 81 </span>    <a href='003trace.cc.html#L178'>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;'wait-for-reset-then-set' requires exactly one ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L82" class="LineNr"> 82 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L83" class="LineNr"> 83 </span>  <span class="Delimiter">}</span>
<span id="L84" class="LineNr"> 84 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_location<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L85" class="LineNr"> 85 </span>    <a href='003trace.cc.html#L178'>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;'wait-for-reset-then-set' requires a location ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L86" class="LineNr"> 86 </span>  <span class="Delimiter">}</span>
<span id="L87" class="LineNr"> 87 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L88" class="LineNr"> 88 </span><span class="Delimiter">}</span>
<span id="L89" class="LineNr"> 89 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L90" class="LineNr"> 90 </span><span class="Normal">case</span> WAIT_FOR_RESET_THEN_SET: <span class="Delimiter">{</span>
<span id="L91" class="LineNr"> 91 </span>  <span class="Normal">int</span> loc = <span class="Normal">static_cast</span>&lt;<span class="Normal">int</span>&gt;<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L92" class="LineNr"> 92 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;wait: *&quot;</span> &lt;&lt; loc &lt;&lt; <span class="Constant">&quot; = &quot;</span> &lt;&lt; <a href='001help.cc.html#L225'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">)</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L93" class="LineNr"> 93 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L225'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L94" class="LineNr"> 94 </span>    <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;location &quot;</span> &lt;&lt; loc &lt;&lt; <span class="Constant">&quot; is already 0; setting&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L95" class="LineNr"> 95 </span>    <a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L96" class="LineNr"> 96 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L97" class="LineNr"> 97 </span>  <span class="Delimiter">}</span>
<span id="L98" class="LineNr"> 98 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waiting for location &quot;</span> &lt;&lt; loc &lt;&lt; <span class="Constant">&quot; to reset&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L99" class="LineNr"> 99 </span>  Current_routine<span class="Delimiter">-&gt;</span>state = WAITING<span class="Delimiter">;</span>
<span id="L100" class="LineNr">100 </span>  Current_routine<span class="Delimiter">-&gt;</span>waiting_on_location = loc<span class="Delimiter">;</span>
<span id="L101" class="LineNr">101 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L102" class="LineNr">102 </span><span class="Delimiter">}</span>
<span id="L103" class="LineNr">103 </span>
<span id="L104" class="LineNr">104 </span><span class="Comment">//: Counterpart to unlock a lock.</span>
<span id="L105" class="LineNr">105 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L106" class="LineNr">106 </span>RESET<span class="Delimiter">,</span>
<span id="L107" class="LineNr">107 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L108" class="LineNr">108 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;reset&quot;</span><span class="Delimiter">,</span> RESET<span class="Delimiter">);</span>
<span id="L109" class="LineNr">109 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L110" class="LineNr">110 </span><span class="Normal">case</span> RESET: <span class="Delimiter">{</span>
<span id="L111" class="LineNr">111 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L112" class="LineNr">112 </span>    <a href='003trace.cc.html#L178'>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;'reset' requires exactly one ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L113" class="LineNr">113 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L114" class="LineNr">114 </span>  <span class="Delimiter">}</span>
<span id="L115" class="LineNr">115 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_location<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L116" class="LineNr">116 </span>    <a href='003trace.cc.html#L178'>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;'reset' requires a location ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L117" class="LineNr">117 </span>  <span class="Delimiter">}</span>
<span id="L118" class="LineNr">118 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L119" class="LineNr">119 </span><span class="Delimiter">}</span>
<span id="L120" class="LineNr">120 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L121" class="LineNr">121 </span><span class="Normal">case</span> RESET: <span class="Delimiter">{</span>
<span id="L122" class="LineNr">122 </span>  <span class="Normal">int</span> loc = <span class="Normal">static_cast</span>&lt;<span class="Normal">int</span>&gt;<span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span>
<span id="L123" class="LineNr">123 </span>  <a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">,</span> <span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L124" class="LineNr">124 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;reset: *&quot;</span> &lt;&lt; loc &lt;&lt; <span class="Constant">&quot; = &quot;</span> &lt;&lt; <a href='001help.cc.html#L225'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">)</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L125" class="LineNr">125 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L126" class="LineNr">126 </span><span class="Delimiter">}</span>
<span id="L127" class="LineNr">127 </span>
<span id="L128" class="LineNr">128 </span><span class="Comment">//: scheduler tweak to get routines out of that state</span>
<span id="L129" class="LineNr">129 </span>
<span id="L130" class="LineNr">130 </span><span class="Delimiter">:(before &quot;End Scheduler State Transitions&quot;)</span>
<span id="L131" class="LineNr">131 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L132" class="LineNr">132 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state != WAITING<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L133" class="LineNr">133 </span>  <span class="Normal">int</span> loc = Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>waiting_on_location<span class="Delimiter">;</span>
<span id="L134" class="LineNr">134 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>loc &amp;&amp; <a href='001help.cc.html#L225'>get_or_insert</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L135" class="LineNr">135 </span>    <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9999</span><span class="Delimiter">,</span> <span class="Constant">&quot;schedule&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waking up routine &quot;</span> &lt;&lt; Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>id &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L136" class="LineNr">136 </span>    <a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> loc<span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L137" class="LineNr">137 </span>    Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state = <a href='072scheduler.cc.html#L41'>RUNNING</a><span class="Delimiter">;</span>
<span id="L138" class="LineNr">138 </span>    Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>waiting_on_location = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L139" class="LineNr">139 </span>  <span class="Delimiter">}</span>
<span id="L140" class="LineNr">140 </span><span class="Delimiter">}</span>
<span id="L141" class="LineNr">141 </span>
<span id="L142" class="LineNr">142 </span><span class="Comment">//: Primitive to help compute locations to wait on.</span>
<span id="L143" class="LineNr">143 </span><span class="Comment">//: Only supports elements immediately inside containers; no arrays or</span>
<span id="L144" class="LineNr">144 </span><span class="Comment">//: containers within containers yet.</span>
<span id="L145" class="LineNr">145 </span>
<span id="L146" class="LineNr">146 </span><span class="Delimiter">:(scenario get_location)</span>
<span id="L147" class="LineNr">147 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L148" class="LineNr">148 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L149" class="LineNr">149 </span>  <span class="Constant">13</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L150" class="LineNr">150 </span>  <span class="Constant">15</span>:location<span class="Special"> &lt;- </span>get-location <span class="Constant">12</span>:point<span class="Delimiter">,</span> <span class="Constant">1:offset</span>
<span id="L151" class="LineNr">151 </span>]
<span id="L152" class="LineNr">152 </span><span class="traceContains">+mem: storing 13 in location 15</span>
<span id="L153" class="LineNr">153 </span>
<span id="L154" class="LineNr">154 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L155" class="LineNr">155 </span>GET_LOCATION<span class="Delimiter">,</span>
<span id="L156" class="LineNr">156 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L157" class="LineNr">157 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;get-location&quot;</span><span class="Delimiter">,</span> GET_LOCATION<span class="Delimiter">);</span>
<span id="L158" class="LineNr">158 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L159" class="LineNr">159 </span><span class="Normal">case</span> GET_LOCATION: <span class="Delimiter">{</span>
<span id="L160" class="LineNr">160 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L161" class="LineNr">161 </span>    <a href='003trace.cc.html#L178'>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;'get-location' expects exactly 2 ingredients in '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L162" class="LineNr">162 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L163" class="LineNr">163 </span>  <span class="Delimiter">}</span>
<span id="L164" class="LineNr">164 </span>  reagent<span class="Comment">/*</span><span class="Comment">copy</span><span class="Comment">*/</span> base = inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L165" class="LineNr">165 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>base<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L166" class="LineNr">166 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!base<span class="Delimiter">.</span>type<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L167" class="LineNr">167 </span>    <a href='003trace.cc.html#L178'>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;first ingredient of 'get-location' should be a container, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L168" class="LineNr">168 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L169" class="LineNr">169 </span>  <span class="Delimiter">}</span>
<span id="L170" class="LineNr">170 </span>  <span class="Normal">const</span> type_tree* base_root_type = base<span class="Delimiter">.</span>type<span class="Delimiter">-&gt;</span>atom ? base<span class="Delimiter">.</span>type : base<span class="Delimiter">.</span>type<span class="Delimiter">-&gt;</span>left<span class="Delimiter">;</span>
<span id="L171" class="LineNr">171 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!base_root_type<span class="Delimiter">-&gt;</span>atom || base_root_type<span class="Delimiter">-&gt;</span>value == <span class="Constant">0</span> || !contains_key<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> base_root_type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">)</span> || get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> base_root_type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">).</span>kind != <a href='010vm.cc.html#L174'>CONTAINER</a><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L172" class="LineNr">172 </span>    <a href='003trace.cc.html#L178'>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;first ingredient of 'get-location' should be a container, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L173" class="LineNr">173 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L174" class="LineNr">174 </span>  <span class="Delimiter">}</span>
<span id="L175" class="LineNr">175 </span>  <a href='010vm.cc.html#L124'>type_ordinal</a> base_type = base<span class="Delimiter">.</span>type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">;</span>
<span id="L176" class="LineNr">176 </span>  <span class="Normal">const</span> reagent&amp; offset = inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L177" class="LineNr">177 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal<span class="Delimiter">(</span>offset<span class="Delimiter">)</span> || !is_mu_scalar<span class="Delimiter">(</span>offset<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L178" class="LineNr">178 </span>    <a href='003trace.cc.html#L178'>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;second ingredient of 'get-location' should have type 'offset', but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L179" class="LineNr">179 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L180" class="LineNr">180 </span>  <span class="Delimiter">}</span>
<span id="L181" class="LineNr">181 </span>  <span class="Normal">int</span> offset_value = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L182" class="LineNr">182 </span>  <span class="Comment">//: later layers will permit non-integer offsets</span>
<span id="L183" class="LineNr">183 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='002test.cc.html#L86'>is_integer</a><span class="Delimiter">(</span>offset<span class="Delimiter">.</span>name<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L184" class="LineNr">184 </span>    offset_value = <a href='002test.cc.html#L92'>to_integer</a><span class="Delimiter">(</span>offset<span class="Delimiter">.</span>name<span class="Delimiter">);</span>
<span id="L185" class="LineNr">185 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>offset_value &lt; <span class="Constant">0</span> || offset_value &gt;= <a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> base_type<span class="Delimiter">).</span>elements<span class="Delimiter">))</span> <span class="Delimiter">{</span>
<span id="L186" class="LineNr">186 </span>      <a href='003trace.cc.html#L178'>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;invalid offset &quot;</span> &lt;&lt; offset_value &lt;&lt; <span class="Constant">&quot; for '&quot;</span> &lt;&lt; get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> base_type<span class="Delimiter">).</span>name &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L187" class="LineNr">187 </span>      <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L188" class="LineNr">188 </span>    <span class="Delimiter">}</span>
<span id="L189" class="LineNr">189 </span>  <span class="Delimiter">}</span>
<span id="L190" class="LineNr">190 </span>  <span class="Normal">else</span> <span class="Delimiter">{</span>
<span id="L191" class="LineNr">191 </span>    offset_value = offset<span class="Delimiter">.</span>value<span class="Delimiter">;</span>
<span id="L192" class="LineNr">192 </span>  <span class="Delimiter">}</span>
<span id="L193" class="LineNr">193 </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="Identifier">break</span><span class="Delimiter">;</span>
<span id="L194" class="LineNr">194 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_location<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L195" class="LineNr">195 </span>    <a href='003trace.cc.html#L178'>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;'get-location &quot;</span> &lt;&lt; base<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;, &quot;</span> &lt;&lt; offset<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;' should write to type location but '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name &lt;&lt; <span class="Constant">&quot;' has type '&quot;</span> &lt;&lt; names_to_string_without_quotes<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>type<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L196" class="LineNr">196 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L197" class="LineNr">197 </span>  <span class="Delimiter">}</span>
<span id="L198" class="LineNr">198 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L199" class="LineNr">199 </span><span class="Delimiter">}</span>
<span id="L200" class="LineNr">200 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L201" class="LineNr">201 </span><span class="Normal">case</span> GET_LOCATION: <span class="Delimiter">{</span>
<span id="L202" class="LineNr">202 </span>  reagent<span class="Comment">/*</span><span class="Comment">copy</span><span class="Comment">*/</span> base = current_instruction<span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L203" class="LineNr">203 </span>  canonize<span class="Delimiter">(</span>base<span class="Delimiter">);</span>
<span id="L204" class="LineNr">204 </span>  <span class="Normal">int</span> base_address = base<span class="Delimiter">.</span>value<span class="Delimiter">;</span>
<span id="L205" class="LineNr">205 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>base_address == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L206" class="LineNr">206 </span>    <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>current_recipe_name<span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;tried to access location 0 in '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>current_instruction<span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L207" class="LineNr">207 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L208" class="LineNr">208 </span>  <span class="Delimiter">}</span>
<span id="L209" class="LineNr">209 </span>  <span class="Normal">const</span> type_tree* base_type = get_base_type<span class="Delimiter">(</span>base<span class="Delimiter">.</span>type<span class="Delimiter">);</span>
<span id="L210" class="LineNr">210 </span>  <span class="Normal">int</span> offset = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L211" class="LineNr">211 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>offset &lt; <span class="Constant">0</span> || offset &gt;= <a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span>Type<span class="Delimiter">,</span> base_type<span class="Delimiter">-&gt;</span>value<span class="Delimiter">).</span>elements<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span>  <span class="Comment">// copied from Check above</span>
<span id="L212" class="LineNr">212 </span>  <span class="Normal">int</span> result = base_address<span class="Delimiter">;</span>
<span id="L213" class="LineNr">213 </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; offset<span class="Delimiter">;</span>  ++i<span class="Delimiter">)</span>
<span id="L214" class="LineNr">214 </span>    result += size_of<span class="Delimiter">(</span><a href='030container.cc.html#L431'>element_type</a><span class="Delimiter">(</span>base<span class="Delimiter">.</span>type<span class="Delimiter">,</span> i<span class="Delimiter">));</span>
<span id="L215" class="LineNr">215 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;address to copy is &quot;</span> &lt;&lt; result &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L216" class="LineNr">216 </span>  products<span class="Delimiter">.</span>resize<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span>
<span id="L217" class="LineNr">217 </span>  products<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span>
<span id="L218" class="LineNr">218 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L219" class="LineNr">219 </span><span class="Delimiter">}</span>
<span id="L220" class="LineNr">220 </span>
<span id="L221" class="LineNr">221 </span><span class="Delimiter">:(code)</span>
<span id="L222" class="LineNr">222 </span><span class="Normal">bool</span> <a href='073wait.cc.html#L222'>is_mu_location</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="L223" class="LineNr">223 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>x<span class="Delimiter">))</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L224" class="LineNr">224 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!x<span class="Delimiter">.</span>type<span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L225" class="LineNr">225 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!x<span class="Delimiter">.</span>type<span class="Delimiter">-&gt;</span>atom<span class="Delimiter">)</span> <span class="Identifier">return</span> <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L226" class="LineNr">226 </span>  <span class="Identifier">return</span> x<span class="Delimiter">.</span>type<span class="Delimiter">-&gt;</span>value == get<span class="Delimiter">(</span>Type_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;location&quot;</span><span class="Delimiter">);</span>
<span id="L227" class="LineNr">227 </span><span class="Delimiter">}</span>
<span id="L228" class="LineNr">228 </span>
<span id="L229" class="LineNr">229 </span><span class="Delimiter">:(scenario get_location_out_of_bounds)</span>
<span id="L230" class="LineNr">230 </span><span class="Special">% Hide_errors = true;</span>
<span id="L231" class="LineNr">231 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L232" class="LineNr">232 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L233" class="LineNr">233 </span>  <span class="Constant">13</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L234" class="LineNr">234 </span>  <span class="Constant">14</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">36</span>
<span id="L235" class="LineNr">235 </span>  get-location <span class="Constant">12</span>:point-number/<span class="Special">raw</span><span class="Delimiter">,</span> <span class="Constant">2:offset</span>  <span class="Comment"># point-number occupies 3 locations but has only 2 fields; out of bounds</span>
<span id="L236" class="LineNr">236 </span>]
<span id="L237" class="LineNr">237 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: invalid offset 2 for 'point-number'</span>
<span id="L238" class="LineNr">238 </span>
<span id="L239" class="LineNr">239 </span><span class="Delimiter">:(scenario get_location_out_of_bounds_2)</span>
<span id="L240" class="LineNr">240 </span><span class="Special">% Hide_errors = true;</span>
<span id="L241" class="LineNr">241 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L242" class="LineNr">242 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L243" class="LineNr">243 </span>  <span class="Constant">13</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L244" class="LineNr">244 </span>  <span class="Constant">14</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">36</span>
<span id="L245" class="LineNr">245 </span>  get-location <span class="Constant">12</span>:point-number/<span class="Special">raw</span><span class="Delimiter">,</span> <span class="Constant">-1:offset</span>
<span id="L246" class="LineNr">246 </span>]
<span id="L247" class="LineNr">247 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: invalid offset -1 for 'point-number'</span>
<span id="L248" class="LineNr">248 </span>
<span id="L249" class="LineNr">249 </span><span class="Delimiter">:(scenario get_location_product_type_mismatch)</span>
<span id="L250" class="LineNr">250 </span><span class="Special">% Hide_errors = true;</span>
<span id="L251" class="LineNr">251 </span><span class="muData">container</span> boolbool [
<span id="L252" class="LineNr">252 </span>  <span class="Normal">x</span>:<span class="Normal">bool</span>
<span id="L253" class="LineNr">253 </span>  <span class="Normal">y</span>:<span class="Normal">bool</span>
<span id="L254" class="LineNr">254 </span>]
<span id="L255" class="LineNr">255 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L256" class="LineNr">256 </span>  <span class="Constant">12</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>copy <span class="Constant">1</span>
<span id="L257" class="LineNr">257 </span>  <span class="Constant">13</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L258" class="LineNr">258 </span>  <span class="Constant">15</span>:<span class="Normal">bool</span><span class="Special"> &lt;- </span>get-location <span class="Constant">12</span>:boolbool<span class="Delimiter">,</span> <span class="Constant">1:offset</span>
<span id="L259" class="LineNr">259 </span>]
<span id="L260" class="LineNr">260 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: 'get-location 12:boolbool, 1:offset' should write to type location but '15' has type 'boolean'</span>
<span id="L261" class="LineNr">261 </span>
<span id="L262" class="LineNr">262 </span><span class="Delimiter">:(scenario get_location_indirect)</span>
<span id="L263" class="LineNr">263 </span><span class="Comment"># 'get-location' can read from container address</span>
<span id="L264" class="LineNr">264 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L265" class="LineNr">265 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>
<span id="L266" class="LineNr">266 </span>  <span class="Comment"># 10 reserved for refcount</span>
<span id="L267" class="LineNr">267 </span>  <span class="Constant">11</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L268" class="LineNr">268 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L269" class="LineNr">269 </span>  <span class="Constant">4</span>:location<span class="Special"> &lt;- </span>get-location <span class="Constant">1</span>:&amp;:point/lookup<span class="Delimiter">,</span> <span class="Constant">0:offset</span>
<span id="L270" class="LineNr">270 </span>]
<span id="L271" class="LineNr">271 </span><span class="traceContains">+mem: storing 11 in location 4</span>
<span id="L272" class="LineNr">272 </span>
<span id="L273" class="LineNr">273 </span><span class="Delimiter">:(scenario get_location_indirect_2)</span>
<span id="L274" class="LineNr">274 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L275" class="LineNr">275 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>
<span id="L276" class="LineNr">276 </span>  <span class="Comment"># 10 reserved for refcount</span>
<span id="L277" class="LineNr">277 </span>  <span class="Constant">11</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L278" class="LineNr">278 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L279" class="LineNr">279 </span>  <span class="Constant">4</span>:&amp;:num<span class="Special"> &lt;- </span>copy <span class="Constant">20</span>/unsafe
<span id="L280" class="LineNr">280 </span>  <span class="Constant">4</span>:&amp;:location/lookup<span class="Special"> &lt;- </span>get-location <span class="Constant">1</span>:&amp;:point/lookup<span class="Delimiter">,</span> <span class="Constant">0:offset</span>
<span id="L281" class="LineNr">281 </span>]
<span id="L282" class="LineNr">282 </span><span class="traceContains">+mem: storing 11 in location 21</span>
<span id="L283" class="LineNr">283 </span>
<span id="L284" class="LineNr">284 </span><span class="Comment">//: allow waiting on a routine to complete</span>
<span id="L285" class="LineNr">285 </span>
<span id="L286" class="LineNr">286 </span><span class="Delimiter">:(scenario wait_for_routine)</span>
<span id="L287" class="LineNr">287 </span><span class="muRecipe">def</span> f1 [
<span id="L288" class="LineNr">288 </span>  <span class="Comment"># add a few routines to run</span>
<span id="L289" class="LineNr">289 </span>  <span class="Constant">1</span>:num/routine<span class="Special"> &lt;- </span>start-running f2
<span id="L290" class="LineNr">290 </span>  <span class="Constant">2</span>:num/routine<span class="Special"> &lt;- </span>start-running f3
<span id="L291" class="LineNr">291 </span>  wait-<span class="Normal">for</span>-routine <span class="Constant">1</span>:num/routine
<span id="L292" class="LineNr">292 </span>  <span class="Comment"># now wait for f2 to *complete* and modify location 13 before using its value</span>
<span id="L293" class="LineNr">293 </span>  <span class="Constant">20</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span>:num
<span id="L294" class="LineNr">294 </span>]
<span id="L295" class="LineNr">295 </span><span class="muRecipe">def</span> f2 [
<span id="L296" class="LineNr">296 </span>  <span class="Constant">10</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>  <span class="Comment"># just padding</span>
<span id="L297" class="LineNr">297 </span>  <span class="Normal">switch</span>  <span class="Comment"># simulate a block; routine f1 shouldn't restart at this point</span>
<span id="L298" class="LineNr">298 </span>  <span class="Constant">13</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L299" class="LineNr">299 </span>]
<span id="L300" class="LineNr">300 </span><span class="muRecipe">def</span> f3 [
<span id="L301" class="LineNr">301 </span>  <span class="Comment"># padding routine just to help simulate the block in f2 using 'switch'</span>
<span id="L302" class="LineNr">302 </span>  <span class="Constant">11</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L303" class="LineNr">303 </span>  <span class="Constant">12</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>
<span id="L304" class="LineNr">304 </span>]
<span id="L305" class="LineNr">305 </span><span class="traceContains">+schedule: f1</span>
<span id="L306" class="LineNr">306 </span><span class="traceContains">+run: waiting for routine 2</span>
<span id="L307" class="LineNr">307 </span><span class="traceContains">+schedule: f2</span>
<span id="L308" class="LineNr">308 </span><span class="traceContains">+schedule: f3</span>
<span id="L309" class="LineNr">309 </span><span class="traceContains">+schedule: f2</span>
<span id="L310" class="LineNr">310 </span><span class="traceContains">+schedule: waking up routine 1</span>
<span id="L311" class="LineNr">311 </span><span class="traceContains">+schedule: f1</span>
<span id="L312" class="LineNr">312 </span><span class="Comment"># if we got the synchronization wrong we'd be storing 0 in location 20</span>
<span id="L313" class="LineNr">313 </span><span class="traceContains">+mem: storing 34 in location 20</span>
<span id="L314" class="LineNr">314 </span>
<span id="L315" class="LineNr">315 </span><span class="Delimiter">:(before &quot;End routine Fields&quot;)</span>
<span id="L316" class="LineNr">316 </span><span class="Comment">// only if state == WAITING</span>
<span id="L317" class="LineNr">317 </span><span class="Normal">int</span> waiting_on_routine<span class="Delimiter">;</span>
<span id="L318" class="LineNr">318 </span><span class="Delimiter">:(before &quot;End routine Constructor&quot;)</span>
<span id="L319" class="LineNr">319 </span>waiting_on_routine = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L320" class="LineNr">320 </span>
<span id="L321" class="LineNr">321 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L322" class="LineNr">322 </span>WAIT_FOR_ROUTINE<span class="Delimiter">,</span>
<span id="L323" class="LineNr">323 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L324" class="LineNr">324 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;wait-for-routine&quot;</span><span class="Delimiter">,</span> WAIT_FOR_ROUTINE<span class="Delimiter">);</span>
<span id="L325" class="LineNr">325 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L326" class="LineNr">326 </span><span class="Normal">case</span> WAIT_FOR_ROUTINE: <span class="Delimiter">{</span>
<span id="L327" class="LineNr">327 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L328" class="LineNr">328 </span>    <a href='003trace.cc.html#L178'>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;'wait-for-routine' requires exactly one ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L329" class="LineNr">329 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L330" class="LineNr">330 </span>  <span class="Delimiter">}</span>
<span id="L331" class="LineNr">331 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L332" class="LineNr">332 </span>    <a href='003trace.cc.html#L178'>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;first ingredient of 'wait-for-routine' should be a routine id generated by 'start-running', but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L333" class="LineNr">333 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L334" class="LineNr">334 </span>  <span class="Delimiter">}</span>
<span id="L335" class="LineNr">335 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L336" class="LineNr">336 </span><span class="Delimiter">}</span>
<span id="L337" class="LineNr">337 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L338" class="LineNr">338 </span><span class="Normal">case</span> WAIT_FOR_ROUTINE: <span class="Delimiter">{</span>
<span id="L339" class="LineNr">339 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> == Current_routine<span class="Delimiter">-&gt;</span>id<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L340" class="LineNr">340 </span>    <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>current_recipe_name<span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;routine can't wait for itself! '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>current_instruction<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="L341" class="LineNr">341 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L342" class="LineNr">342 </span>  <span class="Delimiter">}</span>
<span id="L343" class="LineNr">343 </span>  Current_routine<span class="Delimiter">-&gt;</span>state = WAITING<span class="Delimiter">;</span>
<span id="L344" class="LineNr">344 </span>  Current_routine<span class="Delimiter">-&gt;</span>waiting_on_routine = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L345" class="LineNr">345 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waiting for routine &quot;</span> &lt;&lt; ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L346" class="LineNr">346 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L347" class="LineNr">347 </span><span class="Delimiter">}</span>
<span id="L348" class="LineNr">348 </span>
<span id="L349" class="LineNr">349 </span><span class="Delimiter">:(before &quot;End Scheduler State Transitions&quot;)</span>
<span id="L350" class="LineNr">350 </span><span class="Comment">// Wake up any routines waiting for other routines to complete.</span>
<span id="L351" class="LineNr">351 </span><span class="Comment">// Important: this must come after the scheduler loop above giving routines</span>
<span id="L352" class="LineNr">352 </span><span class="Comment">// waiting for locations to change a chance to wake up.</span>
<span id="L353" class="LineNr">353 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L354" class="LineNr">354 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state != WAITING<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L355" class="LineNr">355 </span>  routine* waiter = Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L356" class="LineNr">356 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!waiter<span class="Delimiter">-&gt;</span>waiting_on_routine<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L357" class="LineNr">357 </span>  <span class="Normal">int</span> id = waiter<span class="Delimiter">-&gt;</span>waiting_on_routine<span class="Delimiter">;</span>
<span id="L358" class="LineNr">358 </span>  assert<span class="Delimiter">(</span>id != waiter<span class="Delimiter">-&gt;</span>id<span class="Delimiter">);</span>  <span class="Comment">// routine can't wait on itself</span>
<span id="L359" class="LineNr">359 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> j = <span class="Constant">0</span><span class="Delimiter">;</span>  j &lt; <a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++j<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L360" class="LineNr">360 </span>    <span class="Normal">const</span> routine* waitee = Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>j<span class="Delimiter">);</span>
<span id="L361" class="LineNr">361 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>waitee<span class="Delimiter">-&gt;</span>id == id &amp;&amp; waitee<span class="Delimiter">-&gt;</span>state != <a href='072scheduler.cc.html#L41'>RUNNING</a> &amp;&amp; waitee<span class="Delimiter">-&gt;</span>state != WAITING<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L362" class="LineNr">362 </span>      <span class="Comment">// routine is COMPLETED or DISCONTINUED</span>
<span id="L363" class="LineNr">363 </span>      <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9999</span><span class="Delimiter">,</span> <span class="Constant">&quot;schedule&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waking up routine &quot;</span> &lt;&lt; waiter<span class="Delimiter">-&gt;</span>id &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L364" class="LineNr">364 </span>      waiter<span class="Delimiter">-&gt;</span>state = <a href='072scheduler.cc.html#L41'>RUNNING</a><span class="Delimiter">;</span>
<span id="L365" class="LineNr">365 </span>      waiter<span class="Delimiter">-&gt;</span>waiting_on_routine = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L366" class="LineNr">366 </span>    <span class="Delimiter">}</span>
<span id="L367" class="LineNr">367 </span>  <span class="Delimiter">}</span>
<span id="L368" class="LineNr">368 </span><span class="Delimiter">}</span>
<span id="L369" class="LineNr">369 </span>
<span id="L370" class="LineNr">370 </span><span class="Comment">//: yield voluntarily to let some other routine run</span>
<span id="L371" class="LineNr">371 </span>
<span id="L372" class="LineNr">372 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L373" class="LineNr">373 </span>SWITCH<span class="Delimiter">,</span>
<span id="L374" class="LineNr">374 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L375" class="LineNr">375 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;switch&quot;</span><span class="Delimiter">,</span> SWITCH<span class="Delimiter">);</span>
<span id="L376" class="LineNr">376 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L377" class="LineNr">377 </span><span class="Normal">case</span> SWITCH: <span class="Delimiter">{</span>
<span id="L378" class="LineNr">378 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L379" class="LineNr">379 </span><span class="Delimiter">}</span>
<span id="L380" class="LineNr">380 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L381" class="LineNr">381 </span><span class="Normal">case</span> SWITCH: <span class="Delimiter">{</span>
<span id="L382" class="LineNr">382 </span>  ++current_step_index<span class="Delimiter">();</span>
<span id="L383" class="LineNr">383 </span>  <span class="Identifier">goto</span> stop_running_current_routine<span class="Delimiter">;</span>
<span id="L384" class="LineNr">384 </span><span class="Delimiter">}</span>
<span id="L385" class="LineNr">385 </span>
<span id="L386" class="LineNr">386 </span><span class="Delimiter">:(scenario switch_preempts_current_routine)</span>
<span id="L387" class="LineNr">387 </span><span class="muRecipe">def</span> f1 [
<span id="L388" class="LineNr">388 </span>  start-running f2
<span id="L389" class="LineNr">389 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L390" class="LineNr">390 </span>  <span class="Normal">switch</span>
<span id="L391" class="LineNr">391 </span>  <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">36</span>
<span id="L392" class="LineNr">392 </span>]
<span id="L393" class="LineNr">393 </span><span class="muRecipe">def</span> f2 [
<span id="L394" class="LineNr">394 </span>  <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span>
<span id="L395" class="LineNr">395 </span>]
<span id="L396" class="LineNr">396 </span><span class="traceContains">+mem: storing 34 in location 1</span>
<span id="L397" class="LineNr">397 </span><span class="Comment"># context switch</span>
<span id="L398" class="LineNr">398 </span><span class="traceContains">+mem: storing 35 in location 2</span>
<span id="L399" class="LineNr">399 </span><span class="Comment"># back to original thread</span>
<span id="L400" class="LineNr">400 </span><span class="traceContains">+mem: storing 36 in location 3</span>
<span id="L401" class="LineNr">401 </span>
<span id="L402" class="LineNr">402 </span><span class="SalientComment">//:: helpers for manipulating routines in tests</span>
<span id="L403" class="LineNr">403 </span><span class="Comment">//:</span>
<span id="L404" class="LineNr">404 </span><span class="Comment">//: Managing arbitrary scenarios requires the ability to:</span>
<span id="L405" class="LineNr">405 </span><span class="Comment">//:   a) check if a routine is blocked</span>
<span id="L406" class="LineNr">406 </span><span class="Comment">//:   b) restart a blocked routine (`restart`)</span>
<span id="L407" class="LineNr">407 </span><span class="Comment">//:</span>
<span id="L408" class="LineNr">408 </span><span class="Comment">//: A routine is blocked either if it's waiting or if it explicitly signals</span>
<span id="L409" class="LineNr">409 </span><span class="Comment">//: that it's blocked (even as it periodically wakes up and polls for some</span>
<span id="L410" class="LineNr">410 </span><span class="Comment">//: event).</span>
<span id="L411" class="LineNr">411 </span><span class="Comment">//:</span>
<span id="L412" class="LineNr">412 </span><span class="Comment">//: Signalling blockedness might well be a huge hack. But Mu doesn't have Unix</span>
<span id="L413" class="LineNr">413 </span><span class="Comment">//: signals to avoid polling with, because signals are also pretty hacky.</span>
<span id="L414" class="LineNr">414 </span>
<span id="L415" class="LineNr">415 </span><span class="Delimiter">:(before &quot;End routine Fields&quot;)</span>
<span id="L416" class="LineNr">416 </span><span class="Normal">bool</span> blocked<span class="Delimiter">;</span>
<span id="L417" class="LineNr">417 </span><span class="Delimiter">:(before &quot;End routine Constructor&quot;)</span>
<span id="L418" class="LineNr">418 </span>blocked = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L419" class="LineNr">419 </span>
<span id="L420" class="LineNr">420 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L421" class="LineNr">421 </span>CURRENT_ROUTINE_IS_BLOCKED<span class="Delimiter">,</span>
<span id="L422" class="LineNr">422 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L423" class="LineNr">423 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;current-routine-is-blocked&quot;</span><span class="Delimiter">,</span> CURRENT_ROUTINE_IS_BLOCKED<span class="Delimiter">);</span>
<span id="L424" class="LineNr">424 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L425" class="LineNr">425 </span><span class="Normal">case</span> CURRENT_ROUTINE_IS_BLOCKED: <span class="Delimiter">{</span>
<span id="L426" class="LineNr">426 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L427" class="LineNr">427 </span>    <a href='003trace.cc.html#L178'>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;'current-routine-is-blocked' should have no ingredients, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L428" class="LineNr">428 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L429" class="LineNr">429 </span>  <span class="Delimiter">}</span>
<span id="L430" class="LineNr">430 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L431" class="LineNr">431 </span><span class="Delimiter">}</span>
<span id="L432" class="LineNr">432 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L433" class="LineNr">433 </span><span class="Normal">case</span> CURRENT_ROUTINE_IS_BLOCKED: <span class="Delimiter">{</span>
<span id="L434" class="LineNr">434 </span>  Current_routine<span class="Delimiter">-&gt;</span>blocked = <span class="Constant">true</span><span class="Delimiter">;</span>
<span id="L435" class="LineNr">435 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L436" class="LineNr">436 </span><span class="Delimiter">}</span>
<span id="L437" class="LineNr">437 </span>
<span id="L438" class="LineNr">438 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L439" class="LineNr">439 </span>CURRENT_ROUTINE_IS_UNBLOCKED<span class="Delimiter">,</span>
<span id="L440" class="LineNr">440 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L441" class="LineNr">441 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;current-routine-is-unblocked&quot;</span><span class="Delimiter">,</span> CURRENT_ROUTINE_IS_UNBLOCKED<span class="Delimiter">);</span>
<span id="L442" class="LineNr">442 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L443" class="LineNr">443 </span><span class="Normal">case</span> CURRENT_ROUTINE_IS_UNBLOCKED: <span class="Delimiter">{</span>
<span id="L444" class="LineNr">444 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span>
<span id="L445" class="LineNr">445 </span>    <a href='003trace.cc.html#L178'>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;'current-routine-is-unblocked' should have no ingredients, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L446" class="LineNr">446 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L447" class="LineNr">447 </span>  <span class="Delimiter">}</span>
<span id="L448" class="LineNr">448 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L449" class="LineNr">449 </span><span class="Delimiter">}</span>
<span id="L450" class="LineNr">450 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L451" class="LineNr">451 </span><span class="Normal">case</span> CURRENT_ROUTINE_IS_UNBLOCKED: <span class="Delimiter">{</span>
<span id="L452" class="LineNr">452 </span>  Current_routine<span class="Delimiter">-&gt;</span>blocked = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L453" class="LineNr">453 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L454" class="LineNr">454 </span><span class="Delimiter">}</span>
<span id="L455" class="LineNr">455 </span>
<span id="L456" class="LineNr">456 </span><span class="Comment">//: also allow waiting on a routine to block</span>
<span id="L457" class="LineNr">457 </span><span class="Comment">//: (just for tests; use wait_for_routine above wherever possible)</span>
<span id="L458" class="LineNr">458 </span>
<span id="L459" class="LineNr">459 </span><span class="Delimiter">:(scenario wait_for_routine_to_block)</span>
<span id="L460" class="LineNr">460 </span><span class="muRecipe">def</span> f1 [
<span id="L461" class="LineNr">461 </span>  <span class="Constant">1</span>:num/routine<span class="Special"> &lt;- </span>start-running f2
<span id="L462" class="LineNr">462 </span>  wait-<span class="Normal">for</span>-routine-to-block <span class="Constant">1</span>:num/routine
<span id="L463" class="LineNr">463 </span>  <span class="Comment"># now wait for f2 to run and modify location 10 before using its value</span>
<span id="L464" class="LineNr">464 </span>  <span class="Constant">11</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">10</span>:num
<span id="L465" class="LineNr">465 </span>]
<span id="L466" class="LineNr">466 </span><span class="muRecipe">def</span> f2 [
<span id="L467" class="LineNr">467 </span>  <span class="Constant">10</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span>
<span id="L468" class="LineNr">468 </span>]
<span id="L469" class="LineNr">469 </span><span class="traceContains">+schedule: f1</span>
<span id="L470" class="LineNr">470 </span><span class="traceContains">+run: waiting for routine 2 to block</span>
<span id="L471" class="LineNr">471 </span><span class="traceContains">+schedule: f2</span>
<span id="L472" class="LineNr">472 </span><span class="traceContains">+schedule: waking up routine 1 because routine 2 is blocked</span>
<span id="L473" class="LineNr">473 </span><span class="traceContains">+schedule: f1</span>
<span id="L474" class="LineNr">474 </span><span class="Comment"># if we got the synchronization wrong we'd be storing 0 in location 11</span>
<span id="L475" class="LineNr">475 </span><span class="traceContains">+mem: storing 34 in location 11</span>
<span id="L476" class="LineNr">476 </span>
<span id="L477" class="LineNr">477 </span><span class="Delimiter">:(before &quot;End routine Fields&quot;)</span>
<span id="L478" class="LineNr">478 </span><span class="Comment">// only if state == WAITING</span>
<span id="L479" class="LineNr">479 </span><span class="Normal">int</span> waiting_on_routine_to_block<span class="Delimiter">;</span>
<span id="L480" class="LineNr">480 </span><span class="Delimiter">:(before &quot;End routine Constructor&quot;)</span>
<span id="L481" class="LineNr">481 </span>waiting_on_routine_to_block = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L482" class="LineNr">482 </span>
<span id="L483" class="LineNr">483 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L484" class="LineNr">484 </span>WAIT_FOR_ROUTINE_TO_BLOCK<span class="Delimiter">,</span>
<span id="L485" class="LineNr">485 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L486" class="LineNr">486 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;wait-for-routine-to-block&quot;</span><span class="Delimiter">,</span> WAIT_FOR_ROUTINE_TO_BLOCK<span class="Delimiter">);</span>
<span id="L487" class="LineNr">487 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L488" class="LineNr">488 </span><span class="Normal">case</span> WAIT_FOR_ROUTINE_TO_BLOCK: <span class="Delimiter">{</span>
<span id="L489" class="LineNr">489 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L490" class="LineNr">490 </span>    <a href='003trace.cc.html#L178'>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;'wait-for-routine-to-block' requires exactly one ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L491" class="LineNr">491 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L492" class="LineNr">492 </span>  <span class="Delimiter">}</span>
<span id="L493" class="LineNr">493 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L494" class="LineNr">494 </span>    <a href='003trace.cc.html#L178'>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;first ingredient of 'wait-for-routine-to-block' should be a routine id generated by 'start-running', but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L495" class="LineNr">495 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L496" class="LineNr">496 </span>  <span class="Delimiter">}</span>
<span id="L497" class="LineNr">497 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L498" class="LineNr">498 </span><span class="Delimiter">}</span>
<span id="L499" class="LineNr">499 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L500" class="LineNr">500 </span><span class="Normal">case</span> WAIT_FOR_ROUTINE_TO_BLOCK: <span class="Delimiter">{</span>
<span id="L501" class="LineNr">501 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> == Current_routine<span class="Delimiter">-&gt;</span>id<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L502" class="LineNr">502 </span>    <a href='003trace.cc.html#L178'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>current_recipe_name<span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;routine can't wait for itself! '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>current_instruction<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="L503" class="LineNr">503 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L504" class="LineNr">504 </span>  <span class="Delimiter">}</span>
<span id="L505" class="LineNr">505 </span>  Current_routine<span class="Delimiter">-&gt;</span>state = WAITING<span class="Delimiter">;</span>
<span id="L506" class="LineNr">506 </span>  Current_routine<span class="Delimiter">-&gt;</span>waiting_on_routine_to_block = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L507" class="LineNr">507 </span>  <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9998</span><span class="Delimiter">,</span> <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waiting for routine &quot;</span> &lt;&lt; ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; to block&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L508" class="LineNr">508 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L509" class="LineNr">509 </span><span class="Delimiter">}</span>
<span id="L510" class="LineNr">510 </span>
<span id="L511" class="LineNr">511 </span><span class="Delimiter">:(before &quot;End Scheduler State Transitions&quot;)</span>
<span id="L512" class="LineNr">512 </span><span class="Comment">// Wake up any routines waiting for other routines to stop running.</span>
<span id="L513" class="LineNr">513 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L514" class="LineNr">514 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state != WAITING<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L515" class="LineNr">515 </span>  routine* waiter = Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">);</span>
<span id="L516" class="LineNr">516 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!waiter<span class="Delimiter">-&gt;</span>waiting_on_routine_to_block<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L517" class="LineNr">517 </span>  <span class="Normal">int</span> id = waiter<span class="Delimiter">-&gt;</span>waiting_on_routine_to_block<span class="Delimiter">;</span>
<span id="L518" class="LineNr">518 </span>  assert<span class="Delimiter">(</span>id != waiter<span class="Delimiter">-&gt;</span>id<span class="Delimiter">);</span>  <span class="Comment">// routine can't wait on itself</span>
<span id="L519" class="LineNr">519 </span>  <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> j = <span class="Constant">0</span><span class="Delimiter">;</span>  j &lt; <a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++j<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L520" class="LineNr">520 </span>    <span class="Normal">const</span> routine* waitee = Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>j<span class="Delimiter">);</span>
<span id="L521" class="LineNr">521 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>waitee<span class="Delimiter">-&gt;</span>id != id<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span>
<span id="L522" class="LineNr">522 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>waitee<span class="Delimiter">-&gt;</span>state != <a href='072scheduler.cc.html#L41'>RUNNING</a> || waitee<span class="Delimiter">-&gt;</span>blocked<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L523" class="LineNr">523 </span>      <a href='003trace.cc.html#L171'>trace</a><span class="Delimiter">(</span><span class="Constant">9999</span><span class="Delimiter">,</span> <span class="Constant">&quot;schedule&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;waking up routine &quot;</span> &lt;&lt; waiter<span class="Delimiter">-&gt;</span>id &lt;&lt; <span class="Constant">&quot; because routine &quot;</span> &lt;&lt; waitee<span class="Delimiter">-&gt;</span>id &lt;&lt; <span class="Constant">&quot; is blocked&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L524" class="LineNr">524 </span>      waiter<span class="Delimiter">-&gt;</span>state = <a href='072scheduler.cc.html#L41'>RUNNING</a><span class="Delimiter">;</span>
<span id="L525" class="LineNr">525 </span>      waiter<span class="Delimiter">-&gt;</span>waiting_on_routine_to_block = <span class="Constant">0</span><span class="Delimiter">;</span>
<span id="L526" class="LineNr">526 </span>    <span class="Delimiter">}</span>
<span id="L527" class="LineNr">527 </span>  <span class="Delimiter">}</span>
<span id="L528" class="LineNr">528 </span><span class="Delimiter">}</span>
<span id="L529" class="LineNr">529 </span>
<span id="L530" class="LineNr">530 </span><span class="Comment">//: helper for restarting blocking routines in tests</span>
<span id="L531" class="LineNr">531 </span>
<span id="L532" class="LineNr">532 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span>
<span id="L533" class="LineNr">533 </span>RESTART<span class="Delimiter">,</span>
<span id="L534" class="LineNr">534 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span>
<span id="L535" class="LineNr">535 </span><a href='001help.cc.html#L218'>put</a><span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span> <span class="Constant">&quot;restart&quot;</span><span class="Delimiter">,</span> RESTART<span class="Delimiter">);</span>
<span id="L536" class="LineNr">536 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span>
<span id="L537" class="LineNr">537 </span><span class="Normal">case</span> RESTART: <span class="Delimiter">{</span>
<span id="L538" class="LineNr">538 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L138'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L539" class="LineNr">539 </span>    <a href='003trace.cc.html#L178'>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;'restart' requires exactly one ingredient, but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L540" class="LineNr">540 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L541" class="LineNr">541 </span>  <span class="Delimiter">}</span>
<span id="L542" class="LineNr">542 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span>
<span id="L543" class="LineNr">543 </span>    <a href='003trace.cc.html#L178'>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;first ingredient of 'restart' should be a routine id generated by 'start-running', but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'</span><span class="cSpecial">\n</span><span class="Constant">&quot;</span> &lt;&lt; <a href='003trace.cc.html#L195'>end</a><span class="Delimiter">();</span>
<span id="L544" class="LineNr">544 </span>    <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L545" class="LineNr">545 </span>  <span class="Delimiter">}</span>
<span id="L546" class="LineNr">546 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L547" class="LineNr">547 </span><span class="Delimiter">}</span>
<span id="L548" class="LineNr">548 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span>
<span id="L549" class="LineNr">549 </span><span class="Normal">case</span> RESTART: <span class="Delimiter">{</span>
<span id="L550" class="LineNr">550 </span>  <span class="Normal">int</span> id = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span>
<span id="L551" class="LineNr">551 </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#L138'>SIZE</a><span class="Delimiter">(</span>Routines<span class="Delimiter">);</span>  ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L552" class="LineNr">552 </span>    <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>id == id<span class="Delimiter">)</span> <span class="Delimiter">{</span>
<span id="L553" class="LineNr">553 </span>      <span class="Normal">if</span> <span class="Delimiter">(</span>Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state == WAITING<span class="Delimiter">)</span>
<span id="L554" class="LineNr">554 </span>        Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>state = <a href='072scheduler.cc.html#L41'>RUNNING</a><span class="Delimiter">;</span>
<span id="L555" class="LineNr">555 </span>      Routines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)-&gt;</span>blocked = <span class="Constant">false</span><span class="Delimiter">;</span>
<span id="L556" class="LineNr">556 </span>      <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L557" class="LineNr">557 </span>    <span class="Delimiter">}</span>
<span id="L558" class="LineNr">558 </span>  <span class="Delimiter">}</span>
<span id="L559" class="LineNr">559 </span>  <span class="Identifier">break</span><span class="Delimiter">;</span>
<span id="L560" class="LineNr">560 </span><span class="Delimiter">}</span>
<span id="L561" class="LineNr">561 </span>
<span id="L562" class="LineNr">562 </span><span class="Delimiter">:(scenario cannot_restart_completed_routine)</span>
<span id="L563" class="LineNr">563 </span><span class="Special">% Scheduling_interval = 1;</span>
<span id="L564" class="LineNr">564 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L565" class="LineNr">565 </span>  local-scope
<span id="L566" class="LineNr">566 </span>  <span class="Normal">r</span>:num/routine-id<span class="Special"> &lt;- </span>start-running f
<span id="L567" class="LineNr">567 </span>  <span class="Normal">x</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>  <span class="Comment"># wait for f to be scheduled</span>
<span id="L568" class="LineNr">568 </span>  <span class="Comment"># r is COMPLETED by this point</span>
<span id="L569" class="LineNr">569 </span>  restart r  <span class="Comment"># should have no effect</span>
<span id="L570" class="LineNr">570 </span>  <span class="Normal">x</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span>  <span class="Comment"># give f time to be scheduled (though it shouldn't be)</span>
<span id="L571" class="LineNr">571 </span>]
<span id="L572" class="LineNr">572 </span><span class="muRecipe">def</span> f [
<span id="L573" class="LineNr">573 </span>  <span class="Constant">1</span>:num/<span class="Special">raw &lt;- </span>copy <span class="Constant">1</span>
<span id="L574" class="LineNr">574 </span>]
<span id="L575" class="LineNr">575 </span><span class="Comment"># shouldn't crash</span>
<span id="L576" class="LineNr">576 </span>
<span id="L577" class="LineNr">577 </span><span class="Delimiter">:(scenario restart_blocked_routine)</span>
<span id="L578" class="LineNr">578 </span><span class="Special">% Scheduling_interval = 1;</span>
<span id="L579" class="LineNr">579 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [
<span id="L580" class="LineNr">580 </span>  local-scope
<span id="L581" class="LineNr">581 </span>  <span class="Normal">r</span>:num/routine-id<span class="Special"> &lt;- </span>start-running f
<span id="L582" class="LineNr">582 </span>  wait-<span class="Normal">for</span>-routine-to-block r  <span class="Comment"># get past the block in f below</span>
<span id="L583" class="LineNr">583 </span>  restart r
<span id="L584" class="LineNr">584 </span>  wait-<span class="Normal">for</span>-routine-to-block r  <span class="Comment"># should run f to completion</span>
<span id="L585" class="LineNr">585 </span>]
<span id="L586" class="LineNr">586 </span><span class="Comment"># function with one block</span>
<span id="L587" class="LineNr">587 </span><span class="muRecipe">def</span> f [
<span id="L588" class="LineNr">588 </span>  current-routine-is-blocked
<span id="L589" class="LineNr">589 </span>  <span class="Comment"># 8 instructions of padding, many more than 'main' above</span>
<span id="L590" class="LineNr">590 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L591" class="LineNr">591 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L592" class="LineNr">592 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L593" class="LineNr">593 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L594" class="LineNr">594 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L595" class="LineNr">595 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L596" class="LineNr">596 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L597" class="LineNr">597 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L598" class="LineNr">598 </span>  <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>add <span class="Constant">1</span>:num<span class="Delimiter">,</span> <span class="Constant">1</span>
<span id="L599" class="LineNr">599 </span>]
<span id="L600" class="LineNr">600 </span><span class="Comment"># make sure all of f ran</span>
<span id="L601" class="LineNr">601 </span><span class="traceContains">+mem: storing 8 in location 1</span>
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->