Linux中,基于system V的进程间通信还有二元信号量的通信方式,但严格意义上来说,信号量并不具备数据交换的功能,它本质是一把数据操作锁。通过控制其他的通信资源(⽂件,外部设备)来实现进程间通信,它本⾝只是⼀种外部资源的标识。信号量在此过程中负责数据操作的互斥、同步等功能。
为了防⽌出现因多个程序同时访问⼀个共享资源⽽引发的⼀系列问题,我们需要⼀种⽅法,它可以通过⽣成并使⽤令牌来授权,在任⼀时刻只能有⼀个执⾏线程访问代码的临界区域。临界区域是指执⾏数据更新的代码需要独占式地执⾏。⽽信号量就可以提供这样的⼀种访问机制,让⼀个临界区同⼀时间只有⼀个线程在访问它, 也就是说信号量是⽤来调协进程对共享资源的访问的。其中共享内存的使⽤就要⽤到信号量。
消息队列就是通过两个进程访问一块内核中的公共资源,而产生的的进程间通信,但是,若是在访问这块公共资源时,二者没有互斥与同步机制,那么必然会造成对 公共资源的访问出现问题。
互斥:
假如现在有只有一台电脑,而有两个以上的人需要使用电脑,那么实际情况应该怎么分配呢?很明显,只能等一个人使用完之后,另一个人再使用。为了不被人打扰,前一个人在使用的时候,给旁边立个牌子,写上:正在使用,请勿打扰。然后第二个人就一直在等(在进程中就是阻塞式等待)。现在的重点在这块牌子上,这就保证了二者没有同一时间使用,而不会引发二个人的冲突。这就是互斥机制。
同步:
那假如前一个人一次只使用两分钟,或更短时间,每次结束后,第二个人刚准备去使用电脑,前一个人又重新坐下,反复这个动作,第二个人就无法使用,但是在互斥机制上也完全符合规则。同步机制就在于解决将这种情况,只要前一个人起身,不使用电脑了,那么就只能重新排队,换下一个人使用。
同样,在进程中,也是如此,我们不妨把两个人的角色改为两个进程,那个电脑作为公共资源,则完全符合我们对于进程的认识。
所以,信号量就相当于一个第三方的同步互斥机制来保护一块公共资源,因为两个进程都可以看到信号量,那么信号量也是一个公共资源,则我们必须保证信号量的原子操作。防止在信号量的访问中,另外有进程来访问信号量,更改信号量的值,而造成第二个进程执行完后返回第一个进程造成的信号量的变化而导致的对于公共资源(邻界资源)的保护失效。我们可以假设此时只有一份邻界资源,那么信号量的值为1时代表可用,为0时代表邻界资源正在有进程使用。
当为1时,有进程来需要使用这个邻界资源,那么要对信号量减一将其变为0,而减一的操作并不是一步执行的。而是由cpu从内存读入1到寄存器中,再对1减一,最后再将减完的1(即0),写入到内存中,可见,有三步操作。而不论在任何一步中还有进程对信号量进行操作,必然导致问题。
看图:
原子操作:
所谓的原子操作就是将原来的三步操作变为一步,即在别的进程访问信号量后返回到当前进程,也不会对当前进程造成影响。
信号量的函数:
#include
#include
#include
int semget(key_t key, int nsems, int semflg);
int nsems代表这个信号量集里有几个信号量,今天我们的测试代码只需一个,semflg与msgget的含义相同:代表创建方式和权限。
#include
#include
#include
int semctl(int semid, int semnum, int cmd, ...);
semnum表示需要进行控制的第几号信号量,我们只有一个所以当然是他的下标0。cmd表示需要进行控制的方式。
semctl() 在 semid 标识的信号量集上,或者该集合的第 semnum 个信号量上执⾏ cmd 指定的控制命令。(信号量集合索引起始于零。)根据 cmd 不同,这个函数有三个或四个参数。当有四个参数时,第四个参数的类型是 union
。调⽤程序必须按照下⾯⽅式定义这个联合体:
union semun {
int val; // 使⽤的值
struct semid_ds *buf; // IPC_STAT、IPC_SET 使⽤缓存区
unsigned short *array; // GETALL,、SETALL 使⽤的数组
struct seminfo *__buf; // IPC_INFO(Linux特有) 使⽤缓存区
};
#include
#include
#include
int semop(int semid, struct sembuf *sops, unsigned nsops);
int semtimedop(int semid, struct sembuf *sops, unsigned nsops,struct timespec *timeout);
struct sembuf{
unsigned short sem_num; /* semaphore number */
short sem_op; /* semaphore operation */
short sem_flg; /* operation flags */
};
注意:该联合体没有定义在任何系统头⽂件中,因此得⽤户⾃⼰声明。
#include
#include
int main()
{
pid_t id=fork();
if(id<0)
{
perror("fork");
return -1;
}
if(id==0)
{
while(1)
{
printf("A");
fflush(stdout);
sleep(1);
printf("A");
fflush(stdout);
sleep(1);
}
}
else
{
while(1)
{
printf("B");
fflush(stdout);
sleep(1);
printf("B");
fflush(stdout);
sleep(1);
}
}
return 0;
}
//头文件:comm.h
#include
#include
#include
#include
#include
#include
#define KEY_PATH "."
#define PROJECT_ID 88
// struct sembuf{
// unsigned short sem_num; /* semaphore number */
// short sem_op; /* semaphore operation */
// short sem_flg; /* operation flags */
// };
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*/
};
union semun Semun;
int creatsem(int nums)
{
key_t key = ftok(KEY_PATH,PROJECT_ID);
int semid = semget(key,nums,IPC_CREAT|IPC_EXCL|0666);
if(semid<0)
{
perror("semget");
return -2;
}
return semid;
}
int init_sem(int semid,int val)
{
Semun.val=val;
int ret = semctl(semid,0,SETVAL,Semun);
if(ret<0)
{
perror("semctl");
return -3;
}
return ret;
}
int getsemid(int num)
{
key_t key=ftok(KEY_PATH,PROJECT_ID);
int semid = semget(key,0,0);
if(semid<0)
{
perror("semget");
return -4;
}
return semid;
}
static int sem_op(int semid,int op,int which)
{
struct sembuf sem;
memset(&sem,'\0',sizeof(sem));
sem.sem_num=which;
sem.sem_op=op;
sem.sem_flg=0;
return semop(semid,&sem,1);
}
int P(int semid,int which)
{
int ret = sem_op(semid,-1,which);
if(ret!=0)
{
printf("P operator failed\n");
return -5;
}
}
int V(int semid,int which)
{
int ret = sem_op(semid,1,which);
if(ret<0)
{
printf("V operator failed\n");
return -6;
}
}
int destroysem(int semid)
{
int ret = semctl(semid,0,IPC_RMID,NULL);
if(ret<0)
{
perror("semget");
return -7;
}
return 0;
}
//mysem.c
#include "comm.h"
int main()
{
int semid=creatsem(1);
init_sem(semid,1);
pid_t id=fork();
if(id<0)
{
perror("fork");
return -8;
}
if(0==id)
{
while(1)
{
P(semid,0);
printf("A");
fflush(stdout);
usleep(1000);
printf("A");
fflush(stdout);
usleep(1000);
V(semid,0);
}
}
else
{
while(1)
{
P(semid,0);
printf("B");
fflush(stdout);
usleep(1000);
printf("B");
fflush(stdout);
usleep(1000);
V(semid,0);
}
}
return 0;
}
可见,没有经过信号量保护的程序输出的AB不一定是成对的,但是我们的预期就是成对出现,所以与我们的预期结果完全不符。
那么经过信号量保护的程序则是AABB完全成对输出。保证了对一个邻界资源访问期间的完全占有。
若有错误,请指出!谢谢!