一、什么是信号量
信号量的本质是一种数据操作锁,它本身不具有数据交换的功能,而是通过控制其他的通信资源(文件,外部设备)来实现进程间通信,它本身只是一种外部资源的标识。信号量在此过程中负责数据操作的互斥、同步等功能。
为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线程访问代码的临界区域。临界区域是指执行数据更新的代码需要独占式地执行。而信号量就可以提供这样的一种访问机制,让一个临界区同一时间只有一个线程在访问它,也就是说信号量是用来调协进程对共享资源的访问的。
二、信号量的工作原理
由于信号量只能进行两种操作等待和发送信号,即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中。
1、semget函数
它的作用是创建一个新的信号量或者取得一个已有的信号量,函数原型为:
int semget(key_t key, int num_sems, int sem_flags);
第一个参数key是整数值(唯一非零),不相关的进程可以通过它访问一个信号量,它代表程序可能要使用的某个资源,程序对所有信号量的访问都是间接的,程序先通过调用semget函数并提供一个键,再由系统生成一个相应的信号标识符(semget函数的返回值),只有semget函数才直接使用信号量键,所有其他的信号量函数使用由semget函数返回的信号量标识符。如果多个程序使用相同的key值,key将负责协调工作。
第二个参数num_sems指定需要的信号量数目,它的值几乎总是1。
第三个参数sem_flags是一组标志,当想要当信号量不存在时创建一个新的信号量,可以和值IPC_CREAT做按位或操作。设置了IPC_CREAT标志后,即使给出的键是一个已有信号量的键,也不会产生错误。而IPC_CREAT | IPC_EXCL则可以创建一个新的,唯一的信号量,如果信号量已存在,返回一个错误。
semget函数成功返回一个相应信号标识符(非零),失败返回-1.
2、semop函数
semop的作用是改变信号量的值,函数原型为:
int semop(int sem_id, struct sembuf *sem_opa, size_t num_sem_ops);
sem_id是由semget返回的信号量标识符,sembuf结构的定义如下:
struct sembuf{
short sem_num;//除非使用一组信号量,否则它为0
short sem_op;//信号量在一次操作中需要改变的数据,通常是两个数,一个是-1,即P(等待)操作,
//一个是+1,即V(发送信号)操作。
short sem_flg;//通常为SEM_UNDO,使操作系统跟踪信号,
//并在进程没有释放该信号量而终止时,操作系统释放信号量
};
3、semctl函数
该函数用来直接控制信号量信息,它的原型为:
int semctl(int sem_id, int sem_num, int command, ...);
前两个参数与前面一个函数中的一样,command通常是下面两个值中的其中一个
SETVAL:用来把信号量初始化为一个已知的值。p 这个值通过union semun中的val成员设置,其作用是在信号量第一次使用前对它进行设置。
IPC_RMID:用于删除一个已经无需继续使用的信号量标识符。
当有四个参数时,第四个参数的类型是 union。调⽤用程序必须按照下⾯面⽅方式定义这个联合体:
union semun {
int val; // 使用的值
struct semid_ds *buf; // IPC_STAT、IPC_SET 使用缓存区
unsigned short *array; // GETALL,、SETALL 使用的数组
struct seminfo *__buf; // IPC_INFO(Linux特有) 使用缓存区
};
四、进程间使用信号量通信
comm.h
#ifndef _COMM_H_
#define _COMM_H_
#define PATHNAME "."
#define PROJ_ID 0666
#include<stdio.h>
#include<stdlib.h>
#include<sys/types.h>
#include<sys/ipc.h>
#include<sys/sem.h>
#include<unistd.h>
typedef 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 */
void *__pad;
}mysemun;
int create_sems(int nums);
int get_sems();
int destory_sems(int semid);
int init_sems(int semid,int which,int _val);
int P(int semid,int which);
int V(int semid,int which);
int comm_sems(int nums,int flags);
int comm_semop(int semid,int which,int op);
#endif
comm.c
#include"comm.h"
int comm_sems(int nums,int flags)
{
key_t key=ftok(PATHNAME,PROJ_ID);
int semid=semget(key,nums,flags);
if(semid<0)
{
perror("semget");
return -1;
}
return semid;
}
int create_sems(int nums)
{
return comm_sems(nums,IPC_CREAT | IPC_EXCL | 0666);
}
int get_sems()
{
return comm_sems(0,IPC_CREAT);
}
int init_sems(int semid,int which,int _val)
{
mysemun un;
un.val=_val;
if(semctl(semid,which,SETVAL,un)<0)
{
perror("semctl");
return -1;
}
return 0;
}
int destory_sems(int semid)
{
if(semctl(semid,0,IPC_RMID)<0)
{
perror("semctl");
return -1;
}
return 0;
}
int comm_semop(int semid,int which,int op)
{
struct sembuf sbuf;
sbuf.sem_num=0;
sbuf.sem_op=op;
sbuf.sem_flg=SEM_UNDO;
if(semop(semid,&sbuf,1)<0)
{
perror("semop");
return -1;
}
return 0;
}
int P(int semid,int which)
{
return comm_semop(semid,which,-1);
}
int V(int semid,int which)
{
return comm_semop(semid,which,1);
}
sems.c
#include"comm.h"
int main()
{
int semid=create_sems(1);
init_sems(semid,0,1);
pid_t pid=fork();
if(pid<0)
{
perror("fork");
return -1;
}
else if(pid==0)
{
//child
get_sems();
while(1)
{
P(semid,0);
printf("A");
usleep(12345);
fflush(stdout);
printf("A");
usleep(22345);
fflush(stdout);
V(semid,0);
}
}
else
{
//father
while(1)
{
P(semid,0);
printf("B");
fflush(stdout);
usleep(12345);
printf("B");
usleep(22345);
fflush(stdout);
V(semid,0);
}
waitpid(NULL);
destory_sems(semid);
}
return 0;
}
使用P、V操作后:
五、信号量的总结
信号量是一个特殊的变量,程序对其访问都是原子操作,且只允许对它进行等待(即P(信号变量))和发送(即V(信号变量))信息操作。我们通常通过信号来解决多个进程对同一资源的访问竞争的问题,使在任一时刻只能有一个执行线程访问代码的临界区域,也可以说它是协调进程间的对同一资源的访问权,也就是用于同步进程的。