linux进程间通信--信号量
信号灯(信号量)集
在多任务操作系统环境下，多个进程或线程会同时运行，多个任务可能可能为了完成同一个目标会相互协作，这样形成任务之间的同步关系；同样，在不同任务之间为了争夺有限的系统资源（硬件或软件资源）会进入竞争状态，这就是任务之间的互斥关系
任务之间的同步与互斥关系存在的根源在于临界资源。临界资源是指同一个时刻只允许有限个（通常只有一个）任务可以访问（读）或修改(写)的资源，通常包括硬件资源和软件资源，访问临界资源的代码称为临界区
POSIX 线程中的同步用的是无名信号量
进程间的同步使用的是IPC 对象[信号灯集]
信号灯集：信号灯集合，每一个信号灯都可以用来表示一类资源，其值表示资源的个数
其中信号量（信号灯集）对应于某一种资源，取一个非负整数值，信号量值指的是当前可用的资源数量，若它为0这意味着目前没有可用的资源
1.获得key值
第一种:
key_t ftok(const char *pathname, int proj_id);
参数:
@pathname 已经存在的文件路径
@proj_id 获取这个整数的低8bit
返回值:
成功返回 key值，失败返回-1
第二种:
将key值指定为IPC_PRIVATE ,当IPC对象在亲缘关系进程间通信的时候
(1)创建信号灯集
int semget(key_t key, int nsems, int semflg);
参数:
@key IPC_PRIVATE , ftok()
@nsems 信号灯集中信号灯的个数
@semflg IPC_CREAT | 0666,IPC_CREAT | IPC_EXCL
返回值:
成功返回ID,失败返回-1
(2)初始化信号灯集中信号灯的值
int semctl(int semid, int semnum, int cmd, union semun arg);
参数:
@semid 信号灯集的ID
@semnum 信号灯的编号[编号从0开始]
@cmd SETVAL[设置信号灯的值] ,GETVAL(获取信号灯的值),IPC_RMID[删除信号灯集]
返回值:
成功返回0,失败返回-1
思考:将信号灯集中的1号信号灯初始化为1?
其中arg：是union semnum 结构，可能在某些系统中不给出改结构的定义，这时必须由程序员自己定义
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(Linux-specific) */
};
//初始化指定编号的sem_num信号灯集为value
void init_sem_value(int sem_id,int sem_num,int value)
{
union semun sem_val;
sem_val.val = value;
if(semctl(sem_id,sem_num,SETVAL,sem_val) < 0)
{
...
}
return ;
}
PV原子操作的具体定义：
P操作：如果有可用资源（信号量值大于0），则占用一个资源（信号量值减一，进入临界区代码）；如果没有可用资源（信号值等于0），则被阻塞，直到系统将资源分配给该任务（进入等待队列，一直等到有资源时被唤醒）
V操作：如果该信号量在等待队列中有任务在等待资源，则唤醒一个阻塞任务，如果没有任务等待他，则释放一个资源（信号量值加1）
(3)PV操作
int semop(int semid, struct sembuf *sops, unsigned nsops);
功能: 完成PV操作
参数:
@semid 信号灯集的ID
@sops 操作方式结构体首地址
@nsops 操作信号灯的个数
返回值:
成功返回0,失败返回-1
struct sembuf
{
unsigned short sem_num; /* semaphore number ，信号量的编号，使用单个信号量时，通常取值为0*/
short sem_op; /* semaphore operation 信号量操作，取-1表示P操作，取+1表示V操作*/
short sem_flg; /* operation flags 通常设置为SEM_UNDO,这样在进程没有释放信号量退出时，系统会自动释放该进程中未释放的信号量 */
};
sem_op :
<1>0 等待信号灯的值变成0
<2>1 释放资源,V操作
<3>-1 申请资源,P操作
sem_flg:
0 : 阻塞方式
IPC_NOWAIT : 非阻塞方式调用
SEM_UNDO : 进程结束的时候，它申请的资源自动释放
-----------------------------------------------------------------
P/V操作封装如下：
void P(int sem_id,int sem_num)
{
struct sembuf sem;
sem.sem_num = sem_num;
sem.sem_op = -1;
sem.sem_flg = 0;
if(semop(sem_id,&sem,1) < 0)
{
....
}
}
void V(int sem_id,int sem_num)
{
struct sembuf sem;
sem.sem_num = sem_num;
sem.sem_op = 1;
sem.sem_flg = 0;
if(semop(sem_id,&sem,1) < 0)
{
....
}
}
