PV操作例题（转）

例1 在某展示厅设置一个自动计数系统，以计数器count表示在场的人数，count是动态变化的，若有一个人进入展示厅进程pin对计数器count加1，当有一个人退出展示厅时，进程pout实现计数器减1。由于进、出所以展示厅的人是随机的，用P-V操作实现。（并发进程之间的互斥问题）

解：定义信号量：S——表示是否有进程进入临界区，初值为1.（表示没有进程进入临界区）

begin

count: Integer;

S: semaphore;

count:=0;

S:=1;

cobegin

process Pin

R1: Integer;

begin

P (S);

R1:=count;

R1:=R1+1;

count:=R1;

V(S);

end;

Process Pout

R2: Integer;

begin

P (S);

R2:=count;

R2:=R2-1;

count:=R2;

V (S);

end;

count;

end;





例2 与生产者和消费过者相似的问题，把“A进程将记录送入缓冲器”看生产者生产了一件物品且把物品存入缓冲器，把“B进程从缓冲器中取出记录并加工”看作是消费者从缓冲器取出物品去消费，缓冲器中只能放一个记录（一件物品），用P-V操作实现。（并发进程之间的同步问题）

解：定义两个信号量为：sp和sg。

sp:表示生产者是否右以把物品存入缓冲器。由于缓冲器只能存放一个物品，因此sp的初值为1，即sp:=1。

sg：表示缓冲是否存有物品，它的初值应该为0，即sg：=0，表示缓冲器中还没有物品存在。

生产者和消费者两个进程并发执行时，可按以下的方式实现同步：

sp:=1;sg:=0;

cobegin

process producer (生产者进程)

begin

L1:produce a product;

P(sp);

Buffer:=product;

V(sg);

goto L1

end

process consumer(消费者进程)

begin

L2: P(sg);

Take a product;

V(sp);

consume;

goto L1

end;

coend;





例3 如果一个生产者和一个消费共享缓冲器容量为可以存放n件物品时，生产者总可继续存入物品；同时当缓冲器的物品不为“0”时，消费者总可从缓冲器中取走物品，用P-V操作实现。（并发进程之间的同步问题）

解：sp：表示生产者是否可以把物品存入，初值为n；（因为，缓冲器的容量为n件物品）；

sg：表示缓冲器中是否存有物品，初值为0.

B: away[0:n-1]of integer;

k, t: integer;

k:=0; t:=0; sp:=n; sg:=0;

cobegin

process producer

begin

L1:produce a product;

B[k]:=product;

k:=(k+1)mod n;

V(sg);

goto L1

coend;

process consumer

begin

L2:P(sg);

Tack a product from B[t];

t:=(t+1)mod n;

V(sp);

consume;

goto:= L2

end

coend





例4 桌上有一只盘子，每一次放入一个水果，爸爸向盘中放苹果，妈妈向盘中放桔子，一个女儿专吃盘中的苹果，一个儿了专等吃盘中的桔子。试用P-V操作定出他们能同步的流程图。（并发进程之间同步与互斥的混合问题）

解：定义信号量：dish:表明盘子中是否为空，初值为1；

Apple:表明盘子中是否有苹果，初值为0；

Orange:表明盘子中是否有桔子，初值为0；

main ()

{cobegin

father ();

mother ();

son ();

daughter ();

coend

}

father ()

{ P(dish);

…

放苹果

…

V(apple);

}

mother()

{ P(dish);

…

放桔子

…

V(orange);

}

son ()

{ P(orange);

…

取桔子

…

V(dish);

}

daughter()

{ P(apple);

…

取苹果

…

V(dish);

}





例5 设公共汽车上，司机和售票员的活动分别为：司机的活动是启动车辆、正常开驶、到站停车；售票员的活动是关门、售票、开门。①试指出在汽车出站、行驶、到站过程中，述两种活动有什么同步关系？②用P-V操作实现它们之间的同步关系。（并发进程之间的同步问题）

解：①司机启动车辆与售票员关车门为同步关系；

司机到站停车与售票员开车门为同步关系。

②定义两个信号量： S1——表示门是否关了,初始值为0；

S2——表示汽车是否到站，初始值为0

main()

{cobegin

Process司（）；

Process售（）；

coend

}

Process司（）

{ P(S1);

启动；

行驶；

到站停车；

V(S2);

}

Process售（）

{ 关车门；

V（S1）;

售票；

P（S2）；

开车门；

}





例6 多个进程共享一个文件，其中写文件的称为写者，读文件的称为读者，写者与写者、写者与读者之间要互斥地访问文件，读者之间可同时读，试用P-V操作实现它们之间的关系。（进程之间的互斥问题）

解：定义变量：count:表现当前读者个数，初值为0；

mutex:用来对共享变量count进行互斥访问，初值为1；

write:用来使写者与写者，写者与读者之间互斥访问文件，初值为1.

semaphone mutex:=1;

semaphone write:=1;

int count:=0;

main()

{cobegin

Reader();

Writer();

coend

}

Reader()

{while(true)

{P(mutex);

if(count==0)

p(write)

count++;

V(mutex);

读文件;

P(mutex);

count--;

if(count==0) V(write)

V(mutex);

}

}

writer()

{while(true)

{P(write);

写文件;

V(write);

}}





例7 有一个阅览室，共有100个座位，读者进入时必须先在一张登记表上登记，该表为每一座位列一表目，包括座号和读者姓名等，读者离开时要消掉登记的信息，试问：

（1） 为描述读者的动作，应编写几个程序，设置几个进程？

（2） 试用PV操作描述读者进程之间的同步关系。

答：读者的动作有两个，一是填表进入阅览室，这时要考虑阅览室里是否有座位；一是读者阅读完毕，离开阅览室，这时的操作要考虑阅览室里是否有读者。读者在阅览室读书时，由于没有引起资源的变动，不算动作变化。

算法的信号量有三个：seats——表示阅览室是否有座位（初值为100，代表阅览室的空座位数）；readers——表示阅览室里的读者数，初值为0；用于互斥的mutex，初值为1。

读者进入阅览室的动作描述getin：

while(TRUE){

P (seats); /*没有座位则离开*/

P（mutex） /*进入临界区*/

填写登记表;

进入阅览室读书;

V（mutex） /*离开临界区*/

V（readers）

}



读者离开阅览室的动作描述getout：

while(TRUE){

P（readers） /*阅览室是否有人读书*/

P（mutex） /*进入临界区*/

消掉登记；

离开阅览室；

V（mutex） /*离开临界区*/

V（seats） /*释放一个座位资源*/

}