diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-01-19 23:18:03 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-01-19 23:18:03 -0800 |
| commit | 455fbac64f101b05f7eaca89b84470569e4df3fd (patch) | |
| tree | 32cfd5b092ad86086e4d15992bb10fd06a12bf13 /channel.mu | |
| parent | 7163e18a774781c62f0c0542e4cb9037f6a71d22 (diff) | |
| download | mu-455fbac64f101b05f7eaca89b84470569e4df3fd.tar.gz | |
2576 - distinguish allocated addresses from others
This is the one major refinement on the C programming model I'm planning to introduce in mu. Instead of Rust's menagerie of pointer types and static checking, I want to introduce just one new type, and use it to perform ref-counting at runtime. So far all we're doing is updating new's interface. The actual ref-counting implementation is next. One implication: I might sometimes need duplicate implementations for a recipe with allocated vs vanilla addresses of the same type. So far it seems I can get away with just always passing in allocated addresses; the situations when you want to pass an unallocated address to a recipe should be few and far between.
Diffstat (limited to 'channel.mu')
| -rw-r--r-- | channel.mu | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/channel.mu b/channel.mu index def7c08b..54486957 100644 --- a/channel.mu +++ b/channel.mu @@ -1,6 +1,6 @@ # example program: communicating between routines using channels -recipe producer chan:address:channel -> chan:address:channel [ +recipe producer chan:address:shared:channel -> chan:address:shared:channel [ # produce characters 1 to 5 on a channel local-scope load-ingredients @@ -12,19 +12,19 @@ recipe producer chan:address:channel -> chan:address:channel [ # other threads might get between these prints $print [produce: ], n, [ ] - chan:address:channel <- write chan, n + chan:address:shared:channel <- write chan, n n <- add n, 1 loop } ] -recipe consumer chan:address:channel -> chan:address:channel [ +recipe consumer chan:address:shared:channel -> chan:address:shared:channel [ # consume and print integers from a channel local-scope load-ingredients { # read an integer from the channel - n:character, chan:address:channel <- read chan + n:character, chan:address:shared:channel <- read chan # other threads might get between these prints $print [consume: ], n:character, [ ] @@ -34,7 +34,7 @@ recipe consumer chan:address:channel -> chan:address:channel [ recipe main [ local-scope - chan:address:channel <- new-channel 3 + chan:address:shared:channel <- new-channel 3 # create two background 'routines' that communicate by a channel routine1:number <- start-running producer, chan routine2:number <- start-running consumer, chan |