操作系统作业答案.docxVIP

【例7】一个供应商用汽车给某超市送货，并把汽车上的货物用超市的三轮车运到仓库中。超市的工作人员也用三轮车从仓库中取货去出售。假设共有3辆三轮车，仓库中只能容纳10辆三轮车的货物，且每次从汽车上取货只能供给一辆三轮车，仓库也只能容纳一辆三轮车进入。考虑相关信号量的定义及初值，并写出用P、V操作实现向仓库中送货及从仓库中取货的同步算法。（西安交通大学2005年考研试题）

解析：题目的限制条件暗示着临界资源的存在。如本题中，仓库只能容纳一辆车进入，且最多容纳10辆车的货物，则仓库显然是需要互斥使用的缓冲区资源。共有三辆小车，则三轮车也是受限资源；汽车一次取货只能供给一辆小车，则汽车也是互斥资源。为所有的互斥资源设置信号量如下：

S=3(控制三轮车数量)

mutex1=1（控制互斥访问汽车）

mutex2=1（控制互斥访问仓库）

empty=10（仓库容量）

full=0（仓库现有库存量，供给超市）

从汽车到仓库进程：

P(empty);

P(S);

P(mutex1);

从汽车上取货；

V(mutex1);

去仓库；

P(mutex2);

入仓库装货；

V(mutex2);

V(S);

V(full);

从仓库到超市进程：

P(full);

P(S);

P(mutex2);

从仓库取货；

V(mutex2);

V(empty);

去超市；

V(S);

例3：

a，b两点之间是一段东西向的单行车道，现要设计一个自动管理系统，管理规则如下：当ab之间有车辆在行驶时同方向的车可以同时驶入ab段，但另一方向的车必须在ab段外等待；当ab之间无车辆在行驶时，到达a点(或b点)的车辆可以进入ab段，但不能从a点和b点同时驶入，当某方向在ab段行驶的车辆驶出了ab段且暂无车辆进入ab段时，应让另一方向等待的车辆进入ab段行驶。请用信号量为工具，对ab段实现正确管理以保证行驶安全。

解析：

读者－写着问题的变形。我们设置3个信号量S1、S2和Sab，分别用于从a点进入的车互斥访问共享变量ab（用于记录当前ab段上由a点进入的车辆的数量），从b点进入的车互斥访问共享变量ba（用于记录当前ab段上由b点进入的车辆的数量）和a、b点的车辆互斥进入ab段。3个信号量的初值分别为1、1和1，两个共享变量ab和ba的初值分别为0、0。

SemaphoreS1=1,S2=1,Sab=1;

intab=ba=0;

voidPab()

{

while(1)

{

wait(S1);

if(ab==0)wait(Sab);

ab=ab+1;

signal(S1);

车辆从a点驶向b点;

wait(S1);

ab=ab-1;

if(ab==0)signal(Sab);

signal(S1);

}

}

voidPba()

{

while(1)

{

wait(S2);

if(ba==0)wait(Sab);

ba=ba+1;

signal(S2);

车辆从b点驶向a点;

wait(S2);

ba=ba-1;

if(ba==0)signal(Sab);

signal(S2);

}

}

main()

{

cobegin{Pab();Pba();}

}