2022.6.9 Linux——信号量

进程间通信IPC：管道，信号量，共享内存，消息队列，套接字
管道：分为有名管道和无名管道，在内存中，是一个半双工模式。

1. 信号量的定义

信号量是一个特殊的变量，一般取正数值，它的值代表允许访问的资源数目，获取资源时，需要对信号量的值进行原子减1，该操作被称为P操作。当信号值为0时，代表没有资源可用，P操作会阻塞；释放资源时，需要对信号量的值进行加1，该操作被称为V操作。
信号量主要用来同步进程；信号量的值如果只取0,1，将其称为二值信号量；如果信号量的值大于1，则称为计数信号量。

2. 临界资源和临界区

临界资源：同一时刻，只允许被一个进程或线程访问的资源
临界区：访问临界资源的代码段(pv操作)

3. 没有信号量控制

先创建一个a.c

创建一个b.c

说明：两个程序进行时，我们想要打印的结果是AABB这种形式，而不是AB交叉出现的，这说明在程序运行时，中间出现了一个程序对另一个程序的阻塞，因此，需要信号量来控制达到好的结果。

4. 有信号量控制

代码：
创建声明文件.h

创建文件sem.c

其中：




运行结果：

利用ipcs查看信号量：

说明在程序结束后，我们运用sem_destroy函数将创建的信号量进行销毁成功，程序中只剩下系统中的信号量了。

信号量控制有关函数

①semget函数的作用是创建一个新信号量或取得一个已有信号量的键：
int semget(key_t key, int num_sems, int sem_flags);
参数key是整数值，不相关的进程可以通过它访问同一个信号量，程序对所有信号量的访问都是间接的；参数num_sems指定需要的信号量的数目，它的取值几乎总是1；参数sem_flags是一组标志，它与open函数的标志非常相似，其作用类似于文件的访问权限，可以和值IPC_CREAT做按位或操作，来创建一个信号量。也可以通过联合使用标志IPC_CREAT
和IPC_EXCL来确保创建出的是一个新的、唯一的信号量，如果该信号量已经存在，它将返回一个错误。
②semop函数用于改变信号量的值，定义为：
int semop(int sem_id, struct sembuf *sem_ops, size_t num_sem_ops)
第一个参数sem_id是由semget返回的信号量标识符；第二个参数sem_ops是指向一个结构体数组的指针，每个数组元素至少包含以下几个成员：

struct sembuf
{
    short sem_num;//信号量编号，一般为0
    short sem_op;//一次操作中需要改变的数值，通常只会用到两个值，一个为-1，p操作，等待信号量变为可用，一个是+1，v操作，发送信号表示信号量现在已可用
    short sem_flg;//通常被设置为SEM_UNDO,使得操作系统跟踪当前进程对这个信号量的修改情况
};

semop调用的一切动作都是一次性完成的，这是为了避免出现因使用多个信号量而可能发生的竞争现象。
③semctl函数用来直接控制信号量的信息，定义为：
int semctl(int sem_id, int sem_num, int command, …);
第一个参数sem_id是由semget返回的信号量标识符；第二个参数sem_num是信号量编号，当需要用到成组的信号量时，就要用到这个参数，它一般取值为0，表示这是第一个也是唯一的一个信号量；command参数是将要采取的动作；如果还有第四个参数，它将会是一个union semun结构，其至少包括以下几个成员：

union semun
{
     int val;
     struct semid_ds *buf;
     unsigned short *array;
};

semctl函数中的command参数可以设置许多不同的值，但只有以下两个最常用，有：
(1)SETVAL：用来把信号量初始化为一个已知的值，这个值通过union semun中val成员设置，其作用是在信号量第一次使用之前对它进行设置。
(2)IPC_RMID：用于删除一个已经无需继续使用的信号量标识符。
semctl函数将根据command参数的不同而返回不同的值，对于SETVAL和IPC_RMID，成功返回0，失败返回-1。

5. 练习

有三个进程a,b,c分别输入"A",“B”,“C”，要求输出结果必须是“ABCABCABC”。
分析：

代码：
声明文件sem.h：

sem.c文件：

按照上面分析的，分别创建3个c文件，a.c,b.c,c.c，有
a.c文件：

b.c文件：

c.c文件：

运行结果：

可以看出，运行结果正是我们想要的ABCABCABC…