【Linux】学习记录_12_system-V IPC 信号量

12 system-V IPC 信号量

12.1 进程信号量基本概念

信号量本质是计数器，用于协调多进程间对共享数据对象的读取，不以传送数据为目的， 主要用来保护共享资源(信号量也属于临界资源)，使该临界资源在一个时刻只有一个进程独享。

12.2 信号量的工作原理

信号量只能进行两种操作：等待(P操作)和发送信号(V操作)，锁就是P操作，解锁就是V操作。 PV操作是计算机操作系统需要提供的基本功能之一，它们的行为是这样的：

• P 操作：若有可用的资源(信号量值大于0),则占用一个资源(信号量值减一，进入临界区); 若无可用的资源(信号量值为0)，则阻塞，直到系统将资源分配给该进程（进入等待队列，一直等到资源轮到该进程）。

• V 操作：如果在该信号量的等待队列中有进程在等待资源，则唤醒一个阻塞的进程。如果没有进程等待它， 则释放一个资源（给信号量值加一）。

在信号量进行PV操作时都为原子操作（因为它需要保护临界资源）。

注：原子操作：单指令的操作称为原子的，单条指令的执行是不会被打断的

内核可对信号量（计数器）做加减操作，并且操作时遵守一些基本操作原则， 即：对计数器做加操作立即返回，做减操作要检查计数器当前值是否可减？（这个计数器的值要大于1）， 如果是则进行减操作；否则将进程将阻塞等待，直到系统中有进程对该信号量进行P操作。

12.2.1 创建或获取一个信号量

12.2.2 semget创建/获取函数

semget函数的功能是创建或者获取一个已经创建的信号量，如果成功则返回对应的信号量标识符， 失败则返回-1。函数原型如下：

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>

int semget(key_t key, int nsems, int semflg);

参数说明：

• key：参数key标识系统内信号量， 如果指定key已经存在，则意味着打开这个信号量，这时nsems参数指定为0，semflg参数也指定为0。 特别地，可以使用IPC_PRIVATE创建一个没有key的信号量。

• nsems：本参数用于在创建信号量的时候，表示可用的信号量数目。

• semflg：semflg参数用来指定标志位， 主要有IPC_CREAT，IPC_EXCL和权限mode，其中使用IPC_CREAT标志创建新的信号量， 即使该信号量已经存在（具有同一个键值的信号量已在系统中存在），也不会出错。 如果同时使用IPC_EXCL标志可以创建一个新的唯一的信号量，此时如果该信号量已经存在， 该函数会返回出错

创建信号量时，还受到以下系统信息的影响:

• SEMMNI：系统中信号量总数的最大值。

• SEMMSL：每个信号量中信号量元素个数的最大值。

• SEMMNS：系统中所有信号量中的信号量元素总数的最大值。

在Linux系统中，以上信息可通过命令 ipcs -l 查看.

12.3 信号量操作

12.3.1 semop() PV操作函数

Linux提供了semop()函数对信号量进行PV操作。函数原型如下：

int semop(int semid, struct sembuf *sops, size_t nsops);

参数说明：

• semid：System V信号量的标识符，用来标识一个信号量。

• sops：是指向struct sembuf结构体数组的指针，该数组是一个信号量操作数组。原型如下：

  struct sembuf
  {
      unsigned short int sem_num;   /* 信号量的序号从0 ~ nsems-1 */
      short int sem_op;            /* 对信号量的操作，>0, 0, <0 */
      short int sem_flg;            /* 操作标识：0， IPC_WAIT, SEM_UNDO */
  };
  

  • sem_num用于标识信号量中的第几个信号量，0表示第1个，1表示第2个，nsems -1表示最后一个。

  • sem_op标识对信号量的所进行的操作类型。对信号量的操作有三种类型：

    • sem_op 大于 0，表示进程对资源使用完毕，对该信号量执行V操作，交回的资源数由sem_op决定， 系统会把sem_op的值加到该信号量的信号量当前值semval上。 特别地，如果sem_flag指定了SEM_UNDO（还原）标志，则从该进程的此信号量调整值中减去sem_op。

    • sem_op 小于 0，表示进程希望使用资源，对该信号量执行P操作，

    • sem_op 等于 0，表示进程要阻塞等待，直至信号量当前值semval 变为 0。

  • sem_flg，信号量操作的属性标志，可以指定的参数包括IPC_NOWAIT和SEM_UNDO。如果为0， 表示正常操作；当指定了SEM_UNDO，那么将维护进程对信号量的调整值，进程退出的时候会自动还原它对信号量的操作； 当指定了IPC_WAIT，使对信号量的操作时非阻塞的。即指定了该标志，调用进程在信号量的值不满足条件的情况下不会被阻塞， 而是直接返回-1，并将errno设置为EAGAIN。

    信号量调整值呢:其实就是指定信号量针对某个特定进程的调整值。只有sembuf结构的sem_flag指定为SEM_UNDO后， 信号量调整值才会随着sem_op而更新。讲简单一点：对某个进程，在指定SEM_UNDO后，对信号量的当前值的修改都会反应到信号量调整值上， 当该进程终止的时候，内核会根据信号量调整值重新恢复信号量之前的值，SEM_UNDO操作可以防止进程退出时没有释放信号量导致的死锁。

• nsops：表示上面sops数组的数量，如只有一个sops数组，nsops就设置为1。

12.3.2. semctl()属性函数

semctl函数主要是对信号量集的一系列控制操作，根据操作命令cmd的不同，执行不同的操作，第四个参数是可选的。原型如下：

int semctl(int semid, int semnum, int cmd, ...);

• semid：System V信号量的标识符；

• semnum：表示信号量集中的第semnum个信号量。它的取值范围： 0 ~ nsems-1 。

• cmd：操作命令，主要有以下命令：

  • IPC_STAT：获取此信号量集合的semid_ds结构，存放在第四个参数的buf中。

  • IPC_SET：通过第四个参数的buf来设定信号量集相关联的semid_ds中信号量集合权限为sem_perm中的uid，gid，mode。

  • IPC_RMID：从系统中删除该信号量集合。

  • GETVAL：返回第semnum个信号量的值。

  • SETVAL：设置第semnum个信号量的值，该值由第四个参数中的val指定。

  • GETPID：返回第semnum个信号量的sempid，最后一个操作的pid。

  • GETNCNT：返回第semnum个信号量的semncnt。等待semval变为大于当前值的线程数。

  • GETZCNT：返回第semnum个信号量的semzcnt。等待semval变为0的线程数。

  • GETALL：去信号量集合中所有信号量的值，将结果存放到的array所指向的数组。

  • SETALL：按arg.array所指向的数组中的值，设置集合中所有信号量的值。

• 第四个参数可选：如果使用参数，该参数的类型为 union semun，它是多个特定命令的联合体，具体如下：

  union semun
  {
      int              val;    /* Value for SETVAL */
      struct semid_ds *buf;    /* Buffer for IPC_STAT, IPC_SET */
      unsigned short  *array;  /* Array for GETALL, SETALL */
      struct seminfo  *__buf;  /* Buffer for IPC_INFO
                                  (Linux-specific) */
  };