Next: , Previous: , Up: Communication statements   [Contents][Index]

4.4.4 Awaiting completion

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>

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.

Scott Pakin,