【正确答案】正确答案:semaphore Full_A=x,//Full_A表示A的信箱中的邮件数量 semaphore Empty A=M-x;//Empty_A表示A的信箱中还可存放的邮件数量 semaphore Full_B=y;//Full_B表示B的信箱中的邮件数量 semaphore Empty_B=N-y;//Empty_B表示B的信箱中还可存放的邮件数量 semaphore mutex_A=1;//mutex_A用于A的信箱互斥 semaphore mutex_B=1;//mutex_B用于B的信箱互斥 Cobegin
