Linux 进程间通信——信号量

一、信号量描述

信号量是一个特殊的变量，一般取正数值。它的值代表允许访问的资源数目。

获取资源时，需要对信号量的值进行原子减一，该操作被称为P操作，当信号量值为0时，代表没有资源可用，P操作会阻塞。释放资源时，需要对信号量的值进行原子加一，该操作被称为V操作。

信号量主要用来同步进程。

信号量的值如果只取0,1，将其称为二值信号量；如果信号量的值大于1，则称之为计数信号量。

临界资源：同一时刻，只允许被一个进程或线程访问的资源
临界区：访问临界资源的代码段

二、信号量使用

1.操作信号量的接口介绍

（1）semget()信号量集合的创建

semget 可以一次创建多个信号量，为了管理这些信号量，统一把这些信号量放在一个信号量集合中，如果创建成功，返回的就是信号集的ID

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

semget()创建或者获取已存在的信号量
semget()成功返回信号量的ID， 失败返回-1
key：两个进程使用相同的key值，就可以使用同一个信号量
nsems：内核维护的是一个信号量集，在新建信号量时，其指定信号量集中信号量的个数，如果不打算创建 一个新的信号量集合的时候，该参数可以是0。
semflg：信号量集合的访问权限，可选IPC_CREAT，IPC_EXCL。通常是IPC_CREAT | 0666，如果信号量集合已经存在，那么信号量集合的访问权限会被修改成当前填入的权限。

（2）semop()信号量的PV操作

semop包含了对信号量集合中信号量的 P操作(申请) 和 V操作(释放)。如果要一次操作多个信号量，那么就需要定义一个sembuf类型的结构体数组。

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

semop()对信号量进行改变，做P操作或者V操作
semop()成功返回0，失败返回-1
semid：信号量集合的ID
struct sembuf *sops：
输入型参数，要对信号量集合中的哪个信号量做什么操作，阻塞方式又是怎样。结构体sembuf 的声明如下：

struct sembuf  
{  
unsigned short sem_num;  //指定信号量集中的信号量下标  
short          sem_op;   //其值为-1，代表P操作，其值为1，代表V操作  
short          sem_flg;  //阻塞方式。0表示阻塞，IPC_NOWAIT表示非阻塞。当程序执行了p操作崩溃了之后，系统帮忙将该信号量释放掉
}; 

nsops：要操作的信号量的个数，一般是 1 。

（3）semctl()信号量的初始化 / 销毁

semctl 可以对信号量集合中的信号量进行初始化或者删除。因为现在只有信号量集合的ID，实际上我们要想操作信号量集合中的某一个信号量，需要先给这些信号量编号，然后根据编号来定向操作某一个信号量。

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

semctl()控制信号量的初始化 / 销毁
semctl()失败返回 -1，成功时会根据cmd的值返回不同的值（值是大于0的）
semid：信号量集合的ID
semnum：

要操作信号量集合中的信号量编号。信号量集合给信号量编号的方式类似于数组下标，是从0开始的，所以为了区分哪个信号量是干什么用的，可以使用宏或者 枚举的方式来指明。如果第三个参数是IPC_RMID，当前参数会被无视。

union semun  
{  
int             val;  
struct semid_ds *buf;  
unsigned short  *array;  
struct seminfo  *_buf;  
}; 

cmd：要对信号量所作的操作。cmd的可选值如下：

2.封装信号量接口并在程序中使用信号量

例题：进程a和进程b模拟访问打印机，进程a输出第一个字符‘a’表示开始使用打印机，输出第二个字符‘a’表示结束使用，b进程操作与a进程相同。（由于打印机同一时刻只能被一个进程使用，所以输出结果不应该出现abab），如图所示：

（1）封装信号量的接口：

sem.h的代码如下：

sem.c的代码如下：

b.c的代码如下：

a.c的代码如下：

运行结果如下图所示:

【注意】信号量的创建和销毁只有一次就好了。如果信号量没有被创建，那么创建一个信号量，如果信号量被创建了，就获取也就创建的信号量。信号量的销毁也一样，仅销毁一次就行了。