Mon, 31 May 2010 21:06:57 +0200 |
modernized some structure names, keeping a few legacy aliases;
|
file | diff | annotate |
Sat, 06 Feb 2010 22:05:02 +0100 |
removed slightly adhoc single-assignment feature, cf. structure Single_Assignment;
|
file | diff | annotate |
Thu, 22 Oct 2009 15:19:44 +0200 |
support single-assigment variables -- based on magic RTS operations by David Matthews;
|
file | diff | annotate |
Tue, 29 Sep 2009 11:49:22 +0200 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
Wed, 16 Sep 2009 22:46:10 +0200 |
Synchronized.value does not require locking, since assigments are atomic;
|
file | diff | annotate |
Sat, 01 Aug 2009 00:09:45 +0200 |
renamed Multithreading.regular_interrupts to Multithreading.public_interrupts;
|
file | diff | annotate |
Thu, 30 Jul 2009 23:06:06 +0200 |
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 |
added unsynchronized Synchronized.peek;
|
file | diff | annotate |
Mon, 19 Jan 2009 19:38:03 +0100 |
removed Ids;
|
file | diff | annotate |
Tue, 14 Oct 2008 13:01:56 +0200 |
added value;
|
file | diff | annotate |
Mon, 13 Oct 2008 15:48:40 +0200 |
State variables with synchronized access.
|
file | diff | annotate |