【Linux C | 多线程编程】线程同步 | 信号量(无名信号量) 及其使用例子

2024-04-20 12:36
文章标签 linux 线程 使用 多线程 编程 信号量 同步 例子 无名

本文主要是介绍【Linux C | 多线程编程】线程同步 | 信号量(无名信号量) 及其使用例子，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

😁博客主页😁：🚀https://blog.csdn.net/wkd_007🚀
🤑博客内容🤑：🍭嵌入式开发、Linux、C语言、C++、数据结构、音视频🍭
🤣本文内容🤣：🍭介绍 🍭
😎金句分享😎：🍭你不能选择最好的，但最好的会来选择你——泰戈尔🍭
⏰发布时间⏰：

本文未经允许，不得转发！！！

目录

  • 🎄一、概述
    • ✨1.1 二值信号量、计数信号量
    • ✨1.2 System V信号量、POSIX信号量
  • 🎄二、无名信号量
    • ✨2.1 初始化无名信号量 | sem_init
    • ✨2.2 销毁无名信号量 | sem_destroy
    • ✨2.3 等待信号量 | sem_wait
    • ✨2.4 发布信号量 | sem_post
    • ✨2.5 获取信号量的值 | sem_getvalue
  • 🎄三、二值信号量的使用例子
    • ✨3.1 信号量在临界区的使用
    • ✨3.2 信号量在“生产者-消费者”模式的使用
  • 🎄四、计数信号量的使用例子
  • 🎄五、总结

在这里插入图片描述

🎄一、概述

信号量是由E.W.Dijkstra为互斥和同步的高级管理提出的概念。它支持两种原子操作，一个是wait操作(减少信号量的值)，另一个是post操作(增加信号量的值)。

一般来说， 信号量是和某种预先定义的资源相关联的。信号量元素的值，表示与之关联的资源的个数。内核会负责维护信号量的值，并确保其值不小于0。

✨1.1 二值信号量、计数信号量

信号量按照初始化的信号量值，可以分为使用二值信号量(binary semaphore)和计数信号量(counting semaphore)

  • 二值信号量：是使用最广泛的信号量。 对于这种信号量而言，它只有两种合法值：0和1，对应一个可用的资源。若当前有资源可用，则与之对应的二值信号量的值为1；若资源已被占用，则与之对应的二值信号量的值为0。
  • 计数信号量：资源个数超过1个的信号量。假设计数信号量初始化的信号量值为5，表示该信号量有6中合法值：0、1、2、3、4、5。当取值为0时，表示没有资源可用了；其他合法值则表示资源的剩余数量。

✨1.2 System V信号量、POSIX信号量

Linux系统中提供了两个信号量实现，一种是System V信号量，另一种是POSIX信号量，它们的作用是相同的，都是用于同步进程之间及线程之间的操作，以达到无冲突地访问共享资源的目的。

下面是System V信号量的相关接口函数：

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
int semget(key_t key, int nsems, int semflg);
int semctl(int semid, int semnum, int cmd,/* union semun arg*/);
int semop(int semid, struct sembuf *sops, unsigned nsops);

POSIX信号量提供了两类： 有名信号量和无名信号量。
有名信号量由于其有名字， 多个不相干的进程可以通过名字来打开同一个信号量， 从而完成同步操作， 所以有名信号量的操作要方便一些， 适用范围也比无名信号量更广。
有名信号量的函数接口与无名信号量基本相同，就是初始化和销毁有区别，下面是有名信号量的初始化、销毁接口：

sem_t *sem_open(const char *name, int oflag);
sem_t *sem_open(const char *name, int oflag, mode_t mode, unsigned int value);
sem_close(sem_p);
sem_unlink(sem_p);

而无名信号量，由于没有名字多用于线程之间，也是本文重点节点的信号量，下文都是所说的信号量，都特指这种用于多线程同步的无名信号量。

在这里插入图片描述

🎄二、无名信号量

无名信号量， 又称为基于内存的信号量，由于其没有名字，没法通过open操作直接找到对应的信号量，所以很难直接用于没有关联的两个进程之间。无名信号量多用于线程之间的同步。因为线程会共享地址空间， 所以访问共同的无名信号量是很容易办到的事情。

✨2.1 初始化无名信号量 | sem_init

无名信号量的初始化是通过sem_init函数来完成的。

#include <semaphore.h>
int sem_init(sem_t *sem, int pshared, unsigned int value);
Link with -pthread.
  • 函数描述：初始化sem指针指向的无名信号量。
  • 函数参数：
    • sem：要初始化的无名信号量地址；
    • pshared：用于声明信号量是在线程间共享还是在进程间共享。0表示在线程间共享，非零值则表示信号量将在进程间共享。 要想在进程间共享，信号量必须位于共享内存区域内。
    • value：指定的信号量初始值。
  • 返回值：成功返回 0， 失败返回 -1 并设置errno。

✨2.2 销毁无名信号量 | sem_destroy

销毁无名信号量的接口定义如下：

#include <semaphore.h>
int sem_destroy(sem_t *sem);
  • 函数描述：销毁sem指针指向的无名信号量。必须是sem_init函数初始化过的。
  • 函数参数：
    • sem：要销毁的无名信号量地址；
  • 返回值：成功返回 0， 失败返回 -1 并设置errno。

✨2.3 等待信号量 | sem_wait

信号量总是和某种资源关联在一起，申请资源时，需要先调用sem_wait函数。函数原型如下：

#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);
  • 函数描述：这三个函数都是用于等待信号量， 它会将信号量的值减1。如果函数正处于阻塞，被信号中断，则返回-1，并且置errno为EINTR。
    • sem_wait：若信号量值大于0， 那么sem_wait函数将信号量的值减1之后会立刻返回。否则sem_wait函数陷入阻塞，待信号量的值大于0之后，再执行减1操作，然后成功返回。
    • sem_trywait：若信号量值大于0，那么sem_trywait函数将信号量的值减1之后会立刻返回。否则sem_trywait立刻返回失败， 并置errno为EAGAIN。
    • sem_timedwait：若信号量值大于0，那么sem_timedwait函数将信号量的值减1之后会立刻返回。否则sem_timedwait会等待一段时间，如果超过了等待时间，信号量的值仍为0，那么返回 -1，并置errno为ETIMEOUT。
  • 函数参数：
    • sem：要等待的无名信号量地址；
    • abs_timeout：是一个绝对时间，可以使用gettimeofday函数或clock_gettime函数获取当前时间，再加上想等待的时间，最后将相加的值转换成struct timespec类型传给 sem_timedwait。
  • 返回值：成功返回 0， 失败返回 -1 并设置errno。

✨2.4 发布信号量 | sem_post

前面介绍了信号量申请资源时要调用的函数，这小节介绍归还资源时信号量调用的函数 sem_post ，函数原型如下：

#include <semaphore.h>
int sem_post(sem_t *sem);
  • 函数描述：用于发布信号量，表示已经完成了对资源使用，可以归还资源了。
    如果发布信号量之前， 信号量的值是0，并且已经有线程正等待在该信号量上，调用sem_post之后，会有一个线程被唤醒，被唤醒的线程会继续sem_wait函数的减1操作。 如果有多个线程正等待在信号量上，那么将无法确认哪个线程会被唤醒。
  • 函数参数：
    • sem：要发布的无名信号量地址；
  • 返回值：成功返回 0， 失败返回 -1 并设置errno。
    参数指向非法的信号量地址时，会置errno为EINVAL。
    当信号量的值超过上限（即超过INT_MAX）时，置errno为EOVERFLOW。

✨2.5 获取信号量的值 | sem_getvalue

信号量的值可以通过 sem_getvalue 获取，函数原型如下：

#include <semaphore.h>
int sem_getvalue(sem_t *sem, int *sval);
  • 函数描述：sem_getvalue函数会返回当前信号量的值， 并将值写入sval指向的变量.
    如果值大于0，表示不需要等待；如果值为0，表示再申请资源时需要等待。这个值不会为负数，并且其返回的值可能已经过时了。
  • 函数参数：
    • sem：要获取值的无名信号量地址；
    • sval：传出参数，用于存放信号量值的int型地址。
  • 返回值：成功返回 0， 失败返回 -1 并设置errno。

在这里插入图片描述

🎄三、二值信号量的使用例子

首先了解一下什么是临界区，所谓临界区， 是指同一时间只能容许一个线程进入的一系列操作。

二值信号量是最常用的信号量，在Linux多线程编程中，二值信号量主要有两种用法：一是可以像互斥量一样，对临界区加锁，防止多个线程并发进入临界区。二是可以像条件变量一样，在“生产者-消费者”模式的多个线程进行同步地访问共享资源。

✨3.1 信号量在临界区的使用

下面代码是使用信号量来加锁临界区，使多个线程不会并发地进入临界区操作。这个用法看起来很像互斥量。

// 10_sem_mutex.c
// gcc 10_sem_mutex.c -l pthread
#include <stdio.h>
#include <pthread.h>
#include <semaphore.h>
int g_Count = 0;
sem_t g_sem;
void *func(void *arg)
{int i=0;for(i=0; i<10000000; i++){sem_wait(&g_sem);g_Count++;sem_post(&g_sem);}return NULL;
}int main()
{sem_init(&g_sem, 0, 1);// 创建4个线程pthread_t threadId[4];int i=0;for(i=0; i<4; i++){pthread_create(&threadId[i], NULL, func, NULL);}for(i=0; i<4; i++){pthread_join(threadId[i],NULL);printf("join threadId=%lx\n",threadId[i]);}printf("g_Count=%d\n",g_Count);sem_destroy(&g_sem);return 0;
}

运行结果如下，从结果看，也是发挥了锁住临界区的作用：
在这里插入图片描述

✨3.2 信号量在“生产者-消费者”模式的使用

下面代码是信号量在“生产者-消费者”模式的使用，一些线程等待信号量，在另一些线程发布信号量。代码是参考上篇文章介绍条件变量的示例代码修改的，感兴趣的去可以看看。

代码里也有使用到互斥量，因为存在多个线程访问共享资源的情况，虽然也可以使用另一个信号量来做互斥，但那样的代码看起来就很困难。

// 10_producer_consumer_sem.c
// gcc 10_producer_consumer_sem.c -lpthread
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <semaphore.h>
#include <string.h>
#include <errno.h>
#include "linux_list.h"#define  COMSUMER_NUM	2typedef struct _product
{struct list_head list_node;int product_id;
}product_t;struct list_head productList;// 头结点
pthread_mutex_t product_mutex = PTHREAD_MUTEX_INITIALIZER;	// productList 的互斥量
sem_t 			g_sem;// 生产者线程，1秒生成一个产品放到链表
void *th_producer(void *arg)
{int id = 0;while(1){product_t *pProduct = (product_t*)malloc(sizeof(product_t));pProduct->product_id = id++;pthread_mutex_lock(&product_mutex);list_add_tail(&pProduct->list_node, &productList);pthread_mutex_unlock(&product_mutex);sem_post(&g_sem);sleep(1);}return NULL;
}// 消费者线程，1秒消耗掉一个产品
void *th_consumer(void *arg)
{while(1){pthread_mutex_lock(&product_mutex);while(list_empty(&productList)) // 条件不满足{pthread_mutex_unlock(&product_mutex);sem_wait(&g_sem);pthread_mutex_lock(&product_mutex);}// 不为空，则取出一个product_t* pProduct = list_entry(productList.next, product_t, list_node);// 获取第一个节点printf("consumer[%d] get product id=%d\n", *((int*)arg), pProduct->product_id);list_del(productList.next); // 删除第一个节点free(pProduct);pthread_mutex_unlock(&product_mutex);}return NULL;
}int main()
{INIT_LIST_HEAD(&productList);	// 初始化链表sem_init(&g_sem, 0, 1);			// 初始化信号量// 创建生产者线程pthread_t producer_thid;pthread_create(&producer_thid, NULL, th_producer, NULL);// 创建消费者线程pthread_t consumer_thid[COMSUMER_NUM];int i=0, num[COMSUMER_NUM]={0,};for(i=0; i<COMSUMER_NUM; i++){num[i] = i;pthread_create(&consumer_thid[i], NULL, th_consumer, &num[i]);}// 等待线程pthread_join(producer_thid, NULL);for(i=0; i<COMSUMER_NUM; i++){pthread_join(consumer_thid[i], NULL);}sem_destroy(&g_sem);return 0;
}

运行结果如下，使生产者线程、消费者线程同步访问资源：
在这里插入图片描述

在这里插入图片描述

🎄四、计数信号量的使用例子

计数信号量是指初始化时信号值大于1的信号量，它可以与多个相同的资源关联，允许多个线程并发的使用多个资源。在某种程度上来说，计数信号量是对互斥量的一个扩展，互斥量是同一时间内只允许一个线程访问共享资源，而计数信号量允许多个线程并发访问共享资源。

可以用下面这个例子来加深理解：
1、互斥量相当于只有一个洗手间和一把钥匙，要想进入这个洗手间就要先拿到钥匙，进入洗手间，使用完又把钥匙放回去。
2、计数信号量相当于公共卫生间里的4个厕所和4把钥匙，要想进入厕所就先看看还有几把钥匙，如果没钥匙了就等待，有钥匙放出来就拿钥匙开锁进入洗手间。

下面以上厕所为例，举个计数信号量的例子，8个线程准备使用4个厕所资源，每个线程上两次厕所：

// 10_sem_multiple.c
// gcc 10_sem_multiple.c -lpthread
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <semaphore.h>
#include <string.h>#define  TOILET_NUM		4
#define  PEOPLE_NUM 	8int 			toilets[TOILET_NUM] = {0,};		// 4个蹲厕
pthread_mutex_t toilet_mutex = PTHREAD_MUTEX_INITIALIZER;	// toilets 的互斥量
sem_t 			g_sem;int getToilet()
{int i=0;for(i=0; i<TOILET_NUM; i++){if(toilets[i] == 0)break;}return i;
}int sem_value()
{int semvalue = 0;sem_getvalue(&g_sem, &semvalue);return semvalue;
}// 上厕所线程
void *going_to_the_toilet(void *arg)
{int id = *((int*)arg);int count = 2;while(count-->0){printf("线程[%d] 等待厕所，厕所数量=%d\n",id, sem_value());sem_wait(&g_sem);pthread_mutex_lock(&toilet_mutex);	// 厕所有多个线程访问，加锁int i = getToilet();if(getToilet()==TOILET_NUM){printf("线程[%d], No toilet\n",id);}else{toilets[i] = 1;		// 表示进入该厕所printf("线程[%d] 进入厕所[%d], 即将工作 2s\n",id, i);pthread_mutex_unlock(&toilet_mutex); // 上厕所前先释放锁，让其他人可以访问厕所资源sleep(2);		// 正在上厕所...pthread_mutex_lock(&toilet_mutex);toilets[i] = 0;printf("线程[%d] 完成工作，厕所[%d]空闲\n",id, i);}pthread_mutex_unlock(&toilet_mutex);sem_post(&g_sem);sleep(1);	// 释放资源后，休眠1秒，确保资源让出去}return NULL;
}int main()
{sem_init(&g_sem, 0, TOILET_NUM);// 初始化信号量值为4// 创建线程pthread_t people_thid[PEOPLE_NUM];int i=0, num[PEOPLE_NUM]={0,};for(i=0; i<PEOPLE_NUM; i++){num[i] = i;pthread_create(&people_thid[i], NULL, going_to_the_toilet, &num[i]);}// 等待线程for(i=0; i<PEOPLE_NUM; i++){pthread_join(people_thid[i], NULL);}sem_destroy(&g_sem);return 0;
}

运行结果如下：
在这里插入图片描述

在这里插入图片描述

🎄五、总结

👉本文介绍了信号量的一些基础知识，然后描述了在多线程编程下使用无名信号量的几个场景，并给出了使用例子。

在这里插入图片描述
如果文章有帮助的话，点赞👍、收藏⭐，支持一波，谢谢 😁😁😁

这篇关于【Linux C | 多线程编程】线程同步 | 信号量(无名信号量) 及其使用例子的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/920272。

相关文章

Python虚拟环境终极(含PyCharm的使用教程)

Python虚拟环境终极(含PyCharm的使用教程)

《Python虚拟环境终极(含PyCharm的使用教程)》：本文主要介绍Python虚拟环境终极(含PyCharm的使用教程),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,... 目录一、为什么需要虚拟环境？二、虚拟环境创建方式对比三、命令行创建虚拟环境（venv）3.1 基础命令3
阅读更多...
Python Transformer 库安装配置及使用方法

Python Transformer 库安装配置及使用方法

《PythonTransformer库安装配置及使用方法》HuggingFaceTransformers是自然语言处理（NLP）领域最流行的开源库之一,支持基于Transformer架构的预训练模... 目录python 中的 Transformer 库及使用方法一、库的概述二、安装与配置三、基础使用：Pi
阅读更多...
关于pandas的read_csv方法使用解读

关于pandas的read_csv方法使用解读

《关于pandas的read_csv方法使用解读》：本文主要介绍关于pandas的read_csv方法使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录pandas的read_csv方法解读read_csv中的参数基本参数通用解析参数空值处理相关参数时间处理相关
阅读更多...
使用Node.js制作图片上传服务的详细教程

使用Node.js制作图片上传服务的详细教程

《使用Node.js制作图片上传服务的详细教程》在现代Web应用开发中,图片上传是一项常见且重要的功能,借助Node.js强大的生态系统,我们可以轻松搭建高效的图片上传服务,本文将深入探讨如何使用No... 目录准备工作搭建 Express 服务器配置 multer 进行图片上传处理图片上传请求完整代码示例
阅读更多...
SpringBoot条件注解核心作用与使用场景详解

SpringBoot条件注解核心作用与使用场景详解

《SpringBoot条件注解核心作用与使用场景详解》SpringBoot的条件注解为开发者提供了强大的动态配置能力,理解其原理和适用场景是构建灵活、可扩展应用的关键,本文将系统梳理所有常用的条件注... 目录引言一、条件注解的核心机制二、SpringBoot内置条件注解详解1、@ConditionalOn
阅读更多...
Python中使用正则表达式精准匹配IP地址的案例

Python中使用正则表达式精准匹配IP地址的案例

《Python中使用正则表达式精准匹配IP地址的案例》Python的正则表达式(re模块)是完成这个任务的利器,但你知道怎么写才能准确匹配各种合法的IP地址吗,今天我们就来详细探讨这个问题,感兴趣的朋... 目录为什么需要IP正则表达式？IP地址的基本结构基础正则表达式写法精确匹配0-255的数字验证IP地
阅读更多...
使用Python实现全能手机虚拟键盘的示例代码

使用Python实现全能手机虚拟键盘的示例代码

《使用Python实现全能手机虚拟键盘的示例代码》在数字化办公时代,你是否遇到过这样的场景：会议室投影电脑突然键盘失灵、躺在沙发上想远程控制书房电脑、或者需要给长辈远程协助操作？今天我要分享的Pyth... 目录一、项目概述：不止于键盘的远程控制方案1.1 创新价值1.2 技术栈全景二、需求实现步骤一、需求
阅读更多...
Spring LDAP目录服务的使用示例

Spring LDAP目录服务的使用示例

《SpringLDAP目录服务的使用示例》本文主要介绍了SpringLDAP目录服务的使用示例... 目录引言一、Spring LDAP基础二、LdapTemplate详解三、LDAP对象映射四、基本LDAP操作4.1 查询操作4.2 添加操作4.3 修改操作4.4 删除操作五、认证与授权六、高级特性与最佳
阅读更多...
Qt spdlog日志模块的使用详解

Qt spdlog日志模块的使用详解

《Qtspdlog日志模块的使用详解》在Qt应用程序开发中,良好的日志系统至关重要,本文将介绍如何使用spdlog1.5.0创建满足以下要求的日志系统,感兴趣的朋友一起看看吧... 目录版本摘要例子logmanager.cpp文件main.cpp文件版本spdlog版本：1.5.0采用1.5.0版本主要
阅读更多...
Java中使用Hutool进行AES加密解密的方法举例

Java中使用Hutool进行AES加密解密的方法举例

《Java中使用Hutool进行AES加密解密的方法举例》AES是一种对称加密,所谓对称加密就是加密与解密使用的秘钥是一个,下面：本文主要介绍Java中使用Hutool进行AES加密解密的相关资料... 目录前言一、Hutool简介与引入1.1 Hutool简介1.2 引入Hutool二、AES加密解密基础
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2