进程间的通信———信号量

什么是信号量：

信号量就是一个计数器，用于表示一个共享资源可以同时被多少个进程同时访问的变量。

类比于生活中的例子就是：同一出租车可以为所有人服务。出租车就是资源，需要出租车的一伙人就是进程，这伙人我们称之为团体。出租车所能载的团体个数就是信号量。一般情况，出租车只能为一个团体服务。你不可能让一个已经载客的出租车抛弃车上的乘客，然后为你服务。那么我们就可以说出租车这个共享资源的信号量为1。系统为信号量定义了两个结构体：

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，表示出租车可以为一个团体服务。也就是你所看到的“空车”状态。

信号量为0，表示出租车不能为其他团体服务。也就是你所看到的“有客”状态。

总体来说，进程访问一个共享资源时，要看看资源的信号量是否为0；进程信号量为正，表示进程可以访问该共享资源，资源一旦被访问，那么他的信号量的值就会减一（信号量是计数器，也是一个变量。）如果此资源的信号量值为0，表示该资源现在不能被申请访问的进程访问。申请该资源的进程将进入休眠状态，直到信号量的值大于0，该申请资源的进程会被唤醒，被唤醒后还要看看资源的信号量的值，因为进程调度的算法很多，进程从阻塞到就绪状态（也就是被唤醒）时也有可能这个资源被其他进程占用了，这个进程必将再次睡眠。至于什么时间能进行那就得看系统对进程调度的算法了。

信号量操作

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

1、semget函数

#include<sys/sem.h>
int semget(key_t key, int nsems, int flags); 

函数功能：获取/创建一个信号量集。当采用获取操作时，nsems置0；采取创建操作时，nsems必须指定值。

返回值：获取/创建成功，返回信号量集的ID，失败则返回-1。

注意：不能用ID<0断言

第一个参数的类型是key_t,这是键。是基本系统数据类型，在头文件<sys/types.h>中定义为长整型。其实就是可以当做整形直接来使用。创建一个信号量集必须制定一个键，然后键在系统中无法被识别，内核将键转变为标识符。标识符在系统中唯一。生活中整形好用，标识符用起来不方便。于是系统做了映射的简化。

第二个参数是整形，nsems表示的是创建信号量集时有多少个信号量。也就是说假如信号量集是一个数组，那么该参数表示数组的长度。意义是资源被获取需要多少个信号量。这个和信号量的值无关。信号量的值表示资源可以同时被多少个进程访问。基本上置为1。获取则置为0；

第三个参数是信号量集的权限，如下图给出了IPC的权限。

权限值与文件操作的权限值相同。

当想要信号量不存在时创建一个新的信号量，可以和值IPC_CREAT做按位或操作。设置了IPC_CREAT标志后，即使给出的键是一个已有信号量的键，也不会产生错误。而IPC_CREAT | IPC_EXCL则可以创建一个新的，唯一的信号量，如果信号量已存在，返回一个错误。

2、semctl

#include<sys/sem.h>
int sem(int semid, int semnum, int cmd,.../*union semun arg*/);

函数功能：在第一次使用定义的信号量集前对其信号量的值进行初始化。也可以删除一个已经存在的信号量集。

返回值：

第一个参数就是信号量集的ID，也就是semget()的返回值。

第二个参数就是处理该ID的信号量集中信号量的个数。

第三个参数通常是下面两个值中的其中一个

SETVAL:用来将用户定义的信号量集中semnum个信号初始化。初始化的值是第四个参数union semun arg这个联合体中的val元素的值。

IPC_RMID：用于删除一个已经无需继续使用的信号量表示符。

第四个参数是一个联合体，而非联合体指针，该参数是可选参数。当初始化时需要第四个参数，删除一个信号量就不必传递第四个参数定义如下：

union semun{
     int              val;//用该值初始化信号量的值
     struct semid_ds *buf;//for IPC_STAT and IPC_SET
     unsigned short *array;//for GETALL and  SETALL
}

3、semop

#include<sys/sem.h>
int semop(int semid, struct sembuf semoparray[], size_t nops)

函数功能：对一个或者多个信号量值进行操作，改变信号量的值。用于P/V操作。

返回值：操作成功返回为0，失败返回-1

第一个参数是信号量集的ID，也就是semget()的返回值。

第二个参数是一个结构体指针。指向一个信号量操作数组，信号量操作由sembuf结构表示；

struct sembuf{  
    unsigned short sem_num;//除非使用一组信号量，否则它为0，范围是0到nsems-1
    short          sem_op; //号量在一次操作中需要改变的数据，信号量值 += sem_op。sem_op可正可负。通常值为-1和+1，分别对应P和V操作。   
    short          sem_flg;//通常为SEM_UNDO。  
                          
};  

第三个是参数是nops，确定了需要对第二个数组操作的元素的个数。