diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-01-25 16:40:11 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-01-25 16:40:11 -0800 |
commit | 4f686be1ebb6713933298531531fbef0898c6b2b (patch) | |
tree | 3a46478c288a8b6fa835c16882363f41a5c891f4 /blocking.arc.t | |
parent | d1f57fa1ab95a36a562d2b75a064bc387bd2d5d3 (diff) | |
download | mu-4f686be1ebb6713933298531531fbef0898c6b2b.tar.gz |
623 - 'nochange' to guard against race conditions
I dunno, this may all be a wild goose chase. I haven't been disciplined in tagging in-out arguments in 'read-move' and its helpers. Maybe I should just drop those 'nochange' oargs in 'read' and 'write'. Maybe I should reserve output args only for return values that callers might actually care about, and use more conventional metadata like 'const' or 'unique' or 'inout' on other args.
Diffstat (limited to 'blocking.arc.t')
-rw-r--r-- | blocking.arc.t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/blocking.arc.t b/blocking.arc.t index e7535506..3cffb462 100644 --- a/blocking.arc.t +++ b/blocking.arc.t @@ -5,7 +5,7 @@ (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) + (x:tagged-value 1:channel-address/space:global/nochange <- read 1:channel-address/space:global) ]) (function main [ (default-space:space-address <- new space:literal 30:literal/capacity) |