linux下信号量的区别,linux下信号量详解

**

因为本人之前一直写的是电子笔记，对自己学会的东西作一个总结，所以基本都是文字，本来想全发成博客的形式，发现全发成博客比较花费时间，而且一直发博客质量不是很好，而且通过发博客学到的东西也会变少，所以准备先把笔记发出来，后续再将它们改成博客的形式，争取2天至少改一篇博客，觉得我总结的还行的可以先关注我，后续会发成博客形式，内容也会更加完善

**

信号量：

信号量实际上就是一个计数器，用于控制进程或线程对临界资源的同步与互斥，对信号量的操作是一个原子操作(也就是在一个进程或线程访问它时，其它的进程或线程不能同时访问它来打断前一个进程或线程的操作)，它的原理就是在一个进程或线程过来时，先访问信号量，如果这个信号量大于0，则让计数-1，然后让这个进程或线程执行下面的操作，如果这个信号量小于等于0，则阻塞此进程或线程让它陷入等待，直到此信号量计数加1被唤醒(唤醒时的操作是，先让信号量计数加1，然后唤醒等待的进程或线程，如果此时计数大于0，则让此进程或线程执行下面的操作)

信号量的使用：

要想使用信号量，就得先创建信号量，linux提供了一个创建信号的类型，它就是sem_t(直接用它像创建变量一样创建信号量)，创建完之后还不能使用，因为它现在是一个随机的属性，属于未定义行为

所以我们就得给创建好的信号量进行初始化，linux提供初始化函数是sem_init(这个函数有三个参数，第一个参数是你要设置的信号量，不过传的时候要传地址，它是一个sem_t的指针类型，第二个参数是你要对进程还是线程进行控制，如果传入0，则表示用于线程间的同步与互斥，如果传入的非0，则表示用于进程间的同步与互斥，这个参数是一个整形，第三个参数是设置信号量的初值，因为信号量的本质是一个计数器，如果初值设为1，那么和互斥锁的功能差不多，这个参数是一个无符号的整形)，如果这个函数初始化成功则返回0，如果失败则返回-1

然后我们就可以使用信号量了，我们可以在需要保证安全实现互斥的地方使用信号来进行判断阻塞，如果如果这个信号量大于0，则让计数-1，然后让这个进程或线程执行下面的操作，如果这个信号量小于等于0，则阻塞此进程或线程让它陷入等待，直到此信号量计数加1被唤醒，linux提供的函数是sem_wait(这个函数只有一个参数，就是你要使用信号量的地址，这个参数是一个sem_t的指针类型)，如果这个函数成功则返回0，如果失败则返回-1；还有一个函数sem_trywait，它和sem_wait的区别是，如果信号量小于等于0，则直接报错返回，而不是等待，它的参数信息和sem_wait相同

当我们有资源时，就可以唤醒等待的进程或线程了，这个时候执行的操作就是让计数加1，然后唤醒那些等待的进程或线程，linux提供的函数是sem_post(这个函数只有一个参数，就是你要唤醒的信号量的地址，这个参数是一个sem_t的指针类型)，如果这个函数成功则返回0，如果失败则返回-1

最后要记得，在使用完信号量后要删除它，因为它并不是栈空间里的变量，不会自己删除，linux给我们提供的函数是sem_destroy(这个函数只有一个参数，就是你要删除的信号量的地址，这个参数是一个sem_t的指针类型)，如果这个函数成功则返回0，如果失败则返回-1

信号量集的使用：

有时我们可能需要用到很多信号量，这时我们如果在代码中创建很多信号量会显得代码冗余，这时我们就可以使用信号量集了，它的原理也很简单，就是在在一个文件中创建很多信号量，然后通过一个函数一直进行管理和使用，这样我们在使用信号量时，就会显得比较简洁，在信号量集中，是通过P、V进行操作的，P代表如果这个信号量的值小于0，则让后面的进程或线程陷入等待，将它的PCB插入到队列的队尾，V表示如果这个信号量的值小于等于0，则让计数加1，并唤醒一个进程或线程，并让进程或线程进入就绪状态；就是信号量的PV操作，在使用P、V时，只要将信号量的semid号传入即可)下面介绍一些重点的函数

它和共享内存相同都需要通过ftok来产生一个唯一标识的key_t的文件信息，ftok(这个函数一共两个参数，第一个参数是那个普通文件的路径，是一个const型的字符指针，第二个参数是一个整形ID号，不过这个整形只能使用前8位，也就是说这个ID最大可以表示255，只超出8位，那么就不管8位之后的数，只计算8位前的二进制，这个ID号也是有很大作用，因为不同的文件系统都会有自己的一套inode号，系统找文件就是在找inode号，所以可能出现不同的文件具有相同的inode号，因为最后都是要改造成共享内存的特殊文件，所以将文件拿进来后，可能两个文件的inode号相同，因为sem这个文件系统不会重新分配inode号(不重新分配的原因是用户可能会自己打开这个文件，如果inode号变的话，就会打开错误)，所以需要一个ID来标识文件，所以就有了这个参数)，这个函数如果成功则返回值是一个key_t类型的值，我称为IPC键，它的作用是代表着一个已经可以被信号量集安全使用的文件，如果失败则返回-1；另外这个函数有一个坑，就是我们一般认为，只要创建时文件路径名和ID号相同，则访问就相同的信号量集文件，但其实如果这个文件在之前被删除过，然后又创建了一个同名的文件，然后使用ftok来创建信号量集文件，就会出错，因为在删除后重新创建文件它的inode号会变，所以ftok出来的文件就不对了；

