Thu, 09 Aug 2007 23:53:50 +0200 |
wenzelm |
schedule: more precise task model;
|
file |
diff |
annotate
|
Fri, 03 Aug 2007 16:28:23 +0200 |
wenzelm |
tuned tracing;
|
file |
diff |
annotate
|
Wed, 01 Aug 2007 17:03:28 +0200 |
wenzelm |
tracing: level;
|
file |
diff |
annotate
|
Wed, 01 Aug 2007 16:50:16 +0200 |
wenzelm |
oops -- fixed syntax;
|
file |
diff |
annotate
|
Wed, 01 Aug 2007 16:48:47 +0200 |
wenzelm |
"running": PROTECTED wakeup;
|
file |
diff |
annotate
|
Mon, 30 Jul 2007 19:22:27 +0200 |
wenzelm |
dequeue: wait loop while PROTECTED -- avoids race condition;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 23:27:40 +0200 |
wenzelm |
tuned msgs;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 22:41:59 +0200 |
wenzelm |
more informative tracing;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 19:46:04 +0200 |
wenzelm |
more informative tracing;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 17:28:57 +0200 |
wenzelm |
critical: improved diagostics;
|
file |
diff |
annotate
|
Wed, 25 Jul 2007 22:20:53 +0200 |
wenzelm |
renamed CRITICAL' to NAMED_CRITICAL;
|
file |
diff |
annotate
|
Wed, 25 Jul 2007 17:05:49 +0200 |
wenzelm |
added trace flag, official tracing operation;
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 22:53:48 +0200 |
wenzelm |
renamed number_of_threads to max_threads;
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 19:44:32 +0200 |
wenzelm |
Multithreading in Poly/ML (version 5.1).
|
file |
diff |
annotate
|