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;
}