free_capabilities = (*cap)->link;
rts_n_free_capabilities--;
#endif
-#ifdef RTS_SUPPORTS_THREADS
- IF_DEBUG(scheduler, sched_belch("worker: got capability"));
-#endif
+ IF_DEBUG(scheduler, sched_belch("worker: got capability"));
}
/*
signalCondition(&thread_ready_cond);
startSchedulerTaskIfNecessary(); // if there is more work to be done,
// we'll need a new thread
- }
-#endif
-#ifdef RTS_SUPPORTS_THREADS
IF_DEBUG(scheduler, sched_belch("worker: released capability"));
+ }
#endif
return;
}
#ifdef SMP
#error SMP version not implemented
#endif
+ ASSERT(rts_n_free_capabilities == 0);
rts_n_free_capabilities = 1;
signalCondition(pTargetThreadCond);
passTarget = pTargetThreadCond;