| Mon, 22 Dec 2014 20:40:37 +0100 |
wenzelm |
discontinued central critical sections: NAMED_CRITICAL / CRITICAL;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 11:43:51 +0100 |
wenzelm |
load simple_thread.ML later, such that it benefits from redefined print_exception_trace;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2013 18:02:22 +0100 |
wenzelm |
support for polml-5.5.2;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 22:55:47 +0200 |
wenzelm |
tuned signature -- corresponding to Scala version;
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 14:09:24 +0100 |
wenzelm |
added Multithreading.interrupted (cf. java.lang.Thread.interrupted);
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 18:21:48 +0200 |
wenzelm |
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 11:45:42 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 11:36:12 +0200 |
wenzelm |
more uniform treatment of structure Unsynchronized in ML bootstrap phase;
|
file |
diff |
annotate
|
| Sat, 01 Aug 2009 00:09:45 +0200 |
wenzelm |
renamed Multithreading.regular_interrupts to Multithreading.public_interrupts;
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 23:06:06 +0200 |
wenzelm |
added Multithreading.sync_wait, which turns enabled interrupts to sync ones, to ensure that wait will reaquire its lock when interrupted;
|
file |
diff |
annotate
|
| Sat, 25 Jul 2009 00:53:47 +0200 |
wenzelm |
tuned tracing;
|
file |
diff |
annotate
|
| Sat, 25 Jul 2009 00:39:05 +0200 |
wenzelm |
added Multithreading.real_time;
|
file |
diff |
annotate
|
| Sat, 25 Jul 2009 00:13:39 +0200 |
wenzelm |
simplified/unified Multithreading.tracing_time;
|
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
|
| Mon, 19 Jan 2009 19:38:03 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|