1 // broadcast.ck : event broadcast
6 // base function for shred
22 // yield current shred (without advancing time)
23 // ... allow other shreds to start running ...
24 // (alternative: advance time to allow all shreds to start running)
27 // signal all shreds waiting on event e
30 // advance time since this parent shred will free all child shreds on exit
31 // (alternative: me.yield())