- 论坛徽章:
- 0
|
我们知道,多个进程访问同一块数据,可能会引起数据的不一致性,所以我们使用信号量来同步。一般是在访问共享数据前,进行P操作,访问共享数据之后进行V操作。P操作是对资源量进行减1,如果为资源量为0,则进程挂起,等待别的进程释放此类资源,如果不为0,则访问共享资源。V操作是对资源量进行加1,如果资源量大于0,则唤醒正在等待此资源的进程。
OK,我看项目的代码,提供的对共享资源信号量的处理一般是这样:
if ( semop(psi_semid, &lock[0], 2) == -1 )
perror("appOpen: semdown");
。。。。。。(对共享数据进行操作)
if ( semop(psi_semid, &unlock[0], 1) == -1 )
perror("appOpen: semup");
其中,lock和unlock的定义是:
struct sembuf lock[2] = {{0,0,0},{0, 1, SEM_UNDO}};
struct sembuf unlock[1] = {{0, -1, IPC_NOWAIT|SEM_UNDO}};
可以看到,在对共享资源进行访问之前,我们执行的是semop(psi_semid, &lock[0], 2),lock[0] ={0,0,0},表示等待资源量为0,lock[1]={0,1,SEM_UNDO},表示释放1个资源量,这两个动作作为原子操作一起执行,实现对临界资源进行加锁的目的。
我的疑惑是,为什么对临界资源进行加锁,需要这两个动作一起做?按照代码的意思,就与我开头说的概念相反了,即代码是先V,再P。哪位大虾指点?多谢! |
|