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.