（1）对C1的代码是临界区，因为不同进程对缓冲区B访问需要互斥，同一时刻只有一个进程可以进入缓冲区B
（2）
cobegin{
semaphore mutex = 1;//互斥访问缓冲区B
semaphore buffer_B = 0;//B中可用数据
p_1(){
while(1){
wait(mutex);
执行C1，往缓冲区中放入数据；
sighal(buffer_B);
signal(mutex);
}
}
p_2(){
wait(buffer_B);
wait(mutex);
执行C2，从B从读取一个数据；
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和buffer_B两个信号量，思路正确，但代码存在逻辑错误：在P1进程中，执行C1（写入数据）后，应先signal(buffer_B)再signal(mutex)，但学生代码中signal(mutex)在signal(buffer_B)之后，这不会导致错误，但标准答案中先释放mutex再signal(full)也是可行的。然而，在P2进程中，wait(buffer_B)和wait(mutex)的顺序有误：应先wait(buffer_B)等待缓冲区非空，再wait(mutex)获取互斥访问权，否则可能死锁（例如，如果P2先获取mutex，但缓冲区为空，则P2阻塞且持有mutex，导致P1无法写入）。学生代码中P2先w...
The road of your choice, you have to go on !
粤ICP备16082171号-1
登录后发布评论
暂无评论，来抢沙发