| Sat, 02 Apr 2016 23:29:05 +0200 |
wenzelm |
prefer infix operations;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2014 22:08:55 +0200 |
wenzelm |
more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 22:56:48 +0200 |
wenzelm |
explicit shutdown of message output thread;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 19:38:03 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 13:01:52 +0200 |
wenzelm |
simplified synchronized variable access;
|
file |
diff |
annotate
|
| Mon, 13 Oct 2008 15:48:38 +0200 |
wenzelm |
simplified implementation using Synchronized.var;
|
file |
diff |
annotate
|
| Wed, 01 Oct 2008 12:00:02 +0200 |
wenzelm |
more robust treatment of Interrupt (cf. exn.ML);
|
file |
diff |
annotate
|
| Mon, 08 Sep 2008 22:14:39 +0200 |
wenzelm |
send: broadcast condition while locked!
|
file |
diff |
annotate
|
| Mon, 08 Sep 2008 20:35:38 +0200 |
wenzelm |
tuned Mailbox.send;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 22:19:58 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 17:46:38 +0200 |
wenzelm |
send: broadcast to all waiting threads;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 21:12:06 +0200 |
wenzelm |
proper header;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 21:02:42 +0200 |
wenzelm |
added receive_timeout;
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 19:45:13 +0200 |
wenzelm |
Concurrent message exchange via mailbox -- with unbounded queueing.
|
file |
diff |
annotate
|