目录
一、条件变量
1.什么是条件变量
故事说明
2、为什么需要使用条件变量
竞态条件
3.什么是同步
饥饿问题
二、条件变量的接口
1.pthread_cond_t
2.初始化（pthread_cond_init）
3.销毁（pthread_cond_destroy）
4.等待（pthread_cond_wait）
5.唤醒（pthread_cond_signal && pthread_cond_broadcast）
pthread_cond_signal
pthread_cond_broadcast
三、使用演示 （模拟生产者消费者模型）
条件变量（Condition Variable）是一种用于线程同步的机制，通常与互斥锁（Mutex）一起使用。条件变量提供了一种线程间的通信机制，允许一个线程等待另一个线程满足某个条件后再继续执行。
故事说明
现在小明在一张桌子上放一个苹果，而旁边有一群蒙着眼睛的人，因为他们的眼睛被蒙着，他们如果想拿到这个苹果，就会时不时来桌子前摸一摸看看桌子是否有苹果，并且谁来桌子前摸苹果是无序的，这时的场面就很混乱，小明一看不行，于是小明就桌子上放了个铃铛，并且组织需要苹果的人排好队，有苹果小明就会摇响铃铛，排在第一个的人就拿走苹果，然后如果还想要苹果就到队尾排队等待。此时混乱的场面就显得井然有序了。在本故事中，小明就是操作系统，苹果就是临界资源，一群蒙着眼睛都人就是多线程，铃铛就是条件变量，排队就是实现同步，摇响铃铛就是唤醒线程。
使用条件变量主要是因为它们提供了在多线程编程中一种有效的同步机制。当多个线程需要等待某个特定条件成立才能继续执行时，条件变量就显得尤为重要。通过条件变量，线程可以安全地进入等待状态，直到被其他线程显式地唤醒或满足等待的条件。这有助于避免线程的无谓轮询或忙等待，提高了系统的响应能力和效率。
注意：在使用条件变量时，必须确保与互斥锁一起使用，以避免竞态条件的发生。
竞态条件
在保证数据安全的前提下，让线程能够按照某种特定的顺序访问临界资源，从而有效避免饥饿问题，叫做同步。
饥饿问题
饥饿问题指的是某些线程由于某种原因无法获得它们所需要的资源或执行机会，导致它们长时间得不到处理，甚至永远得不到处理的现象。这种情况通常发生在多个线程竞争有限资源时，其中一些线程可能因为优先级过低、调度算法的不公平性、同步机制使用不当或其他原因而无法获得足够的执行时间。
是 POSIX 线程库（Pthreads）中用于表示条件变量的数据类型。
#include <pthread.h>
方式一（pthread_cond_t是局部全局都可以用）：
int pthread_cond_init(pthread_cond_t *restrict cond,
const pthread_condattr_t *restrict attr);
方式二（pthread_cond_t是全局变量时）：
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;注意： 是一个类型限定符，它用于告知编译器两个指针不会指向同一个内存位置，这样编译器可以生成更高效的代码
参数
- ：一个指向 类型的指针，用于存储初始化后的条件变量。
- ：一个指向 类型的指针，用于指定条件变量的属性。通常可以传递 ，以使用默认属性。
返回值
- 如果成功，返回 0。
- 如果失败，返回错误码。
使用例子：
#include <pthread.h>
int pthread_cond_destroy(pthread_cond_t *cond);
参数
- ：指向要销毁的条件变量的指针。
返回值
- 如果成功，返回 0。
- 如果失败，返回错误码。
的行为如下：
- 解锁互斥锁：调用 的线程首先会释放（解锁）它当前持有的互斥锁。这一步是必要的，因为条件变量通常与互斥锁一起使用，以确保对共享数据的访问是同步的。解锁互斥锁允许其他线程获取该锁，从而可以安全地修改共享数据。
- 加入等待队列：在解锁互斥锁之后，调用 的线程会将自己添加到与该条件变量相关联的等待队列中。此时，线程进入阻塞状态，等待被唤醒。
- 阻塞并等待信号：线程在等待队列中保持阻塞状态，直到它收到一个针对该条件变量的信号（通过 或 发出）。需要注意的是，仅仅因为线程在等待队列中并不意味着它会立即收到信号；它必须等待直到有其他线程显式地发出信号。
- 重新获取互斥锁：当线程收到信号并准备从 返回时，它首先会尝试重新获取之前释放的互斥锁。如果此时锁被其他线程持有，那么该线程会阻塞在互斥锁的等待队列中，直到获得锁为止。这一步确保了线程在继续执行之前能够重新获得对共享数据的独占访问权。
- 检查条件：一旦线程成功获取到互斥锁，它会再次检查导致它调用 的条件是否现在满足。虽然通常认为在收到信号时条件已经满足，但这是一个编程错误的常见来源。正确的做法是在每次从 返回后都重新检查条件，因为可能有多个线程在等待相同的条件，或者条件可能在信号发出和线程被唤醒之间发生变化。
- 返回并继续执行：如果条件满足，线程会从 返回，并继续执行后续的代码。如果条件仍然不满足，线程可以选择再次调用 进入等待状态，或者执行其他操作。
功能：解锁互斥锁，并使线程进入等待状态，直到指定的条件变量被其他线程信号通知或广播。
原型
#include <pthread.h>
参数
- ：指向条件变量的指针。
- ：指向互斥锁的指针，该互斥锁应该在调用 之前由当前线程锁定。调用该函数时互斥锁mutex会被解锁。
返回值
- 如果成功，返回 0。
- 如果失败，返回错误码。
pthread_cond_signal
#include <pthread.h>
int pthread_cond_signal(pthread_cond_t *cond);
参数
- ：指向要发送信号（广播）的条件变量的指针。
返回值
- 如果成功，返回 0。
- 如果失败，返回错误码。
问题：在调用pthread_cond_wait前如果已经提前收到唤醒通知会怎么样？
答：
如果在调用之前线程已经收到了条件变量的唤醒通知（通过或），那么该通知实际上会被“记住”，直到线程真正进入并准备返回。这是因为条件变量的实现通常包含一个等待队列，用于存储那些正在等待条件变量的线程。当调用或时，会唤醒等待队列中的一个或多个线程，但如果没有线程实际在中等待，那么这个通知就会被保留，直到有线程调用。
pthread_cond_broadcast
功能：用于唤醒所有正在等待指定条件变量的线程
原型#include <pthread.h>
int pthread_cond_broadcast(pthread_cond_t *cond);
参数
- ：指向要发送信号（广播）的条件变量的指针。
返回值
- 如果成功，返回 0。
- 如果失败，返回错误码。
说明：模拟生产者消费者模式
注意：使用pthrad原生线程库（POSIX库）要链接库：-lpthread
不会连接动态库的可以看我这篇文章：[Linux]动静态库（什么是动静态库，怎么生成动静态库，怎么使用（连接）动静态库）-CSDN博客
cond.cc
Makefile
结果
版权声明：
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如若内容造成侵权、违法违规、事实不符，请将相关资料发送至xkadmin@xkablog.com进行投诉反馈，一经查实，立即处理！
转载请注明出处，原文链接：https://www.xkablog.com/bcyy/33270.html