302 - now we can add some labels to 'write'

The hope is that those labels will help us test the race condition by
hooking into the scheduler.

Hooking into the scheduler will complicate the task of dropping racket
and running tests natively. But we'll worry about that later.

1 files changed, 2 insertions, 0 deletions

diff --git a/mu.arc b/mu.arc
index a481c1ea..1dc43b62 100644
--- a/mu.arc
+++ b/mu.arc
@@ -951,8 +951,10 @@
     ; race condition: might unnecessarily sleep if consumer routine reads from
     ; channel between previous check and the set to watch below
     (break-unless (full boolean))
+    wipe-read
     ((watch boolean-address) <- get-address (chan channel-address deref) (read-watch offset))
     ((watch boolean-address deref) <- copy (nil literal))
+    start-sleep
     (sleep (watch boolean-address deref))
   }
   ; store val