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