testboard: File revisions

src/Pure/ML-Systems/multithreading.ML

2010-09-22 ago	renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;	file \| diff \| annotate
2009-09-30 ago	tuned whitespace;	file \| diff \| annotate
2009-09-30 ago	more uniform treatment of structure Unsynchronized in ML bootstrap phase;	file \| diff \| annotate
2009-08-01 ago	renamed Multithreading.regular_interrupts to Multithreading.public_interrupts;	file \| diff \| annotate
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;	file \| diff \| annotate
2009-07-25 ago	tuned tracing;	file \| diff \| annotate
2009-07-25 ago	added Multithreading.real_time;	file \| diff \| annotate
2009-07-25 ago	simplified/unified Multithreading.tracing_time;	file \| diff \| annotate
2009-03-20 ago	future_job: do not inherit attributes, but enforce restricted interrupts -- attempt to prevent interrupt race conditions;	file \| diff \| annotate
2009-01-19 ago	removed Ids;	file \| diff \| annotate
2008-10-09 ago	added enabled;	file \| diff \| annotate
2008-10-02 ago	max_threads_value always 1 for dummy version;	file \| diff \| annotate
2008-09-09 ago	proper values of no_interrupts, regular_interrupts;	file \| diff \| annotate
2008-09-08 ago	removed unused sync_interrupts;	file \| diff \| annotate
2008-09-07 ago	added sync_interrupts, regular_interrupts;	file \| diff \| annotate
2008-09-07 ago	added no_interrupts;	file \| diff \| annotate
2008-09-04 ago	provide dummy thread structures, including proper Thread.getLocal/setLocal;	file \| diff \| annotate
2008-02-16 ago	removed managed_process (cf. General/shell_process.ML);	file \| diff \| annotate
2008-02-15 ago	support for managed external processes;	file \| diff \| annotate
2008-01-02 ago	added Multithreading.max_threads_value, which maps a value of 0 to number of CPUs;	file \| diff \| annotate
2007-12-20 ago	added get/put_data;	file \| diff \| annotate
2007-12-18 ago	signature BASIC_MULTITHREADING;	file \| diff \| annotate
2007-09-24 ago	renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;	file \| diff \| annotate

testboard

RSS Atom