scslab/lio — pull request #18 by deian (2012-08-28 21:50:38+00:00)
Title: lBracket in place of lForce

lForce was raising the current label, thus making its role pointless. I added lBracket which is toLabeled with a time. Moreover, all forked computations keep running until a lWait or trylWait kill them.

One thing that has been and still is a concern is leaks through the scheduler. Specifically, a high thread can keep forking threads if secret bit is 1 to affect the scheduling of 2 low threads... we should address this at some point using resource limitations