wenzelm [Mon, 27 Jul 2009 17:12:19 +0200] rev 32229
wait: absorb spurious interrupts;
replaced wait_timeout by explicit wait_interruptible;
wenzelm [Mon, 27 Jul 2009 16:53:28 +0200] rev 32228
scheduler: shutdown spontaneously (after some delay) if queue is empty;
scheduler_check: critical, only performed after fork/enqueue;
shutdown: passively wait for termination;
wenzelm [Mon, 27 Jul 2009 16:08:41 +0200] rev 32227
join_next: do not yield, even if overloaded, to minimize "running" tasks;
wenzelm [Mon, 27 Jul 2009 15:53:43 +0200] rev 32226
tuned tracing;
wenzelm [Mon, 27 Jul 2009 15:30:21 +0200] rev 32225
cancel: improved reactivity due to more careful broadcasting;
internal broadcast_all;
wenzelm [Mon, 27 Jul 2009 15:06:33 +0200] rev 32224
dequeue_towards: always return active tasks;
join_work: imitate worker more closely, keep active if queue appears to be blocked for the moment -- it may become free again after some worker_finished event;
wenzelm [Mon, 27 Jul 2009 13:32:29 +0200] rev 32223
merged
wenzelm [Mon, 27 Jul 2009 13:32:23 +0200] rev 32222
removed unused low-level interrupts;
wenzelm [Mon, 27 Jul 2009 12:24:27 +0200] rev 32221
tuned signature;
wenzelm [Mon, 27 Jul 2009 12:16:58 +0200] rev 32220
tuned;