semaphore Full_A =x;//Full A表示A的信箱中的邮件数量
semaphore Empty_A = M-x;//Empty_A表示A的信箱中还可存放的邮件数量semaphore FullB = y;//FullB表示B的信箱中的邮件数量
semaphore Empty_B = N-y;//Empty_B表示B的信箱中还可存放的邮件数量semaphore mutex_A = 1;//mutex_A用于A的信箱互斥
semaphore mutex_B = 1;//mutex_B用于B 的信箱互斥
CoBegin
A{
while(TRUE){
P(Full A);
P(mutex_A);
从A的信箱中取出一个邮件;
V(mutex_A);
V(Empty_A);
回答问题并提出一个新问题;
P(Empty_B);
P(mutex_B);
将新邮件放入B的信箱;
V(mutex_B);
V(Full_B );
}
}
B{
while(TRUE){
P(FulLB);
P(mutex_B);
从B的信箱中取出一个邮件;
V(mutex_B);
V(Empty_B);
回答问题并提出一个新问题;
P(Empty_A);
P(mutex_A);
将新邮件放入A 的信箱;
V(mtex_A);
V(Full_A);
}
}
CoEnd
【评分说明】
①每对信号量的定义及初值正确，给分。
②每个互斥信号量的P、V操作使用正确，各给分。
③每个同步信号量的 P、V操作使用正确，各给分。
④其他答案酌情给分。