OS之浅识PV原语操做

1. PV原语经过操做信号量来处理进程间的同步与互斥的问题。其核心就是一段不可分割不可中断的程序。

        关于信号量，其基本思路是 用一种新的变量类型（semaphore）来记录当前的可用资源的数量。

        a. semaphore的取值必须大于或等于0. 0表示当前已没有空闲资源,而正数表示当前空闲资源的数量。

        b. semaphore的取值可正可负， 负数的绝对值表示正在等待进入临界区的进程个数。

    2. 信号量是由操做系统来维护的，用户进程只能经过初始化和两个标准原语（P、V原语）来访问。初始化可指定一个非负整数，即空闲资源总数。

    3.    P原语：P是荷兰语Proberen（测试）的首字母。为阻塞原语，负责把当前进程由运行状态转换为阻塞状态，直到另一个进程唤醒它。操做为：申请一个空闲资源（把信号量减1），若成功，则退出；若失败，则该进程被阻塞；

            V原语：V是荷兰语Verhogen（增长）的首字母。为唤醒原语，负责把一个被阻塞的进程唤醒，它有一个参数表，存放着等待被唤醒的进程信息。操做为：释放一个被占用的资源（把信号量加1），若是发现有被阻塞的进程，则选择一个唤醒之。

    P原语操做的动做是：    

        (1)sem减1；    

        (2)若sem减1后仍大于或等于零，则进程继续执行；    

        (3)若sem减1后小于零，则该进程被阻塞后进入与该信号相对应的队列中，而后转进程调度。

    V原语操做的动做是：    

        (1)sem加1；    

        (2)若相加结果大于零，则进程继续执行；    (

        (3)若相加结果小于或等于零，则从该信号的等待队列中唤醒一等待进程，而后再返回原进程继续执行或转进程调度。

    PV操做对于每个进程来讲，都只能进行一次，并且必须成对使用。在PV原语执行期间不容许有中断的发生。

     4.  具体PV原语对信号量的操做能够分为三种状况：

          1) 把信号量视为一个加锁标志位，实现对一个共享变量的互斥访问。

            实现过程：

            P(mutex)；   // 设mutex为互斥信号量 mutex的初始值为1  访问该共享数据

            V (mutex);  

            非临界区

         2) 把信号量视为是某种类型的共享资源的剩余个数 实现对一类共享资源的访问。

            P(resource)；   // resource的初始值为该资源的个数N 使用该资源；

            V(resource);

            非临界区

            3) 把信号量做为进程间的同步工具

                实现过程：

                临界区C1;

                P(S);

                V(S);

                临界区C2；

 

附：          ‍   P（S）：①将信号量S的值减1，即S=S-1；
                                  ②若是S>=0，则该进程继续执行；不然该进程置为等待状态，排入等待队列。
                    V（S）：①将信号量S的值加1，即S=S+1；
                                   ②若是S>0，则该进程继续执行；不然释放队列中第一个等待信号量的进程。

 

            什么是信号量？信号量（semaphore）的数据结构为一个值和一个指针，指针指向等待该信号量的下一个进程。信号

量的值与相应资源的使用状况有关。当它的值大于0时，表示当前可用资源的数量；当它的值小于0时，其绝对值表示等待使用该资

源的进程个数。注意，信号量的值仅能由PV操做来改变。
    

             通常来讲，信号量S>=0时，S表示可用资源的数量。执行一次P操做意味着请求分配一个单位资源，所以S的值减1；当S<0时，表示已经没有可用资源，请求者必须等待别的进程释放该类资源，它才能运行下去。而执行一个V操做意味着释放一个单位资源，所以S的值加1；若S£0，表示有某些进程正在等待该资源，所以要唤醒一个等待状态的进程，使之运行下去。

----------------------------------------------------------------------------------------------------------------------------

例1：桌子上有一个水果盘，每一次能够往里面放入一个水果。爸爸专向盘子中放苹果，儿子专等吃盘子中的苹果。把爸爸、儿子看做二个进程，试用P、V操做使这两个进程能正确地并发执行。

    分析：爸爸和儿子两个进程相互制约，爸爸进程执行完即往盘中放入苹果后，儿子进程才能执行即吃苹果。所以该问题为进程间的同步问题。

 解：

semaphore  S_PlateNum;  // 盘子容量，初值为1

semaphore  S_AppleNum;  // 苹果数量，初值为0

void  father( )  // 父亲进程 {

    while(1){        

        P(S_PlateNum);

        往盘子中放入一个苹果;

        V(S_AppleNum);

    }

  }

void  son( )   // 儿子进程 {

    while(1){        

        P(S_AppleNum);

        从盘中取出苹果;

        V(S_PlateNum);

        吃苹果；

    } 

}

---其余:

  1.    pv原语操做详解

  2.    信号量与PV原语操做