linux内核学习之信号量操作

转自http://blog.sina.com.cn/s/blog_803527e70100vd4f.html

转自https://www.cnblogs.com/guochuanrui/p/5677570.html

信号量的操作——semop函数

     信号量的值与相应资源的使用情况有关，当它的值大于 0 时，表示当前可用的资源数的数量；当它的值小于 0 时，其绝对值表示等待使用该资源的进程个数。信号量的值仅能由 PV 操作来改变。

 

     在 Linux 下，PV 操作通过调用semop函数来实现。该函数定义在头文件 sys/sem.h中，原型如下：

     int  semop（int  semid，struct sembuf  *sops，size_t nsops）；

     函数的参数 semid 为信号量集的标识符；参数 sops 指向进行操作的结构体数组的首地址；参数 nsops 指出将要进行操作的信号的个数。semop 函数调用成功返回 0，失败返回 -1。

     semop 的第二个参数 sops 指向的结构体数组中，每个 sembuf 结构体对应一个特定信号的操作。因此对信号量进行操作必须熟悉该数据结构，该结构定义在 linux/sem.h，如下所示：

     struct  sembuf{

         unsigned short   sem_num;      //信号在信号集中的索引，0代表第一个信号，1代表第二个信号  

         short            sem_op;      //操作类型

         short            sem_flg;    //操作标志

     };

    下面详细介绍一下 sembuf 的几个参数：

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

• sem_op 参数：

                    sem_op > 0          信号加上 sem_op 的值，表示进程释放控制的资源；

 

                    sem_op = 0          如果没有设置 IPC_NOWAIT，则调用进程进入睡眠状态，直到信号                                         量的值为0；否则进程不回睡眠，直接返回 EAGAIN

 

                    sem_op < 0          信号加上 sem_op 的值。若没有设置 IPC_NOWAIT ，则调用进程阻

                                        塞，直到资源可用；否则进程直接返回EAGAIN

• sem_flg 参数：

         该参数可设置为 IPC_NOWAIT 或 SEM_UNDO 两种状态。只有将 sem_flg 指定为 SEM_UNDO 标志后，semadj （所指定信号量针对调用进程的调整值）才会更新。   此外，如果此操作指定SEM_UNDO，系统更新过程中会撤消此信号灯的计数（semadj）。此操作可以随时进行---它永远不会强制等待的过程。调用进程必须有改变信号量集的权限。

         sem_flg公认的标志是 IPC_NOWAIT 和 SEM_UNDO。如果操作指定SEM_UNDO，它将会自动撤消该进程终止时。

        在标准操作程序中的操作是在数组的顺序执行、原子的，那就是，该操作要么作为一个完整的单元，要么不。如果不是所有操作都可以立即执行的系统调用的行为取决于在个人sem_flg领域的IPC_NOWAIT标志的存在。
 -------------------------------------------------------------------------------------------------             对信号量最基本的操作就是进行PV操作，而System V信号量正是通过 semop 函数和 sembuf 结构体的数据结构来进行PV操作的。

        当 sembuf 的第二个数据结构 sem_op 设置为负数时，是对它进行P操作，即减1操作；当设置为正数时，就是进行V操作，即加1操作。

      

        下面举一个对一个信号量集中的某个信号进行 PV 操作的函数实现：

         

        //P操作函数

        int  sem_p( int semid, int index )

        {

                  struct  sembuf  buf  = { 0, -1, IPC_NOWAIT};

                  

                  if ( index < 0 )

                  {

                                 perror ( "index of array cannot equals a minus value!\n" );

                                 return  -1;

                  }

                  buf.sem_num = index;

                  if ( semop ( semid, &buf, 1) == -1)

                  {

                                perroe ( " a wrong operation to semaphore occurred!\n" );

                                return  -1;

                  }

                  return  0;

        }

 

        //V操作函数

        int  sem_p( int semid, int index )

        {

                  struct  sembuf  buf  = { 0, 1, IPC_NOWAIT};

                  

                  if ( index < 0 )

                  {

                                 perror ( "index of array cannot equals a minus value!\n" );

                                 return  -1;

                  }

                  buf.sem_num = index;

                  if ( semop ( semid, &buf, 1) == -1)

                  {

                                perroe ( " a wrong operation to semaphore occurred!\n" );

                                return  -1;

                  }

                  return  0;

        }

     

信号量 sem_undo设置

　　一 为什么要使用信号量

　　为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题，我们需要一种方法，它可以通过生成并使用令牌来授权，在任一时刻只能有一个执行线程访问 代码的临界区域。临界区域是指执行数据更新的代码需要独占式地执行。而信号量就可以提供这样的一种访问机制，让一个临界区同一时间只有一个线程在访问它， 也就是说信号量是用来调协进程对共享资源的访问的。其中共享内存的使用就要用到信号量。

　　二 信号量的工作原理

　　由于信号量只能进行两种操作等待和发送信号，即P(sv)和V(sv),他们的行为是这样的：

　　P(sv)：如果sv的值大于零，就给它减1；如果它的值为零，就挂起该进程的执行

　　V(sv)：如果有其他进程因等待sv而被挂起，就让它恢复运行，如果没有进程因等待sv而挂起，就给它加1.

 

　　举个例子，就是 两个进程共享信号量sv，一旦其中一个进程执行了P(sv)操作，它将得到信号量，并可以进入临界区，使sv减1。而第二个进程将被阻止进入临界区，因为 当它试图执行P(sv)时，sv为0，它会被挂起以等待第一个进程离开临界区域并执行V(sv)释放信号量，这时第二个进程就可以恢复执行。

　　三 Linux的信号量机制

