src/Pure/ML-Systems/multithreading.ML
2013-12-11 ago support for polml-5.5.2;
2011-07-11 ago tuned signature -- corresponding to Scala version;
2011-02-08 ago added Multithreading.interrupted (cf. java.lang.Thread.interrupted);
2010-09-22 ago renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2009-09-30 ago tuned whitespace;
2009-09-30 ago more uniform treatment of structure Unsynchronized in ML bootstrap phase;
2009-08-01 ago renamed Multithreading.regular_interrupts to Multithreading.public_interrupts;
2009-07-30 ago added Multithreading.sync_wait, which turns enabled interrupts to sync ones, to ensure that wait will reaquire its lock when interrupted;
2009-07-25 ago tuned tracing;
2009-07-25 ago added Multithreading.real_time;
2009-07-25 ago simplified/unified Multithreading.tracing_time;
2009-03-20 ago future_job: do not inherit attributes, but enforce restricted interrupts -- attempt to prevent interrupt race conditions;
2009-01-19 ago removed Ids;
2008-10-09 ago added enabled;
2008-10-02 ago max_threads_value always 1 for dummy version;
2008-09-09 ago proper values of no_interrupts, regular_interrupts;
2008-09-08 ago removed unused sync_interrupts;
2008-09-07 ago added sync_interrupts, regular_interrupts;
2008-09-07 ago added no_interrupts;
2008-09-04 ago provide dummy thread structures, including proper Thread.getLocal/setLocal;
2008-02-16 ago removed managed_process (cf. General/shell_process.ML);
2008-02-15 ago support for managed external processes;
2008-01-02 ago added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;
2007-12-20 ago added get/put_data;
2007-12-18 ago signature BASIC_MULTITHREADING;
2007-09-24 ago renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;