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;
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;
wenzelm [Mon, 27 Jul 2009 12:00:02 +0200] rev 32218
enqueue/finish: return minimal/maximal state of this task;
haftmann [Mon, 27 Jul 2009 09:01:13 +0200] rev 32217
NEWS
wenzelm [Sun, 26 Jul 2009 22:33:32 +0200] rev 32216
tacticals FOCUS and FOCUS_PARAMS;
wenzelm [Sun, 26 Jul 2009 22:28:31 +0200] rev 32215
replaced old METAHYPS by FOCUS;
eliminated homegrown SUBGOAL combinator -- beware of exception Subscript in body;
modernized functor names;
minimal tuning of sources;
reactivated dead quasi.ML (ever used?);
wenzelm [Sun, 26 Jul 2009 22:24:13 +0200] rev 32214
replaced old METAHYPS by FOCUS;