Linux的信号量有三类:
- 操作系统自身使用的信号量(位于linux-2.6.34/kernel/semaphore.c)
- SystemV信号量(位于linux-2.6.34/ipc/sem.c)
- POSIX信号量(位于C语言库,例如glibc)
本文的主题是SystemV信号量。
信号量的三个系统调用
- semget (key_t key, int nsems, int semflg) 创建或打开一个信号量
- semctl (int semid, int semnum, int cmd, ...) 信号量的控制
- semop (int semid, struct sembuf *sops, size_t nsops) 信号量的PV操作
示例代码如下:
/* 信号量三个系统调用的使用示例 */
#include <stdio.h>
#include <sys/sem.h>
int main() {
key_t key;
int semid, nsems;
struct sembuf sem_ops[2];
// 创建一个唯一的key值
key = ftok("/tmp", 'R');
// 创建一个信号量集合,其中包含3个信号量
nsems = 3;
semid = semget(key, nsems, IPC_CREAT | 0666);
// 初始化3个信号量的值都为1
short val[] = {1, 1, 1};
semctl(semid, 0, SETALL, val);
// 同时使第0个信号量和第2个信号量减一
sem_ops[0].sem_num = 0; /* 信号量在集合中的索引 */
sem_ops[0].sem_op = -1; /* 信号量的值减一 */
sem_ops[0].sem_flg = 0; /* 标志 */
sem_ops[1].sem_num = 2;
sem_ops[1].sem_op = -1;
sem_ops[1].sem_flg = 0;
int ret = semop(semid, sem_ops, 2);
printf("%d\n", ret);
// 移除信号量集合
semctl(semid, 0, IPC_RMID, 0);
return 0;
}
上述代码没有什么实际价值,主要是为了说明linux-2.6.34/ipc/sem.c信号量机制的特点:一次semget(),创建的不是单个信号量,而是一组信号量。一次semop(),操作的不是单个信号量,而是一组信号量。
信号量集合
数据结构如下:
semop()是原子的(也就是说,如果一组操作会使信号量集合里的某个信号量减到负数,那么这组操作就不会执行,进程就会阻塞),核心代码位于try_atomic_semop()函数:
如果进程被阻塞,那么进程将会被放入等待队列(核心代码位于函数semtimedop()之中)。如果执行成功,那么进程将会尝试唤醒等待队列中的其它进程(核心代码位于函数update_queue()之中)。等待队列节点的数据结构如下所示:
linux-2.6.34/ipc/sem.c提供的信号量机制,使得用户可以同时操作一组信号量,固然很灵活很通用,但这也带来一个问题:如果只是对一个信号量执行PV操作,那么我们只需要唤醒等待队列里的下一个进程就可以了,但是我们现在是对一组信号量执行一系列操作,所以等待队列里的每个进程都需要尝试唤醒一遍。
为了缓解这个问题,linux-2.6.34/ipc/sem.c把操作分为简单操作(只包含一个操作)和复杂操作(包含多个操作),并且区分一组操作是否会修改信号量的值,但是我感觉这样就有点臃肿了。
信号量撤销机制
当一个进程更改了信号量的值,并随后意外崩溃或被杀死时,信号量的值可能会处于不一致的状态。因此,linux-2.6.34/ipc/sem.c提供了一种称为“撤销”(undo)的机制,它允许进程在退出时自动消除其之前对信号量值的影响。具体实现如下:
每个进程都需要有一个链表:
进程更改过的信号量集合,会被放入该进程的链表中:
每次进程对该信号量集合的更改,都会被累加到semadj中。从而,当进程退出时,可以消除该进程之前对信号量值的影响(核心代码位于函数exit_sem()之中)。