　　Linux提供了一组精心设计的信号量接口来对信号进行操作，它们不只是针对二进制信号量，下面将会对这些函数进行介绍，但请注意，这些函数都是用来对成组的信号量值进行操作的。它们声明在头文件sys/sem.h中。

　　四 信号号相关的两个结构体

　　内核为每个信号量集合设置了一个semid_ds结构

　　

struct semid_ds {
struct ipc_permsem_perm ;
structsem* sem_base ; //信号数组指针
ushort sem_nsem ; //此集中信号个数
time_t sem_otime ; //最后一次semop时间
time_t sem_ctime ; //最后一次创建时间
} ;
每个信号量由一个无名结构表示，它至少包含下列成员： （这个是什么意思？？）
struct {
ushort_t semval ; //信号量的值
short sempid ; //最后一个调用semop的进程ID
ushort semncnt ; //等待该信号量值大于当前值的进程数（一有进程释放资源 就被唤醒）
ushort semzcnt ; //等待该信号量值等于0的进程数
} ;

 

　　五 信号量的使用

　　1、创建信号量

　　semget函数创建一个信号量集或访问一个已存在的信号量集。

　　#include <sys/sem.h>

　　int semget (key_t key, int nsem, int oflag) ;

　　返回值是一个称为信号量标识符的整数，semop和semctl函数将使用它。

　　参数nsem指定集合中的信号量数。（若用于访问一个已存在的集合，那就可以把该参数指定为0）

　　参数oflag可以是SEM_R(read)和SEM_A(alter)常值的组合。（打开时用到），也可以是IPC_CREAT或IPC_EXCL ;

 

　　2、打开信号量

　　使用semget打开一个信号量集后，对其中一个或多个信号量的操作就使用semop(op--operate)函数来执行。

　　#include <sys/sem.h>

　　int semop (int semid, struct sembuf * opsptr, size_t nops) ;

　　参数opsptr是一个指针，它指向一个信号量操作数组，信号量操作由sembuf结构表示：

 

struct sembuf{
short sem_num; // 除非使用一组信号量，否则它为0
short sem_op; // 信号量在一次操作中需要改变的数据，通常是两个数，
// 一个是-1，即P（等待）操作，一个是+1，即V（发送信号）操作
short sem_flg; // 通常为SEM_UNDO,使操作系统跟踪信号，并在进程没有释放该信号量而终止时，
// 操作系统释放信号量
};

 

　　参数nops规定opsptr数组中元素个数。

　　sem_op值：

　　（1）若sem_op为正，这对应于进程释放占用的资源数。sem_op值加到信号量的值上。（V操作）

　　（2）若sem_op为负,这表示要获取该信号量控制的资源数。信号量值减去sem_op的绝对值。（P操作）

　　（3）若sem_op为0,这表示调用进程希望等待到该信号量值变成0

　　如果信号量值小于sem_op的绝对值（资源不能满足要求），则：

　　（1）若指定了IPC_NOWAIT，则semop()出错返回EAGAIN。

　　（2）若未指定IPC_NOWAIT，则信号量的semncnt值加1（因为调用进程将进 入休眠状态），然后调用进程被挂起直至：①此信号量变成大于或等于sem_op的绝对值；②从系统中删除了此信号量，返回EIDRM；③进程捕捉到一个信 号，并从信号处理程序返回，返回EINTR。（与消息队列的阻塞处理方式 很相似）

　　 3、信号量是操作

　　semctl函数对一个信号量执行各种控制操作。

　　#include <sys/sem.h>

　　int semctl (int semid, int semnum, int cmd, /*可选参数*/ ) ;

　　第四个参数是可选的，取决于第三个参数cmd。

　　参数semnum指定信号集中的哪个信号（操作对象）

　　参数cmd指定以下10种命令中的一种,在semid指定的信号量集合上执行此命令。

　　IPC_STAT   读取一个信号量集的数据结构semid_ds，并将其存储在semun中的buf参数中。

　　IPC_SET     设置信号量集的数据结构semid_ds中的元素ipc_perm，其值取自semun中的buf参数。

　　IPC_RMID  将信号量集从内存中删除。

　　GETALL      用于读取信号量集中的所有信号量的值。

　　GETNCNT  返回正在等待资源的进程数目。

　　GETPID      返回最后一个执行semop操作的进程的PID。

　　GETVAL      返回信号量集中的一个单个的信号量的值。

　　GETZCNT   返回这在等待完全空闲的资源的进程数目。

　　SETALL       设置信号量集中的所有的信号量的值。

　　SETVAL      设置信号量集中的一个单独的信号量的值。

　　六 信号量值的初始化

　　semget并不初始化各个信号量的值，这个初始化必须通过以SETVAL命令(设置集合中的一个值)或SETALL命令(设置集合中的所有值) 调用semctl来完成。

　　SystemV信号量的设计中，创建一个信号量集并将它初始化需两次函数调用是一个致命的缺陷。一个不完备的解决方案是：在调用semget时指定IPC_CREAT | IPC_EXCL标志，这样只有一个进程（首先调用semget的那个进程）创建所需信号量，该进程随后初始化该信号量。

 

　　SEM_UNDO

　　当操作信号量(semop)时，sem_flg可以设置SEM_UNDO标识；SEM_UNDO用于将修改的信号量值在进程正常退出（调用exit退出或main执行完）或异常退出（如段异常、除0异常、收到KILL信号等）时归还给信号量。
　　如信号量初始值是20，进程以SEM_UNDO方式操作信号量减2，减5，加1；在进程未退出时，信号量变成20-2-5+1=14；在进程退出时，将修改的值归还给信号量，信号量变成14+2+5-1=20。