Next: Multicasting, Previous: Receiving, Up: Communication statements [Contents][Index]
When a message is sent or received asynchronously it must eventually be completed. In some messaging layers, asynchronous messages are not even sent or received until completion time. coNCePTuaL provides the following statement for completing messages that were send/received asynchronously:
<wait_stmt> | ::= | <source_task> |
AWAITS
COMPLETION |
That is, a <wait_stmt> simply
specifies the set of tasks that should block until all of their
pending communications complete. <source_task>
is as defined in Source
tasks. Note that a <wait_stmt> blocks
until all pending communications complete. coNCePTuaL does
not provide finer-grained control over completions. It is safe,
however, for a task to AWAIT COMPLETION
even
if it has no asynchronous messages pending.