IPC--信号量

1.信号量的定义：

信号量(Semaphore)，有时被称为信号灯，是在多线程环境下使用的一种设施, 它负责协调各个线程, 以保证它们能够正确、合理的使用公共资源。

Semaphore分为单值和多值两种，前者只能被一个线程获得，后者可以被若干个线程获得。

以一个停车场的运作为例。简单起见，假设停车场只有三个车位，一开始三个车位都是空的。这时如果同时来了五辆车，看门人允许其中三辆直接进入，然后放下车拦，剩下的车则必须在入口等待，此后来的车也都不得不在入口处等待。这时，有一辆车离开停车场，看门人得知后，打开车拦，放入外面的一辆进去，如果又离开两辆，则又可以放入两辆，如此往复。

在这个停车场系统中，车位是公共资源，每辆车好比一个线程，看门人起的就是信号量的作用。

抽象的来讲，信号量的特性如下：信号量是一个非负整数（车位数），所有通过它的线程/进程（车辆）都会将该整数减一（通过它当然是为了使用资源），当该整数值为零时，所有试图通过它的线程都将处于等待状态。在信号量上我们定义两种操作： Wait（等待） 和 Release（释放）。当一个线程调用Wait操作时，它要么得到资源然后将信号量减一，要么一直等下去（指放入阻塞队列），直到信号量大于等于一时。Release（释放）实际上是在信号量上执行加操作，对应于车辆离开停车场，该操作之所以叫做“释放”是因为释放了由信号量守护的资源。

信号量，是可以用来保证两个或多个关键代码段不被并发调用。在进入一个关键代码段之前，线程必须获取一个信号量；一旦该关键代码段完成了，那么该线程必须释放信号量。其它想进入该关键代码段的线程必须等待直到第一个线程释放信号量。为了完成这个过程，需要创建一个信号量VI，然后将Acquire Semaphore VI以及Release Semaphore VI分别放置在每个关键代码段的首末端。确认这些信号量VI引用的是初始创建的信号量。

2.信号量的分类：

1) 整型信号量（integer semaphore)：信号量是整数

2）记录型信号量（record semaphore)：每个信号量s除一个整数值s.value（计数）外，还有一个进程等待队列s.L，其中是阻塞在该信号量的各个进程的标识

3) 二进制信号量(binary semaphore)：只允许信号量取0或1值

每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。它的类型定义如下：（用类PASCAL语言表述）
　　semaphore = record 
　　value: integer; 
　　queue: ^PCB; 
　　end; 
　　其中PCB是进程控制块，是操作系统为每个进程建立的数据结构。
　　s.value>=0时，s.queue为空； 
　　s.value<0时，s.value的绝对值为s.queue中等待进程的个数；

3.信号量的创建

 

同共享内存一样，系统中同样需要为信号量集定制一系列专有的操作函数（semget，semctl等）。系统命令ipcs可查看当前的系统IPC的状态，在命令后使用-s参数。使用函数semget可以创建或者获得一个信号量集ID，函数原型如下：
　　#include
　　int semget( key_t key, int nsems, int flag);
　　函数中参数key用来变换成一个标识符，每一个IPC对象与一个key相对应。当新建一个共享内存段时，使用参数flag的相应权限位对ipc_perm结构中的mode域赋值，对相应信号量集的shmid_ds初始化的值如表1所示。

 

　　    表1 shmid_ds结构初始化值表

ipc_perm结构数据	初 值	ipc_perm结构数据	初 值
Sem_otime	0	Sem_nsems	Nsems
Sem_ctime	系统当前值

参数nsems是一个大于等于0的值，用于指明该信号量集中可用资源数（在创建一个信号量时）。当打开一个已存在的信号量集时该参数值为0。函数执行成功，则返回信号量集的标识符（一个大于等于0的整数），失败，则返回–1。函数semop用以操作一个信号量集，函数原型如下：

#include
　　int semop( int semid, struct sembuf semoparray[], size_t nops );
　　函数中参数semid是一个通过semget函数返回的一个信号量标识符，参数nops标明了参数semoparray所指向数组中的元素个数。参数semoparray是一个struct sembuf结构类型的数组指针，结构sembuf来说明所要执行的操作，其定义如下：
　　struct sembuf{
　　unsigned short sem_num; 
　　short sem_op; 
　　short sem_flg; 
　　}
　　在sembuf结构中，sem_num是相对应的信号量集中的某一个资源，所以其值是一个从0到相应的信号量集的资源总数（ipc_perm.sem_nsems）之间的整数。sem_op指明所要执行的操作，sem_flg说明函数semop的行为。sem_op的值是一个整数，如表2所示，列出了详细sem_op的值及所对应的操作。

 

