Changes between Version 2 and Version 3 of MessagePassing

Timestamp:

07/11/13 16:22:15 (13 years ago)

Author:

siegel

Comment:

--

MessagePassing

@@ -77 +77 @@
   int message_source;
   int message_dest;
+  Message *queue = comm->buf_front[source][dest];
+
+  // first,  the guard:
+  when ($exists {int i | 0<= i && 
   // search the queue looking for the message
   // also set message_source, message_dest;