| Sun, 31 May 2009 14:46:44 +0200 |
wenzelm |
more precise version information;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 20:20:09 +0100 |
wenzelm |
future_job: do not inherit attributes, but enforce restricted interrupts -- attempt to prevent interrupt race conditions;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 11:08:59 +0100 |
wenzelm |
with_attributes: canonical capture/release scheme (potentially iron out race condition);
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 19:38:03 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2009 16:33:09 +0100 |
wenzelm |
with_attributes: make double sure that unsafe attributes are avoided;
|
file |
diff |
annotate
|
| Thu, 09 Oct 2008 20:53:24 +0200 |
wenzelm |
added enabled;
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 21:21:21 +0200 |
wenzelm |
with_attributes: enforces InterruptAsynch => InterruptAsynchOnce to avoid race condition;
|
file |
diff |
annotate
|
| Thu, 02 Oct 2008 19:59:01 +0200 |
wenzelm |
tracing: ignore failure of any kind;
|
file |
diff |
annotate
|
| Wed, 01 Oct 2008 12:00:02 +0200 |
wenzelm |
more robust treatment of Interrupt (cf. exn.ML);
|
file |
diff |
annotate
|
| Mon, 29 Sep 2008 11:46:52 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 18:01:24 +0200 |
wenzelm |
multithreading for Poly/ML 5.1 is no longer supported;
|
file |
diff |
annotate
|
| Mon, 08 Sep 2008 20:33:29 +0200 |
wenzelm |
removed unused sync_interrupts;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 22:20:15 +0200 |
wenzelm |
added sync_interrupts, regular_interrupts;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 17:46:41 +0200 |
wenzelm |
added no_interrupts;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 16:03:47 +0200 |
wenzelm |
moved Multithreading.task/schedule to Concurrent/schedule.ML;
|
file |
diff |
annotate
|
| Mon, 31 Mar 2008 23:08:55 +0200 |
wenzelm |
before close: Exn.capture/release;
|
file |
diff |
annotate
|
| Sat, 29 Mar 2008 19:14:15 +0100 |
wenzelm |
CRITICAL: further trace levels for 1000ms and 100ms;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2008 12:14:17 +0100 |
wenzelm |
moved multithreaded "profile" to multithreading_polyml.ML;
|
file |
diff |
annotate
|
| Tue, 11 Mar 2008 20:30:46 +0100 |
wenzelm |
schedule main control: more robust interrupting of potentially running threads;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 20:17:51 +0100 |
wenzelm |
system_out: threaded version does not work for 5.1;
|
file |
diff |
annotate
|
| Tue, 19 Feb 2008 20:34:30 +0100 |
wenzelm |
added system_out (back to multithreaded version -- still suffers from non-interruptible wait in Poly/ML 5.1);
|
file |
diff |
annotate
|
| Sat, 16 Feb 2008 16:44:02 +0100 |
wenzelm |
removed managed_process (cf. General/shell_process.ML);
|
file |
diff |
annotate
|
| Fri, 15 Feb 2008 23:22:02 +0100 |
wenzelm |
support for managed external processes;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2008 16:32:53 +0100 |
wenzelm |
added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;
|
file |
diff |
annotate
|
| Thu, 20 Dec 2007 21:12:02 +0100 |
wenzelm |
added get/put_data;
|
file |
diff |
annotate
|
| Tue, 18 Dec 2007 22:21:42 +0100 |
wenzelm |
signature BASIC_MULTITHREADING;
|
file |
diff |
annotate
|
| 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
|
| 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
|