表2  sem_op值详解

Sem_op	操 作
正数	释放相应的资源数，将sem_op的值加到信号量的值上
0	进程阻塞直到信号量的相应值为0，当信号量已经为0，函数立即返回。如果信号量的值不为0，则依据sem_flg的IPC_NOWAIT位决定函数动作。sem_flg指定IPC_NOWAIT，则semop函数出错返回EAGAIN。sem_flg没有指定IPC_NOWAIT，则将该信号量的semncnt值加1，然后进程挂起直到下述情况发生。信号量值为0，将信号量的semzcnt的值减1，函数semop成功返回；此信号量被删除（只有超级用户或创建用户进程拥有此权限），函数smeop出错返回EIDRM；进程捕捉到信号，并从信号处理函数返回，在此情况将此信号量的semncnt值减1，函数semop出错返回EINTR
负数	请求sem_op的绝对值的资源。如果相应的资源数可以满足请求，则将该信号量的值减去sem_op的绝对值，函数成功返回。当相应的资源数不能满足请求时，这个操作与sem_flg有关。sem_flg指定IPC_NOWAIT，则semop函数出错返回EAGAIN。sem_flg没有指定IPC_NOWAIT，则将该信号量的semncnt值加1，然后进程挂起直到下述情况发生：当相应的资源数可以满足请求，该信号的值减去sem_op的绝对值。成功返回；此信号量被删除（只有超级用户或创建用户进程拥有此权限），函数smeop出错返回EIDRM：进程捕捉到信号，并从信号处理函数返回，在此情况将此信号量的semncnt值减1，函数semop出错返回EINTR

 

信号量的控制 semctl()
原型：int semctl(int semid,int semnum,int cmd,union semun arg);
其中  semid为信号量集引用标志符。
     semnum用于指定某个特定信号量。
     cmd表示调用该函数执行的操作，其取值和对应操作如下：
         .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设置信号量集中的一个单独的信号量的值。
    arg是semnu的一个联合类型的副本，而不是一个指向联合类型的指针。联合中各个量的使用情况和参数cmd的设置有关。

4.实例:

　　    下面实例演示了关于信号量操作的基本流程。程序中使用semget函数创建一个信号量集，并使用semop函数在这个信号集上执行了一次资源释放操作。并在shell中使用命令查看系统IPC的状态。
　　（1）在vi编辑器中编辑该程序。
　　程序清单14-10 create_sem.c 使用semget函数创建一个信号量
　　#include
　　#include
　　#include
　　#include
　　#include
　　int main( void )
　　{
　　int sem_id;
　　int nsems = 1;
　　int flags = 0666;
　　struct sembuf buf;
　　sem_id = semget(IPC_PRIVATE, nsems, flags); /*创建一个新的信号量集*/
　　if ( sem_id < 0 ){
　　perror( "semget ") ;
　　exit (1 );
　　}
　　/*输出相应的信号量集标识符*/
　　printf ( "successfully created a semaphore : %d\n", sem_id ); 
　　buf.sem_num = 0; /*定义一个信号量操作*/
　　buf.sem_op = 1; /*执行释放资源操作*/
　　buf.sem_flg = IPC_NOWAIT; /*定义semop函数的行为*/
　　if ( (semop( sem_id, &buf, nsems) ) < 0) { /*执行操作*/
　　perror ( "semop");
　　exit (1 ); 
　　}
　　system ( "ipcs -s " ); /*查看系统IPC状态*/
　　exit ( 0 );
　　}
　　（2）在shell中编译该程序如下：
　　$gcc create_sem.c–o create_sem
　　（3）在shell中运行该程序如下：
　　$./ create_sem
　　------ Semaphore Arrays --------
　　key semid owner perms nsems 
　　0x00000000 294911 root 666 1 
　　successfully created a semaphore : 294911 
　　程序说明:在上面程序中，用semget函数创建了一个信号量集，定义信号量集的资源数为1，接下来使用semop函数进行资源释放操作。在程序的最后使用shell命令ipcs来查看系统IPC的状态。
　　%注意：命令ipcs参数-s标识查看系统IPC的信号量集状态