| Mon, 24 Sep 2007 13:52:50 +0200 |
wenzelm |
replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
|
file |
diff |
annotate
|
| Fri, 21 Sep 2007 22:51:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 20:58:40 +0200 |
wenzelm |
added interrupt_timeout;
|
file |
diff |
annotate
|
| Thu, 16 Aug 2007 18:53:22 +0200 |
wenzelm |
improved treatment of global interrupts: Thread.EnableBroadcastInterrupt, redefine ignore/raise_interrupt;
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 22:21:13 +0200 |
wenzelm |
main: wait_timeout (1 second);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 14:49:01 +0200 |
wenzelm |
(un)interruptible: pass-through original thread attributes;
|
file |
diff |
annotate
|
| 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
|