|
305 | 305 | }
|
306 | 306 | }
|
307 | 307 | var allbuttons = [
|
308 |
| -"Top", |
| 308 | +"The concept of fibration", |
309 | 309 | "next",
|
310 | 310 | "high",
|
311 | 311 | "med1",
|
|
370 | 370 | <!--Left Margin Toc-->
|
371 | 371 | <div id="leftmargintoc">
|
372 | 372 | <!--Left Margin Toc Main Contents-->
|
373 |
| - <div class=m1 onclick="mshow('menu1','#Top_h')"> <a href="#Top_h">Top</a></div> |
| 373 | + <div class=m1 onclick="mshow('menu1','#The concept of fibration_h')"> <a href="#The_concept_of_fibration_h">The concept of fibration</a></div> |
374 | 374 | <div class=sm id=menu1>
|
375 | 375 | <div class=m2><a href="#next_h">next</a></div>
|
376 | 376 | </div>
|
|
390 | 390 | <span id="right" class="rightpanel">
|
391 | 391 | <div class="maincontent">
|
392 | 392 | <!--Main Content Body-->
|
393 |
| -<h1 id='Top_h'><img src='/share/src/web/images/minus.gif' id='Top' onclick='toggle(this,"Top_d")' alt='+'/> 1 Top</h1><div id='Top_d' style='display:block'> |
394 |
| -<p>blam |
| 393 | +<h1 id='The_concept_of_fibration_h'><img src='/share/src/web/images/minus.gif' id='The concept of fibration' onclick='toggle(this,"The_concept_of_fibration_d")' alt='+'/> 1 The concept of fibration</h1><div id='The_concept_of_fibration_d' style='display:block'> |
| 394 | +<p>A <em>coroutine system</em> is a collection of processes called <em>fibres</em> |
| 395 | +with these properties: |
| 396 | +<ul> |
| 397 | +<li>Exactly one process can be <em>running</em> at once, the others are said to be <em>suspended</em></li> |
| 398 | +<li>Control cannot be pre-empted, but is yielded voluntarily</li> |
| 399 | +</ul> |
| 400 | +In our system, there are four principle operations: |
| 401 | +<ol> |
| 402 | +<li><em>spawn</em> a new fibre</li> |
| 403 | +<li><em>read/em> from a channel</li> |
| 404 | +<li><em>write/em> to a channel</li> |
| 405 | +<li>Commit <em>suicide</em> |
| 406 | +</ol> |
| 407 | +A fibre of control can be in one of four states: |
| 408 | +<ol> |
| 409 | +<li>Running</em> |
| 410 | +<li>Active (but not running)</li> |
| 411 | +<li>Waiting on I/O</li> |
| 412 | +<li>Dead</li> |
| 413 | +</ol> |
395 | 414 | </p><h2 id='next_h'><img src='/share/src/web/images/minus.gif' id='next' onclick='toggle(this,"next_d")' alt='+'/> 1.1 next</h2><div id='next_d' style='display:block'>
|
396 | 415 | <p>stuff
|
397 | 416 | </p><p><pre class='flxbg'><span class="lineno" id=line1></span> blah
|
|
0 commit comments