IPC对象/XSI-IPC - 信号量

原理

信号量通信机制主要实现进程间同步，信号量值用来标识系统可用资源的个数。
实际应用中，两个进程间通信可能会使用多个信号量，因此Linux在管理时以信号量集合的概念来管理。
通常所说的创建一个信号量实际上是创建了一个信号量的集合。整个信号量集合由以下部分组成：

• 信号量集合数据结构：在此结构中定义了整个信号量集合的基本属性，如访问权限。
• 信号量：信号量集合使用指针指向一个由数组组成的信号量单元，在此信号量单元中存储了创建时申请的信号量。

数据结构和共用体

semid_ds

信号量集合数据结构。一般不直接调用，而是作为[[semctl()|semctl]]的第四个参数semun的成员出现。

/*位于/usr/include/linux*/
struct semid_ds {
    struct ipc_perm    sem_perm;        /* 权限 .. see ipc.h */
    __kernel_time_t    sem_otime;        /* 最近semop时间 */
    __kernel_time_t    sem_ctime;        /*最近 修改时间*/
    struct sem    *sem_base;        /* 队列第一个信号量 */
    struct sem_queue *sem_pending;        /* 阻塞信号量 */
    struct sem_queue **sem_pending_last;    /* 最后一个阻塞信号量*/
    struct sem_undo    *undo;    /* undo队列 */
    unsigned short    sem_nsems; /* no. of semaphores in array */
};

sem

每个信号量的数据结构

/*位置不明。。*/
struct sem{
       int semval; /*信号量的值*/
       int sempid; /*最近一个操作的进程号PID*/
};

sembuf

被[[semop（）|semop]]用到

struct sembuf{
        unsigned short sem_num;  /* 信号量标号 */
        short          sem_op;   /* 信号量操作（加减） */
        short          sem_flg;  /* 操作标识 */
};

semun

这个是个union类型。注意它包含了几个不同类型的成员，具体用到哪个依据[[semctl()|semctl]]第三个参数的不同而不同。

union semun {
        int              val;    /* SETVAL的值 */
        struct semid_ds *buf;    /* IPC_STAT, IPC_SET的缓冲 */
        unsigned short  *array;  /* GETALL, SETALL的数组 */
        struct seminfo  *__buf;  /* IPC_INFO的缓冲(Linux-specific) */
};