【Linux线程同步专题】四、信号量
欢迎关注博主 Mindtechnist 或加入【Linux C/C++/Python社区】一起探讨和分享Linux C/C++/Python/Shell编程、机器人技术、机器学习、机器视觉、嵌入式AI相关领域的知识和技术。
信号量
专栏传送门 :《Linux从小白到大神》 | 系统学习Linux开发、VIM/GCC/GDB/Make工具、Linux文件IO、进程管理、进程通信、多线程等,请关注专栏免费学习。
1. 什么是信号量
信号量相当于进化版的互斥锁。由于互斥锁的粒度比较大,如果我们希望在多个线程间对某一对象的部分数据进行共享,使用互斥锁是没有办法实现的,只能将整个数据对象锁住。这样虽然达到了多线程操作共享数据时保证数据正确性的目的,却无形中导致线程的并发性下降,线程从并行执行变成了串行执行,与直接使用单进程无异。信号量是相对折衷的一种处理方式,既能保证同步,数据不混乱,又能提高线程并发。
可以这么理解,比如说现在有一个资源可以允许三个线程同时访问,如果用互斥量的话,当第一个线程获取互斥锁的时候,后面的线程都会阻塞,这就无法实现三个线程同时访问资源了,会大大降低资源的利用效率。如果使用信号量,那个给信号量一个初值,每有一个线程访问到资源,信号量就减一,当减到0的时候,说明已经满足最多同时访问的线程数量了,后面的线程就不能再访问资源了,会阻塞。
2. 信号量相关API
2.1 初始化一个信号量
- 头文件及函数原型
#include <semaphore.h>
int sem_init(sem_t *sem, int pshared, unsigned int value);
Link with -lrt or -pthread.
-
函数描述
sem_init() initializes the unnamed semaphore at the address pointed to by sem. The value argument specifies the initial value for the semaphore.
-
函数参数
- sem:传输参数,代表信号量,不能小于0。sem_t信号量数据类型,是一个结构体,可以简单理解为类似于文件描述符的东西。sem_t数据类型的实现是对用户隐藏的,所以在后面的++和–操作都是只能通过函数sem_wait和sem_post来实现。信号量的初值决定了占用信号量的线程的个数。
- pshared:
- 0:用于线程间
- 非0:用于进程间
- value:指定信号量初值
-
函数返回值
sem_init() returns 0 on success; on error, -1 is returned, and errno is set to indicate the error.
2.2 销毁一个信号量
- 头文件及函数原型
#include <semaphore.h>
int sem_destroy(sem_t *sem);
Link with -lrt or -pthread.
-
函数描述
sem_destroy() destroys the unnamed semaphore at the address pointed to by sem.
-
函数参数
- sem
-
函数返回值
sem_destroy() returns 0 on success; on error, -1 is returned, and errno is set to indicate the error.
2.3 申请一个信号量(申请成功value–)
- 头文件及函数原型
#include <semaphore.h>
/*--操作*/
int sem_wait(sem_t *sem);
int sem_trywait(sem_t *sem);
int sem_timedwait(sem_t *sem, const struct timespec *abs_timeout);
Link with -lrt or -pthread.
-
函数描述
- sem_wait() decrements (locks) the semaphore pointed to by sem. 信号量大于0,则信号量–,信号量等于0,则线程阻塞。
- sem_trywait() is the same as sem_wait(), except that if the decrement can not be immediately performed, then call returns an error (errno set to EAGAIN) instead of blocking.
- sem_timedwait() is the same as sem_wait(), except that abs_timeout specifies a limit on the amount of time that the call should block if the decrement cannot be immediately performed.
-
函数参数
- sem
-
函数返回值
All of these functions return 0 on success; on error, the value of the semaphore is left unchanged, -1 is returned, and errno is set to indicate the error.
2.4 释放信号量(value++)
- 头文件及函数原型
#include <semaphore.h>
/*++操作*/
int sem_post(sem_t *sem);
Link with -lrt or -pthread.
-
函数描述
sem_post() increments (unlocks) the semaphore pointed to by sem. 信号量++,同时唤醒阻塞在信号量上的线程。
-
函数参数
- sem
-
函数返回值
sem_post() returns 0 on success; on error, the value of the semaphore is left unchanged, -1 is returned, and errno is set to indicate the error.
3. 信号量实现生产者消费者模型
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
#define MAX 6
sem_t blank, ful;
int vector[MAX];
int gdata = 100;
void* producer_th(void* arg)
{
int i = 0;
while(1)
{
sem_wait(&blank);
printf("thread: %s, tid: %lu, data: %d\n", __FUNCTION__,\
pthread_self(), gdata);
vector[(i++)%MAX] = gdata++;
sem_post(&ful);
sleep(rand()%3);
}
return NULL;
}
void* consumer_th(void* arg)
{
int i = 0;
int num = 0;
while(1)
{
sem_wait(&ful);
num = vector[(i++) % MAX];
printf("thread: %s, tid: %lu, data: %d\n", __FUNCTION__,\
pthread_self(), num);
sem_post(&blank);
sleep(rand()%3);
}
return NULL;
}
int main(int argc, char* argv[])
{
sem_init(&blank, 0, MAX); /*生产者*/
sem_init(&ful, 0, 0); /*消费者*/
pthread_t t1, t2;
pthread_create(&t1, NULL, producer_th, NULL);
pthread_create(&t2, NULL, consumer_th, NULL);
pthread_join(t1, NULL);
pthread_join(t2, NULL);
sem_destroy(&blank);
sem_destroy(&ful);
return 0;
}