说明:
本文章旨在总结备份、方便以后查询,由于是个人总结,如有不对,欢迎指正;另外,内容大部分来自网络、书籍、和各类手册,如若侵权请告知,马上删帖致歉。
QQ 群 号:513683159 【相互学习】
内容来源:
《Linux系统编程》、《Linux网络编程》、《Unix环境高级编程》
信号量
信号量是一种计数器,用来控制对多个进程共享的资源所进行的访问,为获取共享资源,进程需执行以下操作:
①测试控制该资源的信号量(原子操作)
②若信号量的值为正,则进程可使用该资源。进程将信号量值减1(原子操作),表示它使用了一个资源单位。
③若信号量的值为0,则进程进入休眠状态,直至信号量值大于0,进程被唤醒,返回①步。
常用信号量形式:二元信号量或双态信号量,用于控制单个资源,初始值为1。
一般而言,信号量的初值可为任一正值,用于说明有多少个共享资源单位可供共享应用。
常常被用做一个锁机制,在某个进程正在对特定资源进行操作时,信号量可以防止另一个进程去访问它。
生产者和消费者的模型是信号量的典型使用。
一、函数简介
(1)semget()——信号量创建函数
1.函数功能:获取现有信号量集标识符 或 创建一个新的信号量集标识符(获取信号量)
项目 | 说明 |
---|---|
函数原型 | int semget(key_t key, int nsems, int semflg); |
头文件 | sys/types.h、sys/ipc.h、sys/sem.h |
参数说明 | key:键值 (由ftok()函数生成) |
nsems:指定新集合中应创建的信号量的数目 | |
semflg:打开信号量的方式 | |
返回值 | 若成功则 若失败则返回-1 |
注意 |
2.参数semflg
:打开信号量的方式
1️⃣IPC_CREAT
:
①若不存在该信号量集合,则新创建的信号量集合并返回该信号集合标识符。
②若早已存在,则返回具有同一个关键字值的集合的标识符。
2️⃣IPC_EXCL
:
①当与IPC_CREAT
一起使用时(防止为访问而打开现有的信号量集合)
<1>若信号量集合不存在,则创建一个新的集合
<2>若信号量集合早已存在,则调用失败,返回-1。
②单独使用没有什么作用
(2)semop()——信号量操作函数
1.函数功能:对semid
指定的信号量集中的选定信号量执行操作。由sop指向的数组中的每个nops
元素都是一个结构体,用于指定要对单个信号量执行的操作。(semop()
函数具有原子性,它或者执行数组中的所有操作,或者什么也不做。)
项目 | 说明 |
---|---|
函数原型 | int semop(int semid, struct sembuf *sops, size_t nsops); |
头文件 | sys/types.h、sys/ipc.h、sys/sem.h |
参数说明 | semid:信号量标识符 (由semget()生成) |
sops:指向将要在信号量集合上执行操作的一个数组 sembuf结构在linux/sem.h中 | |
nsops:该数组中操作的个数 | |
返回值 | 若成功则返回 若失败则返回-1 |
注意 |
2.参数sops
所指的结构体sembuf
:
位于: sys/sem.h
或 linux/sem.h
/* 用作“semop”的参数来描述操作的结构 */
struct sembuf
{
unsigned short int sem_num; /* 信号量的编号 */
short int sem_op; /* 信号量的操作 (正/负/零)*/
short int sem_flg; /* 信号量的操作标志 */
};
若sem_op
为正数,从信号量中减掉一个值
若sem_op
为负数,从信号量中加上值
若sem_op
为零,将进程设置为睡眠状态,直到信号量的值为0为止。
(1)最易于处理的情况是sem_op为正。这对应于进程释放占用的资源数。sem_op值加到信号量的值上。如果指定了undo标志,则也从该进程的此信号量调整值中减去sem_op。
(2)若sem_op为负,则表示要获取由该信号量控制的资源。
如若该信号量的值大于或等于sem_op的绝对值(具有所需的资源),则从信号量值中减去sem_op的绝对值。这保证信号量的结果值大于或等于0。如果指定了undo标志,则semmop的绝对值也加到该进程的此信号量调整值上。
如果信号量值小于sem_op的绝对值(资源不能满足要求),则:
(a)若指定了IPC_NOWAIT,则s emop出错返回EAGAIN。
(b)若未指定IPC_NOWAIT,则该信号量的semncnt值加1(因为调用进程将进入休眠状态),然后调用进程被挂起直至下列事件之一发生:
(i)此信号量变成大于或等于sem_op的绝对值(即某个进程已释放了某些资源)。此信号量的semncnt值减1(因为已结束等待),并且从信号量值中减去sem_op的绝对值。如果指定了undo标志,则sem_op的绝对值也加到该进程的此信号量调整值上。
(ii)从系统中删除了此信号量。在此情况下,函数出错则返回EIDRM。
(iii)进程捕捉到一个信号,并从信号处理程序返回。在此情况下,此信号量的
semncnt值减1(因为调用进程不再等待),并且函数出错返回EINTR。
(3)若sem_op为0,这表示调用进程希望等待到该信号量值变成0。
如果信号量值当前是0,则此函数立即返回。
如果信号量值非0,则:
(a)若指定了IPC_NOWAIT,则出错返回EAGAIN。
(b)若未指定IPC_NOWAIT,则该信号量的semzcnt值加1(因为调用进程将进入休眠状态),然后调用进程被挂起,直至下列事件之一发生为止:
(i)此信号量值变成0。此信号量的semzcnt值减1 (因为调用进程已结束等待)。
(ii)从系统中删除了此信号量。在此情况下,函数出错返回EIDRM。
(iii)进程捕捉到–个信号,并从信号处理程序返回。在此情况下此信号量的semzcnt值减1(因为调用进程不再等待),并且函数出错返回EINTR。
(3)semctl()——信号量控制函数
1.函数功能:对semid
信号量集合执行cmd
控制操作,与文件操作ioctl()
类似(信号量控制操作)
项目 | 说明 |
---|---|
函数原型 | int semctl(int semid, int semnum, int cmd, ...); |
头文件 | sys/types.h、sys/ipc.h、sys/sem.h |
参数说明 | semid:信号量标识符 (由semget()生成) |
semnum:要执行操作的信号量编号 是信号量集合的一个索引值 | |
cmd:将要在集合上执行的命令 | |
...: | |
返回值 | 若成功则返回 若失败则返回-1 |
注意 |
2.参数cmd
可能的命令值:
①IPC_STAT
:获取某个集合的semid_ds
结构,并把它存储在semun
联合体的 buf
参数所指定的地址中。
②IPC_SET
:设置某个集合的semid_ds
结构的 ipc_perm
成员的值。该命令所取的值是从semun
联合体的buf
参数中取到的。
③IPC_RMID
:从内核删除该集合。
④GETALL
:用于获取集合中所有信号量的值。整数值存放在无符号短整数的一个数组中,该数组由联合体的array
成员所指定。
⑤GETNCNT
:返回当前正在等待资源的进程的数目。
⑥GETPID
:返回最后一次执行semop
调用的进程的PID。
⑦GETVAL
:返回集合中某个信号量的值。
⑧GETZCNT
:返回正在等待资源利用率达到百分之百的进程的数目。
⑨SETALL
:把集合中所有信号量的值,设置为联合体的array
成员所包含的对应值。
⑩SETVAL
:把集合中单个信号量的值设置为联合体的val
成员的值。
3.参数 ...
:
常为semun
枚举变量,位于: linux/sem.h
/* 信号量操作的联合结构 */
union semun {
int val; //整型变量
struct semid_ds *buf; //semid_ds结构指针:IPC_STAT的缓冲区,IPC_SET的缓冲区
unsigned short *array; //数组类型:数组的GETALL, SETALL
struct seminfo *__buf; //信号量内部结构: IPC_INFO的缓冲区
};
1️⃣val:当执行SETVAL
命令时将用到这个成员,它用于指定要把信号量设置成什么值。
2️⃣buf:在命令IPC_STAT/IPC_SET
中使用。它代表内核中所使用的内部信号量数据结构的一个复制
3️⃣array:用在GETALL/SETALL
命令中的一个指针。它应当指向整数值的一个数组。在设置或获取集合中所有信号量的值的过程中,将会用到该数组。
4️⃣剩下的参数 __buf将在内核中的信号量代码的内部使用,对于应用程序开发人员来说,它们用处很少,或者说没有用处。这两个参数是Linux操作系统所特有的,在其他的UNIX 实现中没有。
struct semid_ds
{
struct ipc_perm sem_perm; /*所有权和权限*/
time_t sem_otime; /*最后一次semop */
time_t em_ctime; /*上次更改时间*/
unsigned long sem_nsems; /* 集合中No.的信号量 */
};
struct ipc_perm
{
key_t __key; /* Key提供给semget(2) */
uid_t uid; /* owner的有效UID */
gid_t gid; /* owner的有效GID */
uid_t cuid; /* 创建器的有效UID */
gid_t cgid; /* E创建者的有效GID */
unsigned short mode; /* 权限 */
unsigned short __seq; /* 序列号 */
};
二、示例实践:
1.示例说明:
单进程信号量程序模拟:
①创建一个信号量
②对该信号量进行P、V操作,并将信号量的值打印出来
③销毁信号量
2.源文件:sem.c
#include <stdio.h>
#include <sys/sem.h>
#include <sys/ipc.h>
/*信号量操作的联合结构*/
typedef int sem_t;
union semun{
int val; //整型变量
struct semid_ds *buf; //semid_ds结构指针
unsigned short *array; //数组类型
}arg; //定义一个全局变量
/**
* @function:建立信号量
*
* @param key: 魔数
* @param value: 信号量的初始值
*
* @desciption:
* 按用户键值生成一个信号量,
* 信号量的初始值设为用户输入的value
*/
sem_t CreateSem(key_t key, int value)
{
union semun sem; //信号量结构变量
sem_t semid; //信号量ID
sem.val = value; //设置初始值
semid = semget(key,1,IPC_CREAT|0666); //获得信号量的ID
if(semid == -1) //获得信号量ID失败
{
printf ("create semaphore error\n");
return -1; //返回错误
}
semctl(semid,0,SETVAL,sem); //发送命令,建立value个初始值的信号
return semid; //返回建立的信号量
}
/*增加信号量*/
int Sem_P(sem_t semid)
{
struct sembuf sops={0,+1,IPC_NOWAIT}; //建立信号量结构值(对信号量0,进行+1的操作,)
return (semop(semid,&sops,1)); //发送命令
}
/*减小信号量值*/
int Sem_V(sem_t semid)
{
struct sembuf sops={0,-1,IPC_NOWAIT}; //建立信号量结构值(对信号量0,进行-1的操作,)
return (semop(semid, &sops,1)); //发送信号量操作方法
}
/* 设置信号量的值 */
void SetvalueSem(sem_t semid, int value)
{
union semun sem; //信号量操作的结构
sem.val = value; //值初始化
semctl(semid,0,SETVAL,sem); //设置信号量的值
}
/* 获得信号量的值 */
int GetvalueSem(sem_t semid)
{
union semun sem; //信号量操作的结构
return semctl(semid,0,GETVAL,sem); //获得信号量的值
}
/* 销毁信号量 */
void DestroySem(sem_t semid)
{
union semun sem; //信号量操作的结构
sem.val = 0; //信号量值的初始化
semctl(semid,0,IPC_RMID,sem); //设置信号量
}
int main(int argc,char *argv[])
{
char i;
key_t key; //信号量的键值
int semid; //信号量的ID
int value = 0;
struct semid_ds buf;
key = ftok("/ipc/sem",'a'); //建立信号量的键值
semid = CreateSem(key, 100); //建立信号量
/* 对信号量进行3次增减操作 */
for(i = 0; i <= 3;i++)
{
Sem_P(semid); //增加信号量
Sem_V(semid); //减小信号量
}
value = GetvalueSem(semid); //获得信号量的值
printf("信号量值为:%d\n",value);
DestroySem(semid); //销毁信号量
return 0;
}
3.编译运行及其结果
①创建路径名:sudo mkdir -p /ipc/msg
构建IPC键值的路径必须是已存在的目录。
②编译:gcc sem.c -o sem
③运行:./sen
④结果:
信号量值为:100