有A、B两人通过信箱进行辩论,每个人都从自己的信箱中取得对方的问题,将答案和向对方提出的新问题组成一个邮件放人对方的信箱中。假设A的信箱最多放M个邮件,B的信箱最多放N个邮件。初始时A的信箱中有x个邮件(0semaphore Full_A = x ; //表示A的信箱中的邮件数量semaphore Empty_A = _____1_____; //表示A的信箱中还可存放的邮件数量semaphore Full_B = _____2_____ ; //表示B的信箱中的邮件数量semaphore Empty_B = N-y; //表示B的信箱中还可存放的邮件数量semaphore mutex_A = mutex_B = _____3_____ ; //用于信箱A和B的互斥CoBegin

A.{ while(TRUE){ _____4_____ ; P(mutex_A); 从A的信箱中取出一个邮件; V(mutex_A); _____5_____ ; 回答问题并提出新问题; _____6_____ ; P(mutex_B); 将新邮件放入
B.的信箱; V(mutex_B); V(Full_B); } } B { while(TRUE){ _____7_____ ; P(mutex_B); 从B的信箱中取出一个邮件; V(mutex_B); V(Empty_B) ; 回答问题并提出新问题; _____8_____ ; P(mutex_A); 将新邮件放入A的信箱; V(mutex_A); V(Full_A); } } CoEnd(1)M-x;(2)y;(3)1;(4) P(Full_A);(5)V(Empty_A);(6)P(Empty_B);(7)P(Full_B);(8)P(Empty_A)