文章

203

粉丝

40

获赞

2

访问

11.6k

头像
2024年计算机学科专业基础综合试题 - 第46题回答
操作系统
发布于2025年9月11日 17:37
阅读数 24

(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...

登录查看完整内容


登录后发布评论

暂无评论,来抢沙发