一、信号量概述:
为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线程访问代码的临界区域。临界区域是指执行数据更新的代码需要独占式地执行。而信号量就可以提供这样的一种访问机制,让一个临界区同一时间只有一个线程在访问它,也就是说信号量是用来调协进程对共享资源的访问的。
信号量是一个特殊的变量,程序对其访问都是原子操作,且只允许对它进行等待(即P(信号变量))和发送(即V(信号变量))信息操作。二进制信号量是只能取 0 和 1 的变量,这也是信号量最常见的一种形式。而可以取多个正整数的信号量被称为通用信号量。这里主要讨论二进制信号量。
二、信号量的工作原理
由于信号量只能进行两种操作等待和发送信号,即P(等待)和V(发送),他们的行为是这样的:
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> 中。
- semget() 函数,作用:创建一个新信号量或取得一个已有的信号量
int semget(key_t key, int num_sems, int sem_flags);
第一个参数 key 是整数值,可以用此访问某信号量,
第二个参数num_sems指定需要的信号量数目,它的值几乎总是 1 。
第三个参数sem_flags是一组标志,当想要当信号量不存在时创建一个新的信号量,可以和值 IPC_CREAT 做按位或操作。设置了IPC_CREAT标志后,即使给出的键是一个已有信号量的键,也不会产生错误。而 IPC_CREAT | IPC_EXCL 则可以创建一个新的,唯一的信号量,如果信号量已存在,返回一个错误。
返回值:
semget()函数成功返回一个相应信号标识符(非零),失败返回-1.
- semop函数 作用 : 改变信号量的值 (俗称取钥匙)
在 Linux 下,PV 操作通过调用 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 使操作系统跟踪信号
// 并在 进程 没有释放该信号量便终止时,操作系统释放该信号量
};
nsops:信号操作结构的数量,恒大于或等于1。
- semctl函数 该函数用来直接控制信号量信息
int semctl(int sem_id, int sem_num, int command, ...);
sem_id 信号量的标识符
sem_num 代表你要操作第几个信号量
如果有第四个参数,它通常是一个 union semum 结构
union semun{
int val;
struct semid_ds * buf;
unsigned short * arry;
};
command :
SETVAL : 用来把信号量初始化为一个已知的值。p 这个值通过union semun中的val成员设置,其作用是在信号量第一次使用前对它进行设置。
IPC_RMID :用于删除一个已经无需继续使用的信号量标识符。
编程初试手
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <stdio.h>
#include <unistd.h>
// int semget(key_t key, int nsems, int semflg);
// int semop(int semid, struct sembuf *sops, size_t nsops);
// int semctl(int sem_id, int sem_num, int command, ...);
// 在 semctl 中,当非删除信号量的时候,会有第四个参数,第四个参数,就是这个 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) */
};
void pgetkey(int id){
struct sembuf set;
set.sem_num = 0;
set.sem_op = -1;
set.sem_flg = SEM_UNDO;
semop(id, &set, 1);
printf("get key\n");
}
void vbackkey(int id){
struct sembuf set;
set.sem_num = 0;
set.sem_op = +1;
set.sem_flg = SEM_UNDO; //If an operation specifies SEM_UNDO, it will be automatically undone when the process terminates.
semop(id, &set, 1);
printf("back key\n");
}
int main(){
key_t key; // System V IPC使用key_t值作为它们的名字
key = ftok(".",1); // ftok把一个已存在的路径名和一个整数标识符转换成一个key_t值,称为IPC键值
// ftok "."在当前目录下,创建一个代号为 1 的 IPC通讯
int semid = semget(key,1,IPC_CREAT|0666); // 获取/创建信号量,将 key 键值的 IPC通讯 注册为 一个信号量,
// 1 代表信号量集合中只有一个信号量,信号量集中信号量的个数
// 信号量集,是一种计算机用语,用于各进程之间发送的消息。任务需要与多个事件同步时,即需要根据多个逻辑信号量组合作用的结果来决定任务的运行方式,定义了一种特殊的数据结构——信号量集,来专用于此类事务的管理。(不是很懂,再说吧)
// 最后,flg 标识符,给权限, 06 可读可写
union semun initsem;
initsem.val = 0;
semctl(semid,0,SETVAL,initsem); // 初始化信号量
// 0 表示操作第 0 个信号量,和
// SETVAL 设置信号量的值,使用联合体,设置为 initsem ,initsem.val = 0, 也就是信号量的初始化为 0 上了锁
int pid = fork(); // 创立父子进程
if(pid > 0){
printf("this is father\n");
pgetkey(semid);
printf("fujinch 应该拿到锁了 \n");
vbackkey(semid);
// 当父进程调用完毕以后,我们要销毁这个锁 也就是这个信号量,所以我们用 semctl 这个对信号量进行控制的函数
semctl(semid,0,IPC_RMID);
}
else if(pid == 0){
printf("this is a child\n");
// 让字进程先去拿锁
// pgetkey(semid);
vbackkey(semid);
}
else{
printf("fork is failer\n");
}
return 0;
}