about summary refs log tree commit diff stats
path: root/013update_operation.cc
Commit message (Expand)AuthorAgeFilesLines
* 2990Kartik K. Agaram2016-05-201-1/+1
* 2773 - switch to 'int'Kartik K. Agaram2016-03-131-1/+1
* 2728 - don't ignore /space: while checking typesKartik K. Agaram2016-03-041-6/+0
* 2712Kartik K. Agaram2016-02-261-1/+1
* 2704 - eradicate all mention of warnings from coreKartik K. Agaram2016-02-251-1/+1
* 2693Kartik K. Agaram2016-02-231-1/+1
* layer 3 of edit/ now workingKartik K. Agaram2015-12-151-4/+6
* 2494Kartik K. Agaram2015-11-281-1/+1
* 2383 - new concern: idempotence of transformsKartik K. Agaram2015-11-061-1/+1
* 2382Kartik K. Agaram2015-11-061-0/+1
* 2379 - further improvements to map operationsKartik K. Agaram2015-11-061-1/+1
* 2377 - stop using operator[] in mapKartik K. Agaram2015-11-061-5/+5
* 2360Kartik K. Agaram2015-11-041-1/+1
* 2358 - starting to tackle the phase ordering problemKartik K. Agaram2015-11-041-3/+2
* 2321 - more preparations for static dispatchKartik K. Agaram2015-10-291-0/+31
olor: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
(selective-load "mu.arc" section-level)
(set allow-raw-addresses*)

(reset)
(new-trace "blocking-example")
(add-code
  '((function reader [
      (default-space:space-address <- new space:literal 30:literal/capacity)
      (x:tagged-value 1:channel-address/space:global <- read 1:channel-address/space:global)
     ])
    (function main [
      (default-space:space-address <- new space:literal 30:literal/capacity)
      (1:channel-address <- init-channel 3:literal)
      (2:integer/routine <- fork-helper reader:fn default-space:space-address/globals 50:literal/limit)
      ; write nothing to the channel
;?       (sleep until-routine-done:literal 2:integer/routine)
     ])))
;? (= dump-trace* (obj whitelist '("schedule" "run")))
(run 'main)
;? (prn "completed:")
;? (each r completed-routines*
;?   (prn " " r))
(when (ran-to-completion 'reader)
  (prn "F - reader waits for input"))

(reset)