一、信号量描述
信号量是一个特殊的变量,一般取正数值。它的值代表允许访问的资源数目。
获取资源时,需要对信号量的值进行原子减一,该操作被称为P操作,当信号量值为0时,代表没有资源可用,P操作会阻塞。释放资源时,需要对信号量的值进行原子加一,该操作被称为V操作。
信号量主要用来同步进程。
信号量的值如果只取0,1,将其称为二值信号量;如果信号量的值大于1,则称之为计数信号量。
临界资源:同一时刻,只允许被一个进程或线程访问的资源
临界区:访问临界资源的代码段
二、信号量使用
1.操作信号量的接口介绍
(1)semget()信号量集合的创建
semget 可以一次创建多个信号量,为了管理这些信号量,统一把这些信号量放在一个信号量集合中,如果创建成功,返回的就是信号集的ID
int semget(key_t key, int nsems, int semflg);
semget()创建或者获取已存在的信号量
semget()成功返回信号量的ID, 失败返回-1
key
:两个进程使用相同的key值,就可以使用同一个信号量
nsems
:内核维护的是一个信号量集,在新建信号量时,其指定信号量集中信号量的个数,如果不打算创建 一个新的信号量集合的时候,该参数可以是0。
semflg
:信号量集合的访问权限,可选IPC_CREAT,IPC_EXCL。通常是IPC_CREAT | 0666,如果信号量集合已经存在,那么信号量集合的访问权限会被修改成当前填入的权限。
(2)semop()信号量的PV操作
semop包含了对信号量集合中信号量的 P操作(申请) 和 V操作(释放)。如果要一次操作多个信号量,那么就需要定义一个sembuf类型的结构体数组。
int semop(int semid, struct sembuf *sops, unsigned nsops);
semop()对信号量进行改变,做P操作或者V操作
semop()成功返回0,失败返回-1
semid
:信号量集合的ID
struct sembuf *sops
:
输入型参数,要对信号量集合中的哪个信号量做什么操作,阻塞方式又是怎样。结构体sembuf 的声明如下:
struct sembuf
{
unsigned short sem_num; //指定信号量集中的信号量下标
short sem_op; //其值为-1,代表P操作,其值为1,代表V操作
short sem_flg; //阻塞方式。0表示阻塞,IPC_NOWAIT表示非阻塞。当程序执行了p操作崩溃了之后,系统帮忙将该信号量释放掉
};
nsops
:要操作的信号量的个数,一般是 1 。
(3)semctl()信号量的初始化 / 销毁
semctl 可以对信号量集合中的信号量进行初始化或者删除。因为现在只有信号量集合的ID,实际上我们要想操作信号量集合中的某一个信号量,需要先给这些信号量编号,然后根据编号来定向操作某一个信号量。
int semctl(int semid, int semnum, int cmd, ...);
semctl()控制信号量的初始化 / 销毁
semctl()失败返回 -1,成功时会根据cmd的值返回不同的值(值是大于0的)
semid
:信号量集合的ID
semnum
:
要操作信号量集合中的信号量编号。信号量集合给信号量编号的方式类似于数组下标,是从0开始的,所以为了区分哪个信号量是干什么用的,可以使用宏或者 枚举的方式来指明。如果第三个参数是IPC_RMID,当前参数会被无视。
union semun
{
int val;
struct semid_ds *buf;
unsigned short *array;
struct seminfo *_buf;
};
cmd
:要对信号量所作的操作。cmd的可选值如下:
2.封装信号量接口并在程序中使用信号量
例题:进程a和进程b模拟访问打印机,进程a输出第一个字符‘a’表示开始使用打印机,输出第二个字符‘a’表示结束使用,b进程操作与a进程相同。(由于打印机同一时刻只能被一个进程使用,所以输出结果不应该出现abab),如图所示:
(1)封装信号量的接口:
sem.h的代码如下:
sem.c的代码如下:
b.c的代码如下:
a.c的代码如下:
运行结果如下图所示:
【注意】信号量的创建和销毁只有一次就好了。如果信号量没有被创建,那么创建一个信号量,如果信号量被创建了,就获取也就创建的信号量。信号量的销毁也一样,仅销毁一次就行了。