149
Synchronization in message passing
nFor the sender: it is more natural not to be blocked after
issuing send(.,.)
ucan
send several messages to multiple dest.
ubut
sender usually expect acknowledgment of message receipt (in case receiver fails)
nFor the receiver: it is more natural to be blocked after
issuing receive(.,.)
uthe
receiver usually needs the info before proceeding
ubut could be blocked indefinitely if sender process fails
before send(.,.)