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 |
Tue, 28 Jul 2009 15:05:18 +0200 | wenzelm | added unsynchronized Synchronized.peek; | file | diff | annotate |
Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Tue, 14 Oct 2008 13:01:56 +0200 | wenzelm | added value; | file | diff | annotate |
Mon, 13 Oct 2008 15:48:40 +0200 | wenzelm | State variables with synchronized access. | file | diff | annotate |