[project @ 2002-02-15 07:50:36 by sof]
Tighten up the Scheduler synchronisation story some more:
- moved thread_ready_cond + the counter rts_n_waiting_tasks
to Capability.c, leaving only sched_mutex as a synchro
variable in Scheduler (the less stuff that inhabit
Schedule.c, the better, methinks.)
- upon entry to the Scheduler, a worker thread will now call
Capability.yieldToReturningWorker() to check whether it
needs to give up its capability.
- Worker threads that are either idle or lack a capability,
will now call Capability.waitForWorkCapability() and block.