嵌入式Linux:线程同步(条件变量)

原创 美男子玩编程 2025-01-14 08:00

点击上方蓝色字体,关注我们


在Linux环境下,条件变量(Condition Variables)是一种线程同步机制,允许线程在某个条件未满足时进入等待状态,并在其他线程修改共享资源或条件后通知它们。


条件变量和互斥锁通常一起使用,以保证对共享资源的安全访问。


通过条件变量,线程可以避免忙等待(busy-waiting),从而提高效率。


条件变量使得线程可以通过以下方式同步:

  • 等待某个条件满足:当某个线程在等待某个条件时,它可以进入阻塞状态,并释放持有的互斥锁,以允许其他线程操作共享资源。

  • 通知条件满足:当其他线程改变了共享资源的状态,且满足了等待线程的条件,它可以通过发送信号(signal)来通知那些正在等待的线程,使它们被唤醒并继续执行。


条件变量通常与互斥锁结合使用,因为在检查或修改某些共享资源时,需要保护这些资源的并发访问,防止竞争条件。


互斥锁负责保护共享资源,条件变量负责在线程间传递状态信息。


具体步骤如下:

  • 线程通过互斥锁访问共享资源。

  • 当条件未满足时,线程通过条件变量进入等待,并释放互斥锁,允许其他线程继续操作资源。

  • 其他线程修改共享资源并发出条件满足的信号,通知条件变量唤醒等待线程。

  • 被唤醒的线程重新获得互斥锁并检查条件是否满足,如果满足则继续执行,否则继续等待。


条件变量的使用步骤:

  • 初始化条件变量和互斥锁。

  • 在线程中使用互斥锁对共享资源进行保护。

  • 如果条件未满足,调用pthread_cond_wait()使线程进入阻塞状态,同时释放互斥锁,等待其他线程通知条件满足。

  • 其他线程修改共享资源后,调用pthread_cond_signal()或pthread_cond_broadcast()通知等待线程。

  • 被唤醒的线程重新获得互斥锁并继续检查条件。


1


条件变量的初始化和销毁

条件变量使用pthread_cond_t数据类型来表示,和互斥锁类似,条件变量在使用前必须初始化。


可以通过两种方式进行初始化:


1、使用宏PTHREAD_COND_INITIALIZER,类似于互斥锁的静态初始化方式:


pthread_cond_t cond = PTHREAD_COND_INITIALIZER;


2、使用pthread_cond_init()函数动态初始化条件变量:


pthread_cond_init(&cond, NULL); // attr 为 NULL 时使用默认属性


参数

  • cond: 指向待初始化的条件变量对象,类型为 pthread_cond_t*。

  • attr: 条件变量的属性,可以为 NULL 表示使用默认属性。


返回值

  • 成功返回 0;

  • 失败返回非零错误码,如 EINVAL(无效属性)。


当不再使用条件变量时,应使用pthread_cond_destroy()进行销毁,以释放系统资源,销毁前需要确保没有线程在等待该条件变量。


pthread_cond_destroy(&cond);


参数

  • cond: 指向待销毁的条件变量对象。


返回值

  • 成功返回 0;

  • 失败返回非零错误码,如 EBUSY(有线程在等待该条件变量)。


注意事项

  • 只能销毁已经初始化的条件变量。

  • 条件变量销毁时,不能有线程在等待它,否则将导致未定义行为。


2


发送信号和等待条件变量

条件变量的核心功能就是发送信号和等待条件。


在多线程程序中,线程通过pthread_cond_wait()等待条件,而其他线程通过pthread_cond_signal()或pthread_cond_broadcast()发出信号。


pthread_cond_wait():使线程等待条件满足,并在等待期间释放互斥锁。该函数会阻塞调用线程,直到另一个线程调用 pthread_cond_signal() 或 pthread_cond_broadcast() 通知该条件变量。


int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);


参数

  • cond: 条件变量指针,指向 pthread_cond_t 类型的条件变量。

  • mutex: 互斥锁指针,指向 pthread_mutex_t 类型的互斥锁。在线程进入等待状态时,pthread_cond_wait 会自动释放该互斥锁,并在线程被唤醒时重新加锁。


返回值

  • 成功返回 0;

  • 失败返回非零错误码。


注意事项

  • 在调用 pthread_cond_wait() 之前,必须先锁住互斥锁,以避免条件检查和等待之间的竞争。

  • 线程被唤醒时,会重新锁住传入的互斥锁。


pthread_cond_signal():用于通知至少一个等待该条件变量的线程,使其从 pthread_cond_wait() 的阻塞状态中唤醒。如果没有线程在等待条件变量,该信号会被丢弃。


int pthread_cond_signal(pthread_cond_t *cond);


参数

  • cond: 条件变量指针,指向 pthread_cond_t 类型的条件变量。


返回值

  • 成功返回 0;

  • 失败返回非零错误码。


注意事项

  • 该函数只能唤醒一个等待的线程。

  • 如果没有线程等待,信号不会累积,因此没有线程在等待时,调用该函数不会有任何效果。


pthread_cond_broadcast():用于唤醒所有等待该条件变量的线程。适用于需要唤醒多个线程的场景。


int pthread_cond_broadcast(pthread_cond_t *cond);


参数

  • cond: 条件变量指针,指向 pthread_cond_t 类型的条件变量。


返回值

  • 成功返回 0;

  • 失败返回非零错误码。


假设有多个消费者线程在等待产品,如果使用pthread_cond_signal(),只有一个线程会被唤醒。


如果我们希望所有消费者都被唤醒,则使用pthread_cond_broadcast()。


但一般来说,pthread_cond_signal()更高效,除非确实需要所有线程都被唤醒。


pthread_cond_signal(&cond);   // 唤醒一个线程pthread_cond_broadcast(&cond); // 唤醒所有等待的线程

3


条件变量中的判断条件

在使用条件变量时,通常涉及某个共享变量(如上例中的buffer)。


在检测条件时,必须使用while循环而非if语句。这是因为:

  • 虚假唤醒:线程可能被意外唤醒,但条件仍不满足。用while循环可以确保条件再次检查,而不是立即继续执行。

  • 竞争条件:多个线程可能同时被唤醒,但只有一个线程会成功获取锁并修改条件状态。其他线程必须再次等待。


这样设计能确保线程在条件不满足时不会继续执行,从而避免竞争条件带来的问题。


pthread_mutex_lock(&mutex);while (buffer == 0) {    pthread_cond_wait(&cond, &mutex);}


以下示例展示了生产者-消费者模型,其中生产者线程和消费者线程通过条件变量进行同步:


pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;pthread_cond_t cond = PTHREAD_COND_INITIALIZER;int buffer = 0;  // 缓冲区,0表示空,1表示有产品
void *producer(void *arg) { pthread_mutex_lock(&mutex); // 加锁 while (buffer == 1) { pthread_cond_wait(&cond, &mutex); // 缓冲区满,等待 } buffer = 1; // 生产产品 printf("Produced an item\n"); pthread_cond_signal(&cond); // 通知消费者 pthread_mutex_unlock(&mutex); // 解锁 return NULL;}
void *consumer(void *arg) { pthread_mutex_lock(&mutex); // 加锁 while (buffer == 0) { pthread_cond_wait(&cond, &mutex); // 缓冲区空,等待 } buffer = 0; // 消费产品 printf("Consumed an item\n"); pthread_cond_signal(&cond); // 通知生产者 pthread_mutex_unlock(&mutex); // 解锁 return NULL;}
int main() { pthread_t prod, cons;
// 创建生产者和消费者线程 pthread_create(&prod, NULL, producer, NULL); pthread_create(&cons, NULL, consumer, NULL);
// 等待线程执行完毕 pthread_join(prod, NULL); pthread_join(cons, NULL);
// 销毁互斥锁和条件变量 pthread_mutex_destroy(&mutex); pthread_cond_destroy(&cond);
return 0;}


Linux中的条件变量是线程同步的强大工具,允许线程等待特定条件满足后再执行操作,避免了无效的忙等待。


通过与互斥锁协作,条件变量可以有效地协调线程之间对共享资源的访问,保证并发环境下的安全性和效率。

  • 条件变量与互斥锁结合使用:条件变量用于等待和通知条件变化,互斥锁则用于保护共享资源的访问。

  • 条件变量不保存状态:如果没有线程在等待条件变量,信号会丢失。

  • pthread_cond_wait()应放在循环中:因为多个线程可能竞争资源,因此从 pthread_cond_wait() 返回后应重新检查条件。

  • 选择合适的通知方式:pthread_cond_signal() 唤醒一个等待线程,pthread_cond_broadcast() 唤醒所有等待线程。

点击阅读原文,更精彩~

美男子玩编程 多领域、有深度的开发者交流平台
评论
  • 根据Global Info Research(环洋市场咨询)项目团队最新调研,预计2030年全球无人机电池和电源产值达到2834百万美元,2024-2030年期间年复合增长率CAGR为10.1%。 无人机电池是为无人机提供动力并使其飞行的关键。无人机使用的电池类型因无人机的大小和型号而异。一些常见的无人机电池类型包括锂聚合物(LiPo)电池、锂离子电池和镍氢(NiMH)电池。锂聚合物电池是最常用的无人机电池类型,因为其能量密度高、设计轻巧。这些电池以输出功率大、飞行时间长而著称。不过,它们需要
    GIRtina 2025-01-13 10:49 170浏览
  • 随着通信技术的迅速发展,现代通信设备需要更高效、可靠且紧凑的解决方案来应对日益复杂的系统。中国自主研发和制造的国产接口芯片,正逐渐成为通信设备(从5G基站到工业通信模块)中的重要基石。这些芯片凭借卓越性能、成本效益及灵活性,满足了现代通信基础设施的多样化需求。 1. 接口芯片在通信设备中的关键作用接口芯片作为数据交互的桥梁,是通信设备中不可或缺的核心组件。它们在设备内的各种子系统之间实现无缝数据传输,支持高速数据交换、协议转换和信号调节等功能。无论是5G基站中的数据处理,还是物联网网关
    克里雅半导体科技 2025-01-10 16:20 436浏览
  • 流量传感器是实现对燃气、废气、生活用水、污水、冷却液、石油等各种流体流量精准计量的关键手段。但随着工业自动化、数字化、智能化与低碳化进程的不断加速,采用传统机械式检测方式的流量传感器已不能满足当代流体计量行业对于测量精度、测量范围、使用寿命与维护成本等方面的精细需求。流量传感器的应用场景(部分)超声波流量传感器,是一种利用超声波技术测量流体流量的新型传感器,其主要通过发射超声波信号并接收反射回来的信号,根据超声波在流体中传播的时间、幅度或相位变化等参数,间接计算流体的流量,具有非侵入式测量、高精
    华普微HOPERF 2025-01-13 14:18 468浏览
  • PNT、GNSS、GPS均是卫星定位和导航相关领域中的常见缩写词,他们经常会被用到,且在很多情况下会被等同使用或替换使用。我们会把定位导航功能测试叫做PNT性能测试,也会叫做GNSS性能测试。我们会把定位导航终端叫做GNSS模块,也会叫做GPS模块。但是实际上他们之间是有一些重要的区别。伴随着技术发展与越发深入,我们有必要对这三个词汇做以清晰的区分。一、什么是GPS?GPS是Global Positioning System(全球定位系统)的缩写,它是美国建立的全球卫星定位导航系统,是GNSS概
    德思特测试测量 2025-01-13 15:42 475浏览
  • 食物浪费已成为全球亟待解决的严峻挑战,并对环境和经济造成了重大影响。最新统计数据显示,全球高达三分之一的粮食在生产过程中损失或被无谓浪费,这不仅导致了资源消耗,还加剧了温室气体排放,并带来了巨大经济损失。全球领先的光学解决方案供应商艾迈斯欧司朗(SIX:AMS)近日宣布,艾迈斯欧司朗基于AS7341多光谱传感器开发的创新应用来解决食物浪费这一全球性难题。其多光谱传感解决方案为农业与食品行业带来深远变革,该技术通过精确判定最佳收获时机,提升质量控制水平,并在整个供应链中有效减少浪费。 在2024
    艾迈斯欧司朗 2025-01-14 18:45 7浏览
  • ARMv8-A是ARM公司为满足新需求而重新设计的一个架构,是近20年来ARM架构变动最大的一次。以下是对ARMv8-A的详细介绍: 1. 背景介绍    ARM公司最初并未涉足PC市场,其产品主要针对功耗敏感的移动设备。     随着技术的发展和市场需求的变化,ARM开始扩展到企业设备、服务器等领域,这要求其架构能够支持更大的内存和更复杂的计算任务。 2. 架构特点    ARMv8-A引入了Execution State(执行状
    丙丁先生 2025-01-12 10:30 457浏览
  • 数字隔离芯片是现代电气工程师在进行电路设计时所必须考虑的一种电子元件,主要用于保护低压控制电路中敏感电子设备的稳定运行与操作人员的人身安全。其不仅能隔离两个或多个高低压回路之间的电气联系,还能防止漏电流、共模噪声与浪涌等干扰信号的传播,有效增强电路间信号传输的抗干扰能力,同时提升电子系统的电磁兼容性与通信稳定性。容耦隔离芯片的典型应用原理图值得一提的是,在电子电路中引入隔离措施会带来传输延迟、功耗增加、成本增加与尺寸增加等问题,而数字隔离芯片的目标就是尽可能消除这些不利影响,同时满足安全法规的要
    华普微HOPERF 2025-01-15 09:48 3浏览
  • 01. 什么是过程能力分析?过程能力研究利用生产过程中初始一批产品的数据,预测制造过程是否能够稳定地生产符合规格的产品。可以把它想象成一种预测。通过历史数据的分析,推断未来是否可以依赖该工艺持续生产高质量产品。客户可能会要求将过程能力研究作为生产件批准程序 (PPAP) 的一部分。这是为了确保制造过程能够持续稳定地生产合格的产品。02. 基本概念在定义制造过程时,目标是确保生产的零件符合上下规格限 (USL 和 LSL)。过程能力衡量制造过程能多大程度上稳定地生产符合规格的产品。核心概念很简单:
    优思学院 2025-01-12 15:43 501浏览
  •   在信号处理过程中,由于信号的时域截断会导致频谱扩展泄露现象。那么导致频谱泄露发生的根本原因是什么?又该采取什么样的改善方法。本文以ADC性能指标的测试场景为例,探讨了对ADC的输出结果进行非周期截断所带来的影响及问题总结。 两个点   为了更好的分析或处理信号,实际应用时需要从频域而非时域的角度观察原信号。但物理意义上只能直接获取信号的时域信息,为了得到信号的频域信息需要利用傅里叶变换这个工具计算出原信号的频谱函数。但对于计算机来说实现这种计算需要面对两个问题: 1.
    TIAN301 2025-01-14 14:15 100浏览
  • 随着数字化的不断推进,LED显示屏行业对4K、8K等超高清画质的需求日益提升。与此同时,Mini及Micro LED技术的日益成熟,推动了间距小于1.2 Pitch的Mini、Micro LED显示屏的快速发展。这类显示屏不仅画质卓越,而且尺寸适中,通常在110至1000英寸之间,非常适合应用于电影院、监控中心、大型会议、以及电影拍摄等多种室内场景。鉴于室内LED显示屏与用户距离较近,因此对于噪音控制、体积小型化、冗余备份能力及电气安全性的要求尤为严格。为满足这一市场需求,开关电源技术推出了专为
    晶台光耦 2025-01-13 10:42 491浏览
  • 新年伊始,又到了对去年做总结,对今年做展望的时刻 不知道你在2024年初立的Flag都实现了吗? 2025年对自己又有什么新的期待呢? 2024年注定是不平凡的一年, 一年里我测评了50余块开发板, 写出了很多科普文章, 从一个小小的工作室成长为科工公司。 展望2025年, 中国香河英茂科工, 会继续深耕于,具身机器人、飞行器、物联网等方面的研发, 我觉得,要向未来学习未来, 未来是什么? 是掌握在孩子们生活中的发现,和精历, 把最好的技术带给孩子,
    丙丁先生 2025-01-11 11:35 447浏览
  • 随着全球向绿色能源转型的加速,对高效、可靠和环保元件的需求从未如此强烈。在这种背景下,国产固态继电器(SSR)在实现太阳能逆变器、风力涡轮机和储能系统等关键技术方面发挥着关键作用。本文探讨了绿色能源系统背景下中国固态继电器行业的前景,并强调了2025年的前景。 1.对绿色能源解决方案日益增长的需求绿色能源系统依靠先进的电源管理技术来最大限度地提高效率并最大限度地减少损失。固态继电器以其耐用性、快速开关速度和抗机械磨损而闻名,正日益成为传统机电继电器的首选。可再生能源(尤其是太阳能和风能
    克里雅半导体科技 2025-01-10 16:18 322浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