int semtimedop(int semid, struct sembuf *sops, unsigned nsops, struct timespec *timeout);
sem_op:若是其值为正数,该值会加到现有的信号内含值中。一般用于释放所控资源的使用权;若是sem_op的 值为负数,而其绝对值又大于信号的现值,操做将会阻塞,直到信号值大于或等于sem_op的绝对值。一般用于获取资源的使用权;若是sem_op的值为 0,则操做将暂时阻塞,直到信号的值变为0。
SEM_UNDO //程序结束时(不论正常或不正常),保证信号值会被重设为semop()调用前的值。这样作的目的在于避免程序在异常状况下结束时未将锁定的资源解锁,形成该资源永远锁定。
============================================================================
semctl()
系统调用:semctl();
原型:int semctl(int semid,int semnum,int cmd,union semunarg);
返回值:若是成功,则为一个正数。
若是失败,则为-1:errno=EACCESS(权限不够)
EFAULT(arg指向的地址无效)
EIDRM(信号量集已经删除)
EINVAL(信号量集不存在,或者semid无效)
EPERM(EUID没有cmd的权利)
ERANGE(信号量值超出范围)
系统调用semctl用来执行在信号量集上的控制操做。这和在消息队列中的系统调用msgctl是十分类似的。但这两个系统调用的参数略有不一样。由于信号 量通常是做为一个信号量集使用的,而不是一个单独的信号量。因此在信号量集的操做中,不但要知道IPC关键字值,也要知道信号量集中的具体的信号量。这两 个系统调用都使用了参数cmd,它用来指出要操做的具体命令。两个系统调用中的最后一个参数也不同。在系统调用msgctl中,最后一个参数是指向内核 中使用的数据结构的指针。咱们使用此数据结构来取得有关消息队列的一些信息,以及设置或者改变队列的存取权限和使用者。但在信号量中支持额外的可选的命 令,这样就要求有一个更为复杂的数据结构。
系统调用semctl()的第一个参数是关键字值。第二个参数是信号量数目。
参数cmd中可使用的命令以下:
·IPC_STAT读取一个信号量集的数据结构semid_ds,并将其存储在semun中的buf参数中。
·IPC_SET设置信号量集的数据结构semid_ds中的元素ipc_perm,其值取自semun中的buf参数。
·IPC_RMID将信号量集从内存中删除。
·GETALL用于读取信号量集中的全部信号量的值。
·GETNCNT返回正在等待资源的进程数目。
·GETPID返回最后一个执行semop操做的进程的PID。
·GETVAL返回信号量集中的一个单个的信号量的值。
·GETZCNT返回这在等待彻底空闲的资源的进程数目。
·SETALL设置信号量集中的全部的信号量的值。
·SETVAL设置信号量集中的一个单独的信号量的值。
参数arg表明一个semun的实例。semun是在linux/sem.h中定义的:
/*arg for semctl systemcalls.*/
unionsemun{
intval;/*value for SETVAL*/
structsemid_ds*buf;/*buffer for IPC_STAT&IPC_SET*/
ushort*array;/*array for GETALL&SETALL*/
structseminfo*__buf;/*buffer for IPC_INFO*/
void*__pad;
val当执行SETVAL命令时使用。buf在IPC_STAT/IPC_SET命令中使用。表明了内核中使用的信号量的数据结构。array在使用GETALL/SETALL命令时使用的指针。
下面的程序返回信号量的值。当使用GETVAL命令时,调用中的最后一个参数被忽略:
intget_sem_val(intsid,intsemnum)
{
return(semctl(sid,semnum,GETVAL,0));
}
下面是一个实际应用的例子:
#defineMAX_PRINTERS5
printer_usage()
{
int x;
for(x=0;x<MAX_PRINTERS;x++)
printf("Printer%d:%d\n\r",x,get_sem_val(sid,x));
}
下面的程序能够用来初始化一个新的信号量值:
void init_semaphore(int sid,int semnum,int initval) { union semunsemopts; semopts.val=initval; semctl(sid,semnum,SETVAL,semopts); }
注意系统调用semctl中的最后一个参数是一个联合类型的副本,而不是一个指向联合类型的指针。 #include <sys/types.h> #include <sys/ipc.h> #include <sys/sem.h> #include <stdio.h> #include <stdlib.h> #include <sys/shm.h> #define KEY1 1492 #define KEY2 1493 #define KEY3 1494 #define IFLAGS (IPC_CREAT|IPC_EXCL) #define N 1 #define SEMKEY1 (key_t)0x2000 #define SEMKEY2 (key_t)0x2001 #define SEMKEY3 (key_t)0x2002 union semun{ int val; struct semid_ds *buf; unsigned short * ary; }; int ctr_sem(key_t key,int inival) { union semun argument; int id; //if ((id=semget(key,1,IPC_CREAT))<0) if ((id=semget(key,1,IPC_CREAT))<0) { printf("semget error\n"); } argument.val=inival; if (semctl(id,0,SETVAL,argument)<0) { printf("semctrl error\n"); } return id; } int sem_init(key_t key, int inival) { int semid; union semun arg; semid=semget(key,1,0660|IFLAGS); arg.val=inival; semctl(semid, 0, SETVAL, arg); return semid; } void P(int semid) { struct sembuf sb; sb.sem_num=0; sb.sem_op=-1; sb.sem_flg=0; semop(semid,&sb,1); } void V(int semid) { struct sembuf sb; sb.sem_num=0; sb.sem_op=1; sb.sem_flg=0; semop(semid,&sb,1); } int productItem() { static int i=1; printf("Produce a product %d\n",i); return i++; } void consumeItem(int item) { printf("Consume a product %d\n",item); } int main(void) { int nshm=shmget(ftok("/root",'a'),1024,IPC_CREAT); int *buffer=(int *)shmat(nshm,0,0); // int products=ctr_sem(KEY1/*ftok("/home/jingenl",'p')*/,0); // int space=ctr_sem(KEY2/*ftok("/home/jingenl",'s')*/,N); // int mutex=ctr_sem(KEY3/*ftok("/home/jingenl",'m')*/,1); int products=sem_init(SEMKEY1,0); int space=sem_init(SEMKEY2,N); int mutex=sem_init(SEMKEY3,1); int i=0,j=0; if(fork()==0) { int item; while(1) { P(space); P(mutex); item=productItem(); *(buffer + sizeof(int)*i)=item; i=(i+1)%N; V(mutex); V(products); } } else { int item; while(1) { P(products); P(mutex); item=*(buffer + sizeof(int)*j); j=(j+1)%N; consumeItem(item); V(mutex); V(space); } } return 0; }