然后我们就可以使用semget这个函数来创建这个信号量集了(这个函数一共三个参数，第一个参数是IPC键，用来确定要创建的信号量集的位置，这个参数的类型当然也key_t了，第二个参数是你要创建信号量的个数，这个参数是一个整形，第三个参数是一个选项标志，它是用来控制信号量集文件的，有时我们不想先在外部直接创建好文件，不用ftok函数，所以这个参数就是为了解决这个问题，它有二个宏，第一个是IPC_CREAT，它表示这个文件存在则打开，如果不存在则创建，第二个宏是IPC_EXCL，它表示如果文件不存在则创建，如果存在则让这个函数返回-1报错，一般和IPC_CREAT配合使用，保证这个文件一定是新创建的，最后这个参数依然可以用或的方式来指定文件权限)，这个函数如果成功则返回这个信号量文件的操作句柄是一个整形，和文件描述符差不多，用来操作信号量文件，如果失败则返回-1

然后我们就可以对这个信号量集进行操作，linux提供的函数是semctl(这个函数有四个参数，不过可以只用三个参数，第一个参数就是这个信号量集文件的操作句柄，这个参数是一个int类型，第二个参数是你要操作信号量集中的某个信号量的序号，这个参数也是一个int类型，第三个参数是接下来要采取的动作有几个宏，第一个是宏是IPC_RMID，表示删除信号量集，唤醒所有阻塞的进程或线程，第二个宏是IPC_STAT，表示将此信号量集的状态信息发送到第四个参数的用于接收此状态的结构体中，第三个宏是IPC_SET，表示将第四个参数中保存的状态来替换此时这个信号量集的状态，第四宏是SETVAL，表示用第四个参数中保存的信号量计数值来重新设置第二个参数中信号量计数值，第五个宏是GETVAL，将此信号量集中第二个参数的信号量的计数个数保存到第四个参数中对应的参数中去，还有其它几个宏不一一列举；第四个参数一个联合体类型union semun，这个联合体并没有在头文件中定义，如果要用到这个参数需要用户自己来定义这个结构体

union semun {

int val; /* Value for SETVAL */

struct semid_ds buf; / Buffer for IPC_STAT, IPC_SET */

unsigned short array; / Array for GETALL, SETALL */

struct seminfo __buf; / Buffer for IPC_INFO (Linux specific) */

};

这个函数如果操作成功则返回0，如果失败则返回-1

上面的的函数可以控制单个信号量的使用也可对整个信号量集做出操作，不过上面的函数主要是为了信号量集的状态或删除操作，但要想整体对信号量集中的所有信号量做出操作，或单个信号进行操作(如所有信号量的初始化和改所有信号量的值)不太好实现，所以linux提供了另一个对信号量的资源控制函数semop(这个函数一共有三个参数，第一个参数是IPC键，用来确定要创建的信号量集的位置，这个参数的类型当然也key_t了；第二个参数是一个结构体数组指针，这个结构体是struct semop，这个结构体已经在头文件中定义，我们可以直接定义出数组来使用，它的目的就是控制单个信号量的使用，每个信号量都有这么一个结构体，在信号量集中，第一个信号量的结构体就是数组中的第0个元素，对这个结构体进行初始化后，信号量并不会立即进行使用，需要通过这个函数来让信号量知道它要进行什么操作，所以这个参数就是要把这个结构体数组的首地址传入，这个结构体如：

struct sembuf{

short sem_num; 这个参数是用来显示你操作的是哪个信号量，信号量集中第一个信号量就是0

short sem_op;

short sem_flg;

};

sem_op这个参数是用来告诉信号量应该执行哪个操作，如果这个参数是大于0的一个数，那么就让semval(信号量现在的值)加上这个数，表示允许多个进程或线程进行使用，另外如果sem_flg设置了SEM_UNDO那么semadj将的值将会减去这个数(对某个进程，在指定SEM_UNDO后，对信号量semval值的修改都会反应到semadj上，当该进程终止的时候，内核会根据semadj的值，重新恢复信号量之前的值；也就是semadj是为了还原semval之前的值，也就是保留上一次semval的值，相当于拿semval加了这个值后的值再减去这个值，然后赋给semadj)

如果sem_op是等于0的，那么就代表用户希望semval的值为0，如果为0则立即返回，如果不为0相应信号量的semzcnt(它代表等待semval变为0的进程或线程数，也就是阻塞了多少个进程或线程)加1，调用的进程或线程阻塞等待

如果sem_op是小于0 的，当sem_op(其实这里可以感觉到是为了保证让一批进程或线程同时进行操作)的绝对值是小于semval的值时，那么让semval减去sem_op的绝对值，表示将sem_op数量的进程或线程进行使用，分配资源，然后剩下的就是接下来允许进程或线程使用的数目，如果sem_op的绝对值是大于semval的，那么就让semncant(表示等待semval变为大于sem_op绝对值的进程或线程数，也就是被阻塞的进程或线程数)加1，然后让进程或线程阻塞等待，直到semval的值大于sem_op绝对值后，再减去它，分配资源，以保证有一批进程或线程可以不被阻塞同时使用

sem_flg这个标志有二个宏，先说不是宏的，如果将这个位置设为0，代表正常使用，没有特殊操作，如果设为IPC_WAIT，代表这个信号量在使用时如果不满足条件，将不是阻塞，而是直接报错返回-1，如果设为SEM_UNDO表示维护进程或线程对信号量的调整值，以便进程或线程结束后(不论是正常结束还是异常结束，主要是为了异常结束后能得到信息)能恢复之前信号量的状态

这个函数的第三个参数是一个整形，表示对你传入的结构体数组首地址以下的几个信号量进行操作)

如果这个函数成功则返回0，失败则返回-1