Pv

pv

整形信号量

整体信号量：
什么是整形信号量？目的是为了实现互斥和同步的。他设置了一个令牌，拿走令牌去访问。没有就乖乖呆着。这样我只要有一个令牌
那么我就可以实现互斥和同步。
什么是互斥：互斥就是我访问了你不能访问。
同步就是，我们之间按照一定的规律或者说是规则。去保持运行。不是指一起跑步。
具体看看例子。
初始化：
s=表示资源数目      整型量S

wait(s){
while(s<=0);//满足条件，卡在循环里面
s=s-1;
}//开始使用，拿走令牌（资源减少）
signal(s){
s=s+1;
}//不再使用，归还许可令。

记录型信号量

Typdef struct{
 int value; 
 struct process *L; 
 }semaphore; 
 void wait (semaphore s){ 
 S.value--; 
 if(S.value<0){
  remove a process p to S.L; 
  wakeup(up);
}
 }
  void signal  (semaphore s){
   S.value++;
    if(S.value<=0){
     remove a process p from S.L; 
     wakeup(up); 
  }
  } 

借助图像理解，举例四个进程 a b c d
p p p p
a b c d
v v v v
对于整型=2，a,p完-1 .b,p完-2======》0. 当遇到c时候，你由于没有令牌了，所以就是站着处理机等待归还令牌，这样就无法实现让权等待
对于记录型，a,p完-1，b，p完-2======》，当遇到c时候，没有令牌，别等 ，直接送去等待队列。不占用处理机。优点：不需要实现让权等待。

用信号量实现互斥

若要实现互斥，用p v夹紧某个行为；

什么是互斥，互斥就是a访问 b不能 怎么做到。设置一个信号量  ====>mutex 并且设置=1；相当于一个令牌。只有一个，谁拿到谁执行。拿不到的只能等着，这样就实现了互斥。
semaphore S=1;
P1(){
//////////////
P(s);//可以用整型，也可以用记录型，记录型好处，不用忙等。
临界区；
V(s);
}
P2(){
/////////
P(s);
临界区
V(s);
}

实现同步

若要实现同步，在某个需要方行为前面p一下，某个提供方行为后面v一下；

用p,v实现同步。
semaphore S=0;
p1() {
////////
//////
x;
V(s);//S==》0到1，之后唤醒阻塞队列中第一个=====>即P2()
//////
/////
}
P2(){
...
P(s);//一开始执行到这个，那么此时S还是0.不满足条件，会一直卡死在while循环里面。（或者这样我为了防止忙等，被放置在阻塞队列中。）
//（被唤醒之后，）看到S变为1，跳出while开始执行。实现了从p1到p2之间的同步.
y;
...
}