文章
203
粉丝
40
获赞
2
访问
11.6k
(1)对C1的代码是临界区,因为不同进程对缓冲区B访问需要互斥,同一时刻只有一个进程可以进入缓冲区B
(2)
cobegin{
semaphore mutex = 1;//互斥访问缓冲区B
semaphore empty = 1;//缓存B中还可以放入的数据量
semaphore buffer_B = 0;//B中可用数据
p_1(){
while(1){
wait(mutex);
wait(empty);
执行C1,往缓冲区中放入数据;
sighal(buffer_B);
signal(mutex);
}
}
p_2(){
wait(mutex);
wait(buffer_B);
执行C2,从B从读取一个数据;
signal(empty;)
signal(mutex);
}
}coend;
(3)
cobegin{
semaphore mutex = 1;//对缓冲区B上锁
p_1(){
while(1){
p(mutex);
执行C3,修改数据;
v(mutex);
}
}
p_2(){
while(1){
p(mutex);
执行C3,修改数据;
v(mutex);
}
}
}coend;
评分及理由
(1)得分及理由(满分2分)
学生回答正确,指出C1代码是临界区,因为不同进程对缓冲区B的访问需要互斥,同一时刻只能有一个进程进入缓冲区B。这与标准答案一致,解释了临界区的定义和必要性。得2分。
(2)得分及理由(满分3分)
学生定义了三个信号量(mutex、empty、buffer_B),但题目要求定义尽可能少的信号量,实际上只需要两个信号量(互斥和同步)。学生代码逻辑存在错误:在P1中,wait(empty)和signal(buffer_B)的顺序正确,但P2中wait(mutex)和wait(buffer_B)的顺序错误,应先wait(buffer_B)再wait(mutex),否则可能死锁(例如,如果P2先获取mutex,但buffer_B为0,则阻塞,而P1无法获取mutex...
登录后发布评论
暂无评论,来抢沙发