n
create
a mailbox
mutex
shared by n processes
n
send() is non blocking
n
receive() blocks when
mutex
is empty
n
Initialization:
send(
mutex
, “go”);
n
The first Pi who
executes receive() will
enter CS. Others will
be blocked until Pi
resends msg.