Linux中SystemV信号量的实现（linux-2.6.34/ipc/sem.c阅读笔记）

翟毅鑫

已于 2024-05-23 18:09:39 修改

阅读量259

点赞数 3

文章标签： linux 笔记

于 2024-05-17 22:46:32 首次发布

本文链接：https://blog.csdn.net/weixin_72132778/article/details/139009930

版权

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把操作分为简单操作（只包含一个操作）和复杂操作（包含多个操作），并且区分一组操作是否会修改信号量的值，但是我感觉这样就有点臃肿了。