Changes between Version 19 and Version 20 of Libraries


Ignore:
Timestamp:
05/25/23 21:52:45 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Libraries

    v19 v20  
    9696  * Enqueues a message in a FIFO channel in the gcomm.  The message should have its source be the place of `comm`.   The message will enqueued on channel ''(i,j)'' in the gcomm, where ''i'' is the place of the source, and ''j'' is the place of the destination of the message.
    9797* `$system $state_f _Bool $comm_probe($comm comm, int source, int tag)`
    98   * Determines whether there exists a message with the given source and tag, and with destination the place of `comm`, in the gcomm associated to `comm`.   `source` may be $COMM_ANY_SOURCE` and `tag` may be `$COMM_ANY_TAG`.
     98  * Determines whether there exists a message with the given source and tag, and with destination the place of `comm`, in the gcomm associated to `comm`.   `source` may be `$COMM_ANY_SOURCE` and `tag` may be `$COMM_ANY_TAG`.
    9999* `$system $message $comm_seek($comm comm, int source, int tag)`
    100100* `$system $message $comm_dequeue($comm comm, int source, int tag)`