System V 信号量在内核中维护，其中包括二值信号量 、计数信号量、计数信号量集。
二值信号量 ： 其值只有0、1 两种选择，0表示资源被锁，1表示资源可用；
计数信号量：其值在0 和某个限定值之间，不限定资源数只在0 1 之间；
计数信号量集 ：多个信号量的集合组成信号量集
内核维护的信号量集结构信息如下：定义在头文件<sys/sem.h>
struct semid_ds { struct ipc_perm sem_perm; struct sem *sem_base; ushort sem_nsems; time_t sem_otime; time_t sem_ctime; };
其中ipc_perm 结构是内核给每个进程间通信对象维护的一个信息结构，其成员包含所有者用户id，所有者组id、创建者及其组id，以及访问模式等；semid_ds结构体中的sem结构是内核用于维护某个给定信号量的一组值的内部结构，其结构定义：
struct sem { int semval; /* current value */ int sempid; /* pid of last operation */ struct list_head sem_pending; /* pending single-sop operations */ };
其中senval变量代表当前信号量的值，sempid 为最后一个成功操作该信号量的进程id，该结构体在内核以双向链表进行 维护
semid_ds结构体中的sem_nsems成员代表该信号量标示符的信号量个数
主要函数介绍：
创建一个信号量或访问一个已经存在的信号量集。
int semget(key_t key, int nsems, int semflg);
该函数执行成功返回信号量标示符，失败返回-1
参数key是通过调用ftok函数得到的键值，nsems代表创建信号量的个数，如果只是访问而不创建则可以指定该参数为0，我们一旦创建了该信号量，就不能更改其信号量个数，只要你不删除该信号量，你就是重新调用该函数创建该键值的信号量，该函数只是返回以前创建的值，不会重新创建；
semflg 指定该信号量的读写权限，当创建信号量时不许加IPC_CREAT ，若指定IPC_CREAT |IPC_EXCL则创建是存在该信号量，创建失败。
通过semget函数创建一个信号量集程序如下：(semsemget.c)
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <unistd.h> 4 #include <sys/sem.h> 5 #include <sys/ipc.h> 6 #define SEM_R 0400 //用户（属主）读 7 #define SEM_A 0200 //用户（属主）写 8 #define SVSEM_MODE (SEM_R | SEM_A | SEM_R>>3 | SEM_R>>6) 9 10 int main(int argc,char *argv[]) 11 { 12 int c,oflag,semid,nsems; 13 oflag = SVSEM_MODE | IPC_CREAT; //设置创建模式 14 //根据命令行参数e判断是否制定了IPC_EXCL模式 15 while((c = getopt(argc,argv,"e"))!= -1) 16 { 17 switch(c) 18 { 19 case 'e': 20 oflag |= IPC_EXCL; 21 break; 22 } 23 } 24 //判断命令行参数是否合法 25 if (optind != argc -2) 26 { 27 printf("usage: semcreate [-e] <pathname> <nsems>"); 28 exit(0); 29 } 30 //获取信号量集合中的信号量个数 31 nsems = atoi(argv[optind+1]); 32 //创建信号量，通过ftok函数创建一个key，返回信号量 标识符 33 semid = semget(ftok(argv[optind],0),nsems,oflag); 34 exit(0); 35 }
打开一个信号量集后，对其中一个或多个信号量的操作。
int semop(int semid, struct sembuf *sops, unsigned nsops);
该函数执行成功返回0，失败返回-1；
第一个参数semid 为信号量标示符；nops为第二个参数的操作数组的个数，第二个参数sops为一个结构体数组指针，结构体定义在sys/sem.h中，结构体如下
struct sembuf { unsigned short sem_num; /* semaphore index in array */ short sem_op; /* semaphore operation */ short sem_flg; /* operation flags */ };
sem_num 操作信号的下标，其值可以为0 到nops
sem_flg为该信号操作的标志：其值可以为0、IPC_NOWAIT 、 SEM_UNDO
0 在对信号量的操作不能执行的情况下，该操作阻塞到可以执行为止；
IPC_NOWAIT 在对信号量的操作不能执行的情况下，该操作立即返回；
SEM_UNDO当操作的进程推出后，该进程对sem进行的操作将被取消；
sem_op取值 >0 则信号量加上它的值，等价于进程释放信号量控制的资源
sem_op取值 =0若没有设置IPC_NOWAIT， 那么调用进程将进入睡眠状态，直到信号量的值为0，否则进程直接返回
sem_op取值 <0则信号量加上它的值，等价于进程申请信号量控制的资源，若进程设置IPC_NOWAIT则进程再没有可用资源情况下，进程阻塞，否则直接返回。
采用setmop函数对一个信号量执行操作程序如下：(semop.c)
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <unistd.h> 4 #include <sys/sem.h> 5 #include <sys/ipc.h> 6 7 int main(int argc,char *argv[]) 8 { 9 int c,i,flag,semid,nops; 10 struct sembuf *ptr; 11 flag = 0; 12 //根据命令行参数设置操作模式 13 while( ( c = getopt(argc,argv,"nu")) != -1) 14 { 15 switch(c) 16 { 17 case 'n': 18 flag |= IPC_NOWAIT; //非阻塞 19 break; 20 case 'u': 21 flag |= SEM_UNDO; //不可恢复 22 break; 23 } 24 } 25 if(argc - optind < 2) 26 { 27 printf("usage: semops [-n] [-u] <pathname> operation..."); 28 exit(0); 29 } 30 //打开一个已经存在的信号量集合 31 if((semid = semget(ftok(argv[optind],0),0,0)) == -1) 32 { 33 perror("semget() error"); 34 exit(-1); 35 } 36 optind++; //指向当前第一个信号量的位置 37 nops = argc - optind; //信号量个数 38 ptr = calloc(nops,sizeof(struct sembuf)); 39 for(i=0;i<nops;++i) 40 { 41 ptr[i].sem_num = i; //信号量变换 42 ptr[i].sem_op = atoi(argv[optind+i]); //设置信号量的值 43 ptr[i].sem_flg = flag; //设置操作模式 44 } 45 //对信号量执行操作 46 if(semop(semid,ptr,nops) == -1) 47 { 48 perror("semop() error"); 49 exit(-1); 50 } 51 exit(0); 52 }
对信号量执行各种控制操作。
int semctl(int semid, int semnum, int cmd, ...);
该函数执行成功返回非负值，失败返回-1
参数semid为信号集的标识符，参数 semnum标识一个特定信号，该参数仅用于 SETVAL、GETVAL、GETPID命令
cmd控制类型，...说明函数参数是可选的，通过该共用体变量semun选择操作参数，各字段如下：
union semun { int val; /* value for SETVAL */ struct semid_ds __user *buf; /* buffer for IPC_STAT & IPC_SET */ unsigned short __user *array; /* array for GETALL & SETALL */ struct seminfo __user *__buf; /* buffer for IPC_INFO */ void __user *__pad; };
IPC_STAT读取一个信号量集的数据结构semid_ds，并将其存储在semun中的buf参数中。
IPC_SET设置信号量集的数据结构semid_ds中的元素ipc_perm，其值取自semun中的buf参数。
IPC_RMID将信号量集从系统中删除
GETALL用于读取信号量集中的所有信号量的值，存于semnu的array中
SETALL 设置所指定的信号量集的每个成员semval的值
GETPID返回最后一个执行semop操作的进程的PID。
LSETVAL把的val数据成员设置为当前资源数
GETVAL把semval中的当前值作为函数的返回，即现有的资源数，返回值为非负数。
调用semctl函数设置信号量的值程序如下（semsetvalues.c)：
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <unistd.h> 4 #include <sys/sem.h> 5 #include <sys/ipc.h> 6 7 //定义信号量操作共用体结构 8 union semun 9 { 10 int val; 11 struct semid_ds *buf; 12 unsigned short *array; 13 }; 14 15 int main(int argc,char *argv[]) 16 { 17 int semid,nsems,i; 18 struct semid_ds seminfo; 19 unsigned short *ptr; 20 union semun arg; 21 if(argc < 2) 22 { 23 printf("usage: semsetvalues <pathname>[values ...]"); 24 exit(0); 25 } 26 //打开已经存在的信号量集合 27 semid = semget(ftok(argv[1],0),0,0); 28 arg.buf = &seminfo; 29 //获取信号量集的相关信息 30 semctl(semid,0,IPC_STAT,arg); 31 nsems = arg.buf->sem_nsems; //信号量的个数 32 if(argc != nsems + 2 ) 33 { 34 printf("%s semaphores in set,%d values specified",nsems,argc-2); 35 exit(0); 36 } 37 //分配信号量 38 ptr = calloc(nsems,sizeof(unsigned short)); 39 arg.array = ptr; 40 //初始化信号量的值 41 for(i=0;i<nsems;i++) 42 ptr[i] = atoi(argv[i+2]); 43 //通过arg设置信号量集合 44 semctl(semid,0,SETALL,arg); 45 exit(0); 46 }
调用semctl获取信号量的值，程序如下(semgetvalues.c)：
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <unistd.h> 4 #include <sys/sem.h> 5 #include <sys/ipc.h> 6 7 union semun 8 { 9 int val; 10 struct semid_ds *buf; 11 unsigned short *array; 12 }; 13 14 int main(int argc,char *argv[]) 15 { 16 int semid,nsems,i; 17 struct semid_ds seminfo; 18 unsigned short *ptr; 19 union semun arg; 20 if(argc != 2) 21 { 22 printf("usage: semgetvalues<pathname>"); 23 exit(0); 24 } 25 //打开已经存在的信号量 26 semid = semget(ftok(argv[1],0),0,0); 27 arg.buf = &seminfo; 28 //获取信号量集的属性，返回semid_ds结构 29 semctl(semid,0,IPC_STAT,arg); 30 nsems = arg.buf->sem_nsems; //信号量的数目 31 ptr = calloc(nsems,sizeof(unsigned short)); 32 arg.array = ptr; 33 //获取信号量的值 34 semctl(semid,0,GETALL,arg); 35 for(i=0;i<nsems;i++) 36 printf("semval[%d] = %d\n",i,ptr[i]); 37 exit(0); 38 }
System V 信号量是具有内核的持续性，可以结合上面介绍的三个函数和程序进行简单的测试。测试结果如下所示：
演示SEM_UNDO属性，测试结果如下：
