【信号量概述】
信号量是用来解决进程之间的同步和互斥问题的一种进程之间的通信机制,包括一个称为信号量的变量和在该信号量下等待资源的进程等待队列,以及对信号量进行的两个原子操作(PV操作)。其中信号量对应于某一种资源,取一个非负的整数值。信号量值指的是当前可用的该资源的数量,若它等于0则意味着目前没有可用的资源。
使用"ipcs"命令可以查看System IPC,包括信号量、消息队列以及共享内存,它们都有一个在整个系统中唯一的标识符。每个标识符也都有唯一对应的关键字,关键字的数据类型由系统定义为key_t。
【PV操作】
P操作:如果有可用的资源(信号量值大于0),则占用一个资源(信号量值减去1,进入临界区代码);如果没有可用的资源(信号量值等于0),则被阻塞到,直到系统将资源分配给该进程(进入等待队列,一直等到资源轮到该进程)。
V操作:如果在该信号量的等待队列中有进程在等待资源,则唤醒一个阻塞进程。如果没有进程等待它,则释放一个资源(将信号量值增加1)。
【使用信号量访问临界区的伪代码】
{
/*设R为某种资源,S为R的信号量*/
INIT_VAL(S); /*对信号量S进行初始化*/
非临界区代码;
P(S); /*进行P操作*/
临界区代码(使用资源R); /*只有有限个进程(通常只有一个)允许进入该区*/
V(S); /*进行V操作*/
非临界区代码;
}
【信号量编程】
【编程步骤】
(1)创建信号量或者获得在系统已经存在的信号量,此时系统需要调用semget()函数。不同进程通过使用同一个信号量键值来获得同一个信号量。
(2)初始化信号量,此时使用semctl()函数的SETVAL操作。当使用二维信号量(即信号量值只能取0和1两种值)时,通常将信号量初始化为1。
(3)进行信号量的PV操作,此时调用semop()函数。这一步是实现进程之间的同步和互斥的核心工作部分。
(4)如果不再需要该信号量,则从系统中删除它,此时使用semctl()函数的IPC_RMID操作。然后,在程序中就不应该再出现对已经删除的信号量的操作。
【函数说明】
1、semget()
头文件:
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
函数原型:
int semget(key_t key, int nsems, int semflg)
输入参数:
key:信号量的键值(如0x12345678),多个进程可以通过它访问同一个信号量,如果去特殊值IPC_PRIVATE,则会创建当前进程的私有信号量
nsems:需要创建的信号量数目
semflg:同open()函数的权限位,也可以用八进制表示法,其中使用IPC_CREAT标志创建新的信号,即使该信号已经存在(具有同一个键值的信号量已在系统中存在)也不会出错。如果使用IPC_EXCL标志可以创建一个新的唯一的信号量,此时如果该信号量已经存在,该函数会返回出错。
输出参数:
成功返回信号量标识符,在信号量的其他函数中都会使用该值;出错返回-1
2、semctl()
头文件:
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
函数原型:
int semctl(int semid, int semnum, int cmd, union semun arg)
输入参数:
semid:semget()函数返回的信号量标识符
semnum:信号量编号,当使用信号量集时才会被用到(即semget()函数中nsems取值大于1),取值0到(nsems-1)
cmd:指定对信号量的各种操作,如IPC_STAT、IPC_SETVAL、IPC_GETVAL等
arg:是union semun结构,有些系统可能不存在,需要自己定义
union semun
{
int val;
struct semid_ds *buf;
unsigned short *array;
}
输出参数:
成功:根据cmd值的不同而返回不同的值:
IPC_STAT、IPC_SETVAL、IPC_RMID返回0;
IPC_GETVAL返回信号量的当前值
出错:-1
3、semop()
头文件:
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
函数原型:
int semop(int semid, struct sembuf *sops, size_t nsops)
输入参数:
semid:semget()函数返回的信号量标识符
sops:指向信号量操作数组,一个数组包括以下成员:
struct sembuf
{
short sem_num; /*信号量编号*/
short sem_op; /*信号量操作:-1表示P操作,+1表示V操作*/
short sem_flg; /*通常设为SEM_UNDO,这样进程没释放信号量而退出时,系统会自动释放*/
}
nsops:操作数组sops中的操作个数(元素数目),通常取值为1(一个操作)
输出参数:
成功:返回信号量标识符,在信号量的其他函数中都会使用该值
出错:-1
【代码示例】
程序一生产,程序二消费,两个终端同时打开
程序一:生产
/****
*生产
****/
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
int main()
{
int semid = -1;
int ret = -1;
int fd = -1;
int data = 0;
struct sembuf sembuf;
fd = open("song", O_CREAT|O_WRONLY, 0777);
if (fd < 0)
{
perror("open");
exit(1);
}
semid = semget(0x01020306, 2, IPC_CREAT|0777);
if (semid < 0)
{
perror("semget");
exit(1);
}
ret = semctl(semid, 0, SETVAL, 0);
if (ret < 0)
{
perror("setctl");
exit(1);
}
ret = semctl(semid, 1, SETVAL, 1);
if (ret < 0)
{
perror("setctl");
exit(1);
}
while (1)
{
//信号1减1
sembuf.sem_num = 0;
sembuf.sem_op = -1;
sembuf.sem_flg = SEM_UNDO;
ret = semop(semid, &sembuf, 1);
if (ret < 0)
{
perror("semop");
exit(1);
}
data++;
printf("生产【%d】n", data);
ret = lseek(fd, 0, SEEK_SET);
if (ret < 0)
{
perror("lseek");
exit(1);
}
ret = write(fd, &data, sizeof(int));
if (ret < 0)
{
perror("write");
exit(1);
}
sleep(1);
//信号2加1
sembuf.sem_num = 1;
sembuf.sem_op = 1;
sembuf.sem_flg = SEM_UNDO;
ret = semop(semid, &sembuf, 1);
if (ret < 0)
{
perror("semop");
exit(1);
}
}
}
程序二:消费
/*****
*消费
*****/
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
int main()
{
int semid = -1;
int ret = -1;
int fd = -1;
int data = 0;
struct sembuf sembuf;
fd = open("song", O_RDONLY);
if (fd < 0)
{
perror("open");
exit(1);
}
semid = semget(0x01020306, 2, 0);
if (semid < 0)
{
perror("semget");
exit(1);
}
ret = semctl(semid, 0, SETVAL, 1);
if (ret < 0)
{
perror("setctl");
exit(1);
}
ret = semctl(semid, 1, SETVAL, 0);
if (ret < 0)
{
perror("setctl");
exit(1);
}
while (1)
{
//信号2减1
sembuf.sem_num = 1;
sembuf.sem_op = -1;
sembuf.sem_flg = SEM_UNDO;
ret = semop(semid, &sembuf, 1);
if (ret < 0)
{
perror("semop");
exit(1);
}
ret = lseek(fd, 0, SEEK_SET);
if (ret < 0)
{
perror("lseek");
exit(1);
}
ret = read(fd, &data, sizeof(int));
if (ret < 0)
{
perror("read");
exit(1);
}
printf("消费【%d】n", data);
sleep(1);
//信号1加1
sembuf.sem_num = 0;
sembuf.sem_op = 1;
sembuf.sem_flg = SEM_UNDO;
ret = semop(semid, &sembuf, 1);
if (ret < 0)
{
perror("semop");
exit(1);
}
}
}
【函数封装】
【信号量初始化(赋值)函数】
/***********************************************************
*函数名称:init_sem
*函数功能:信号量初始化(赋值)
*输入参数:
(1)(int)sem_id //信号量
(2)(int)init_value //初始值
*返回值:
(1)成功返回0
(2)失败返回-1
***********************************************************/
int init_sem(int sem_id, int init_value)
{
union semun sem_union;
sem_union.val = init_value;
if (semctl(sem_id, 0, SETVAL, sem_union) == -1)
{
perror("init_sem");
return -1;
}
return 0;
}
【删除信号量】
/***********************************************************
*函数名称:del_sem
*函数功能:删除信号量
*输入参数:(int)sem_id //要删除的信号量
*返回值:
(1)成功返回0
(2)失败返回-1
***********************************************************/
int del_sem(int sem_id)
{
union semun sem_union;
if (semctl(sem_id, 0, IPC_PMID, sem_union) == -1)
{
perror("del_sem");
return -1;
}
return 0;
}
【P操作】
/***********************************************************
*函数名称:sem_p
*函数功能:P操作
*输入参数:(int)sem_id //信号量
*返回值:
(1)成功返回0
(2)失败返回-1
***********************************************************/
int sem_p(int sem_id)
{
struct sembuf sem_b;
sem_b.sem_num = 0; //单个信号量的编号应该为0
sem_b.sem_op = -1; //表示P操作
sem_b.sem_flg = SEM_UNDO; //系统自动释放将会在系统中残留的信号量
if (semop(sem_id, &sem_b, 1) == -1)
{
perror("sem_p");
return -1;
}
return 0;
}
【V操作】
/***********************************************************
*函数名称:sem_v
*函数功能:V操作
*输入参数:(int)sem_id //信号量
*返回值:
(1)成功返回0
(2)失败返回-1
***********************************************************/
int sem_v(int sem_id)
{
struct sembuf sem_b;
sem_b.sem_num = 0; //单个信号量的编号应该为0
sem_b.sem_op = 1; //表示v操作
sem_b.sem_flg = SEM_UNDO; //系统自动释放将会在系统中残留的信号量
if (semop(sem_id, &sem_b, 1) == -1)
{
perror("sem_p");
return -1;
}
return 0;
}