- 将可能被多个执行流同时访问的资源叫做临界资源,临界资源需要进行保护否则会出现数据不一致等问题。
- 当我们仅用一个互斥锁对临界资源进行保护时,相当于我们将这块临界资源看作一个整体,同一时刻只允许一个执行流对这块临界资源进行访问。
- 但实际我们可以将这块临界资源再分割为多个区域,当多个执行流需要访问临界资源时,如果这些执行流访问的是临界资源的不同区域,那么我们可以让这些执行流同时访问临界资源的不同区域,此时不会出现数据不一致等问题。
基本概念
进化版的互斥锁(1 --> N)
互斥量用于线程的互斥,信号量用于线程的同步
由于互斥锁的粒度比较大,如果我们希望在多个线程间对某一对象的部分数据进行共享,使用互斥锁是没有办法实现的,只能将整个数据对象锁住。这样虽然达到了多线程操作共享数据时保证数据正确性的目的,却无形中导致线程的并发性下降。线程从并行执行,变成了串行执行。与直接使用单进程无异。
信号量,是相对折中的一种处理方式,既能保证同步,数据不混乱,又能提高线程并发。
主要应用函数
- sem_init() 函数 功能:初始化一个信号量
- sem_wait()函数 功能:给信号量加锁 --
- sem_trywait() 函数 功能:尝试对信号量加锁 --
- sem_timedwait() 函数 功能:限时尝试对信号量加锁 --
- sem_post() 函数 功能:给信号量解锁 ++
- sem_destroy() 函数 功能:销毁一个信号量
以上6 个函数的返回值都是:成功返回0, 失败返回-1,同时设置errno。(注意,它们没有pthread前缀)
sem_t类型,本质仍是结构体。但应用期间可简单看作为整数,忽略实现细节(类似于使用文件描述符)。
sem_t sem; 规定信号量sem不能 < 0。头文件 <semaphore.h>
信号量基本操作
sem_wait: 1. 信号量大于0,则信号量-- (类比pthread_mutex_lock)
| 2. 信号量等于0,造成线程阻塞
对应
|
sem_post: 将信号量++,同时唤醒阻塞在信号量上的线程 (类比pthread_mutex_unlock)
但,由于sem_t的实现对用户隐藏,所以所谓的++、--操作只能通过函数来实现,而不能直接++、--符号。
信号量的初值,决定了占用信号量的线程的个数。
sem_init函数
初始化一个信号量
int sem_init(sem_t *sem, int pshared, unsigned int value);
参1:sem信号量
参2:pshared取0用于线程间;取非0(一般为1)用于进程间
参3:value指定信号量初值
sem_destroy函数
销毁一个信号量
int sem_destroy(sem_t *sem);
sem_wait函数 (重)
给信号量加锁 --
int sem_wait(sem_t *sem);
sem_post函数
给信号量解锁 ++
int sem_post(sem_t *sem);
sem_trywait函数
尝试对信号量加锁 -- (与sem_wait的区别类比lock和trylock)
int sem_trywait(sem_t *sem);
sem_timedwait函数
限时尝试对信号量加锁 --
int sem_timedwait(sem_t *sem, const struct timespec *abs_timeout);
参2:abs_timeout采用的是绝对时间。
生产者消费者信号量模型
使用信号量完成线程间同步,模拟生产者,消费者问题。
/*信号量实现 生产者 消费者问题*/
# include<stdio.h>
# include<pthread.h>
# include<stdlib.h>
# include<unistd.h>
# include<semaphore.h>
# define NUM 5
int queue[NUM];
sem_t blank_number,product_number;//两个信号量控制
void *producer(void *arg)//生产
{
int i = 0;
while(1)
{
sem_wait(&blank_number);//生产者将空格子数--,为0则阻塞等待 空格的位置-1
queue[i] = rand()%1000+1; // 生产一个产品 放入队列
printf("---product------- %d \n", queue[i]);
sem_post(&product_number); //生产的数量+1
i = (i+1) % NUM; //借助下标实现环形 1-N 1-N 循环放入 模拟队列
sleep(rand()%1);
}
}
void *consumer(void *arg) //消费者
{
int i = 0;
while(1)
{
sem_wait(&product_number); //消费者将产品数--,为0则阻塞等待 星星数-1
printf("-Consume--- %d\n", queue[i]);
queue[i]=0; //消费一个产品
sem_post(&blank_number);//消费掉以后,空格数量+1
i =(i+1) % NUM;
sleep(rand()%3);
}
}
int main()
{
pthread_t pid,cid;
sem_init(&blank_number,0,NUM);//初始化空格子信号量为5,线程共享 --0
sem_init(&product_number,0,0); //产品数为0
pthread_create(&pid,NULL,producer,NULL);
pthread_create(&cid,NULL,consumer,NULL);
pthread_join(pid,NULL);
pthread_join(cid,NULL);
sem_destroy(&blank_number);
sem_destroy(&product_number);
return 0;
}
【推演练习】:理解上述模型,推演,如果是两个消费者,一个生产者,是怎么样的情况。