Progress



next up previous contents
Next: Fairness Up: Semantics of Blocking Previous: Order

Progress

  progress

If a pair of matching send and receives have been initiated on two processes, then at least one of these two operations will complete, independently of other actions in the system. The send operation will complete, unless the receive is satisfied by another message. The receive operation will complete, unless the message sent is consumed by another matching receive posted at the same destination process.



Jack Dongarra
Fri Sep 1 06:16:55 EDT 1995