Mon, 27 Jul 2009 16:08:41 +0200 join_next: do not yield, even if overloaded, to minimize "running" tasks;
wenzelm [Mon, 27 Jul 2009 16:08:41 +0200] rev 32227
join_next: do not yield, even if overloaded, to minimize "running" tasks;
Mon, 27 Jul 2009 15:53:43 +0200 tuned tracing;
wenzelm [Mon, 27 Jul 2009 15:53:43 +0200] rev 32226
tuned tracing;
Mon, 27 Jul 2009 15:30:21 +0200 cancel: improved reactivity due to more careful broadcasting;
wenzelm [Mon, 27 Jul 2009 15:30:21 +0200] rev 32225
cancel: improved reactivity due to more careful broadcasting; internal broadcast_all;
Mon, 27 Jul 2009 15:06:33 +0200 dequeue_towards: always return active tasks;
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;
Mon, 27 Jul 2009 13:32:29 +0200 merged
wenzelm [Mon, 27 Jul 2009 13:32:29 +0200] rev 32223
merged
Mon, 27 Jul 2009 13:32:23 +0200 removed unused low-level interrupts;
wenzelm [Mon, 27 Jul 2009 13:32:23 +0200] rev 32222
removed unused low-level interrupts;
Mon, 27 Jul 2009 12:24:27 +0200 tuned signature;
wenzelm [Mon, 27 Jul 2009 12:24:27 +0200] rev 32221
tuned signature;
Mon, 27 Jul 2009 12:16:58 +0200 tuned;
wenzelm [Mon, 27 Jul 2009 12:16:58 +0200] rev 32220
tuned;
Mon, 27 Jul 2009 12:11:18 +0200 more specific conditions: scheduler_event, work_available, work_finished -- considereably reduces overhead with many threads;
wenzelm [Mon, 27 Jul 2009 12:11:18 +0200] rev 32219
more specific conditions: scheduler_event, work_available, work_finished -- considereably reduces overhead with many threads; more specific signal vs. broadcast; execute/finish: more careful notification based on minimal/maximal status; tuned shutdown;
Mon, 27 Jul 2009 12:00:02 +0200 enqueue/finish: return minimal/maximal state of this task;
wenzelm [Mon, 27 Jul 2009 12:00:02 +0200] rev 32218
enqueue/finish: return minimal/maximal state of this task;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip