2024年计算机学科专业基础综合试题 - 第46题回答
(1)实现C1的代码是临界区，因为不同进程同时对缓冲区B进行写操作时，需要互斥访问，否则可能会产生脏数据，造成数据冲突
(2)
CoBegin{
semaphore mutex = 1;互斥访问缓冲区的锁
semaphore empty = 0;//缓冲区内还能读多少数据
semaphore full = 1;//缓冲区内还能写多少数据
P1(){
wait(full);
wait(mutex);
执行C1;
signal(mutex);
signal(empty);
}
P2(){
wait(empty);
wait(mutex);
执行C2；
signal(mutex);
signal(full);
}
}CoEnd
(3)
CoBegin{
semaphore mutex = 1;互斥访问缓冲区的锁
P1(){
wait(mutex);
执行C3;
signal(mutex);
}
P2(){
wait(mutex);
执行C3；
signal(mutex);
}
}CoEnd
评分及理由
（1）得分及理由（满分2分）
学生正确指出C1代码是临界区，并解释了原因（需要互斥访问以避免数据冲突）。理由充分，与标准答案一致。得2分。
（2）得分及理由（满分3分）
学生定义了三个信号量（mutex、empty、full），但题目要求“尽可能少的信号量”，且标准答案仅需两个（mutex和full）。学生使用empty和full进行同步，逻辑正确但信号量数量过多（empty和full本质是同一个同步条件的两种表达，可合并）。代码逻辑正确：P1先wait(full)检查缓冲区是否可写（实际应为等待缓冲区为空，但full命名和初值设计有误），然后互斥写，最后signal(empty)表示有数据；P2先wait(empty)等待数据，然后互斥读，最后signal(full)表示可写。但信号量初值设置错误：full初值应为0（表示初始为空，不可读），但学生设为1（表示可写，但初始实际为空，应不可读）；empty初值应为0（表示无数据可读），但学生设...
The road of your choice, you have to go on !
粤ICP备16082171号-1
登录后发布评论
暂无评论，来抢沙发