about summary refs log tree commit diff stats
path: root/html/lambda-to-mu.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-14 20:24:04 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-15 00:48:55 -0700
commit05fe4be58a11eb83373d66069cbd64f75846a4ed (patch)
tree88e3c259ad119d135d5a3068ab30bbcbae5201ca /html/lambda-to-mu.mu.html
parent5e080ed4969eb3e6c520da8efea7af87e644f3eb (diff)
downloadmu-05fe4be58a11eb83373d66069cbd64f75846a4ed.tar.gz
3353
Fix failing scenarios in channel layer. We do so by introducing a kludgy
new instruction to explicitly signal when a routine is stuck ('blocked')
and waiting on another.

All this locking and blocking may well be a crap design. We'll see if we
find ourselves using these primitives again. Ideally we don't need them
for anything else now that we're done building channels.

Still some failing scenarios left in chessboard.mu. Let's see how that
goes.
Diffstat (limited to 'html/lambda-to-mu.mu.html')
0 files changed, 0 insertions, 0 deletions