条件变量pthread_cond_t怎么用

最近看《UNIX环境高级编程》多线程同步,看到他举例说条件变量pthread_cond_t怎么用,愣是没有看懂,只好在网上找了份代码,跑了跑,才弄明白

  1. #include <pthread.h>
  2. #include <stdio.h>
  3. #include <stdlib.h>
  4. pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;/*初始化互斥锁*/
  5. pthread_cond_t cond = PTHREAD_COND_INITIALIZER;/*初始化条件变量*/
  6. void *thread1(void *);
  7. void *thread2(void *);
  8. int i=1;
  9. int main(void)
  10. {
  11. pthread_t t_a;
  12. pthread_t t_b;
  13. pthread_create(&t_a,NULL,thread1,(void *)NULL);/*创建进程t_a*/
  14. pthread_create(&t_b,NULL,thread2,(void *)NULL); /*创建进程t_b*/
  15. pthread_join(t_a, NULL);/*等待进程t_a结束*/
  16. pthread_join(t_b, NULL);/*等待进程t_b结束*/
  17. pthread_mutex_destroy(&mutex);
  18. pthread_cond_destroy(&cond);
  19. exit(0);
  20. }
  21. void *thread1(void *junk)
  22. {
  23. for(i=1;i<=6;i++)
  24. {
  25. pthread_mutex_lock(&mutex);/*锁住互斥量*/
  26. printf("thread1: lock %d/n", __LINE__);
  27. if(i%3==0){
  28. printf("thread1:signal 1 %d/n", __LINE__);
  29. pthread_cond_signal(&cond);/*条件改变,发送信号,通知t_b进程*/
  30. printf("thread1:signal 2 %d/n", __LINE__);
  31. sleep(1);
  32. }
  33. pthread_mutex_unlock(&mutex);/*解锁互斥量*/
  34. printf("thread1: unlock %d/n/n", __LINE__);
  35. sleep(1);
  36. }
  37. }
  38. void *thread2(void *junk)
  39. {
  40. while(i<6)
  41. {
  42. pthread_mutex_lock(&mutex);
  43. printf("thread2: lock %d/n", __LINE__);
  44. if(i%3!=0){
  45. printf("thread2: wait 1 %d/n", __LINE__);
  46. pthread_cond_wait(&cond,&mutex);/*解锁mutex,并等待cond改变*/
  47. printf("thread2: wait 2 %d/n", __LINE__);
  48. }
  49. pthread_mutex_unlock(&mutex);
  50. printf("thread2: unlock %d/n/n", __LINE__);
  51. sleep(1);
  52. }
  53. }

编译:

[X61@horizon threads]$ gcc thread_cond.c -lpthread -o tcd

以下是程序运行结果:

[X61@horizon threads]$ ./tcd
thread1: lock 30
thread1: unlock 40

thread2: lock 52
thread2: wait 1 55
thread1: lock 30
thread1: unlock 40

thread1: lock 30
thread1:signal 1 33
thread1:signal 2 35
thread1: unlock 40

thread2: wait 2 57
thread2: unlock 61

thread1: lock 30
thread1: unlock 40

thread2: lock 52
thread2: wait 1 55
thread1: lock 30
thread1: unlock 40

thread1: lock 30
thread1:signal 1 33
thread1:signal 2 35
thread1: unlock 40

thread2: wait 2 57
thread2: unlock 61

这里的两个关键函数就在pthread_cond_wait和pthread_cond_signal函数。

本例中:

线程一先执行,获得mutex锁,打印,然后释放mutex锁,然后阻塞自己1秒。

线程二此时和线程一应该是并发的执行
,这里是一个要点,为什么说是线程此时是并发的执行,因为此时不做任何干涉的话,是没有办法确定是线程一先获得执行还是线程二先获得执行,到底那个线程先获得执行,取决于操作系统的调度,想刻意的让线程2先执行,可以让线程2一出来,先sleep一秒。
这里并发执行的情况是,线程一先进入循环,然后获得锁,此时估计线程二执行,阻塞在
pthread_mutex_lock(&mutex);
这行语句中,直到线程1释放mutex锁
pthread_mutex_unlock(&mutex);/*解锁互斥量*/
然后线程二得已执行,获取metux锁,满足if条件,到pthread_cond_wait (&cond,&mutex);/*等待*/
这里的线程二阻塞,不仅仅是等待cond变量发生改变,同时释放mutex锁 ,因为当时看书没有注意,所以这里卡了很久。
mutex锁释放后,线程1终于获得了mutex锁,得已继续运行,当线程1的if(i%3==0)的条件满足后,通过pthread_cond_signal发送信号,告诉等待cond的变量的线程(这个情景中是线程二),cond条件变量已经发生了改变。

不过此时线程二并没有立即得到运行 ,因为线程二还在等待mutex锁的释放,所以线程一继续往下走,直到线程一释放mutex锁,线程二才能停止等待,打印语句,然后往下走通过pthread_mutex_unlock(&mutex)释放mutex锁,进入下一个循环。

<think>首先,用户的问题是关于条件变量在POSIX线程中的作用以及如何正确使用pthread_cond_timedwait函数。用户引用了多个来源,包括条件变量的基本概念、pthread_cond_wait和pthread_cond_timedwait的用法。 我的回答需要遵循系统级指令: - 所有行内数学表达式使用$...$格式。 - 独立公式使用$$...$$格式并单独成段。 - LaTeX语法正确。 - 使用中文回答。 - 生成相关问题。 - 回答中引用的段落末尾自然地添加引用标识,例如:[^1]。 用户可见层指令: - 回答结构清晰,帮助用户逐步解决问题。 - 保证回答真实可靠。 参考站内引用: - [^1]: 条件变量用于线程同步,与互斥量一起使用,避免竞争。 - [^2]: pthread_cond_timedwait和pthread_cond_wait用于同步,支持超时处理。 - [^3]: pthread_cond_timedwait的参数:cond, mutex, abstime(绝对超时时间)。 - [^4]: pthread_cond_wait的步骤:解锁、等待、加锁;使用时需要循环检查以避免信号丢失。 用户需求:了解条件变量多线程编程中的作用,特别是pthread_cond_timedwait的用法和应用场景。 结构化回答: 1. **介绍条件变量的作用**:解释条件变量在POSIX线程中的基本概念,为什么需要它。 2. **解释pthread_cond_timedwait函数**:包括参数、行为、与pthread_cond_wait的区别。 3. **正确使用方式**:如何避免常见错误,如虚假唤醒、信号丢失等。 4. **应用场景**:给出具体例子,如生产者-消费者问题、超时处理等。 5. **生成相关问题**:在末尾添加相关问题。 确保回答真实可靠:基于标准POSIX线程编程知识,引用提供的资料。 数学表达式:用户的问题不涉及数学,但如果有必要,比如在解释算法时,可以使用。但这里可能不需要,除非提到时间计算等。 回答大纲: - **步骤1:介绍条件变量** - 条件变量用于线程同步,允许线程等待特定条件发生。 - 与互斥量配合使用,防止竞争条件。 - 引用[^1]:条件变量给了线程以无竞争的方式等待特定条件发生。 - **步骤2:pthread_cond_timedwait函数详解** - 函数原型:`int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime);` - 参数解释:cond条件变量),mutex(互斥锁),abstime(绝对超时时间)。 - 行为:在等待时解锁互斥量,等待信号或超时后重新加锁。 - 与pthread_cond_wait的区别:pthread_cond_wait无限期等待,pthread_cond_timedwait有超时机制。 - 引用[^3]和[^4]:参数和步骤。 - **步骤3:正确使用方式** - 使用循环检查条件,避免虚假唤醒(spurious wakeups)。 - 互斥量的加锁和解锁顺序。 - 例子:在生产者-消费者模型中。 - 引用[^4]:需要循环检查以避免信号丢失。 - **步骤4:应用场景** - 超时处理:如等待资源时设置超时。 - 实际案例:如线程池、任务调度。 - 引用[^2]:用于代替不可控的sleep函数。 - **步骤5:总结** - **生成相关问题** 在回答中自然地添加引用标识。 最终,生成相关问题: 1. 如何避免条件变量中的虚假唤醒? 2. pthread_cond_timedwait在实时系统中的应用? 3. 条件变量与信号量的区别是什么? 确保语言流畅、中文。</think>### 条件变量在POSIX线程中的作用及pthread_cond_timedwait的正确使用 条件变量是POSIX线程(Pthreads)中用于线程同步的核心机制,它允许线程以无竞争的方式等待特定条件成立(如共享数据状态变化),从而避免忙等待(busy-waiting)造成的资源浪费。条件变量必须与互斥量(mutex)结合使用,互斥量确保对共享资源的原子访问,而条件变量则管理线程的等待和唤醒。以下是逐步解释: #### 1. **条件变量的基本作用** - **避免竞争和优化性能**:当线程需要等待某个条件(如队列非空)时,直接循环检查会消耗CPU资源。条件变量通过阻塞线程并允许其在条件成立时被唤醒,实现了高效同步。例如,在生产者-消费者模型中,消费者线程可等待生产者通知“数据可用”。 - **与互斥量的协作**:条件变量本身不保护数据,而是依赖互斥量。线程在检查条件前必须先加锁互斥量;若条件不成立,则调用等待函数(如`pthread_cond_wait`)解锁互斥量并阻塞线程;当其他线程改变条件并发送信号时,原线程被唤醒并重新加锁互斥量[^1]。 - **关键优势**:减少线程切换开销,支持多个线程同时等待同一条件,适用于高并发场景如线程池或任务调度。 #### 2. **pthread_cond_timedwait函数详解** `pthread_cond_timedwait`是条件变量等待函数的一种,它在等待条件成立时支持超时机制,适用于需要时间限制的场景(如避免无限期阻塞)。函数原型为: ```c int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime); ``` - **参数说明**: - `cond`:指向条件变量的指针。 - `mutex`:指向关联互斥量的指针,调用前必须已被当前线程加锁。 - `abstime`:绝对超时时间,指定为从Epoch(1970-01-01 00:00:00 UTC)开始的秒和纳秒结构体(`struct timespec`)。例如,等待5秒:`abstime = { .tv_sec = time(NULL) + 5, .tv_nsec = 0 }`[^3]。 - **函数行为**: - 调用时,线程自动解锁`mutex`并进入阻塞状态,等待条件变量被触发或超时。 - 当条件被触发(如其他线程调用`pthread_cond_signal`)或超时到达时,线程被唤醒并尝试重新加锁`mutex`。 - 返回值: - 成功时返回0(条件成立)。 - 超时返回`ETIMEDOUT`。 - 错误返回非零值(如`EINVAL`参数无效)。 - **与pthread_cond_wait的区别**:`pthread_cond_wait`无限期等待,而`pthread_cond_timedwait`引入超时机制,适用于需超时处理的场景(如网络请求响应或资源等待)[^2]。 #### 3. **正确使用pthread_cond_timedwait的步骤** 为避免竞争、虚假唤醒(spurious wakeups)或信号丢失,必须遵循以下模式: - **步骤1: 加锁互斥量**:在检查条件前,先加锁关联互斥量。 - **步骤2: 循环检查条件**:使用`while`循环而非`if`检查条件状态。这是因为虚假唤醒可能发生(线程被唤醒但条件未成立),且超时后需重新验证条件。 - **步骤3: 调用等待函数**:在循环中调用`pthread_cond_timedwait`,传入已加锁的互斥量和超时时间。 - **步骤4: 处理唤醒后逻辑**:唤醒后,线程自动重新加锁互斥量,需再次检查条件(循环中),并执行操作。 - **步骤5: 解锁互斥量**:操作完成后解锁互斥量。 **示例代码(生产者-消费者模型)**: ```c pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER; pthread_cond_t cond = PTHREAD_COND_INITIALIZER; bool data_ready = false; // 共享条件 // 消费者线程(等待数据,超时设为2秒) void* consumer(void* arg) { struct timespec abstime; clock_gettime(CLOCK_REALTIME, &abstime); abstime.tv_sec += 2; // 设置绝对超时时间 pthread_mutex_lock(&mutex); while (!data_ready) { // 循环检查条件 int ret = pthread_cond_timedwait(&cond, &mutex, &abstime); if (ret == ETIMEDOUT) { printf("等待超时,未收到数据\n"); break; } } if (data_ready) { printf("数据已处理\n"); } pthread_mutex_unlock(&mutex); return NULL; } // 生产者线程(改变条件并发送信号) void* producer(void* arg) { pthread_mutex_lock(&mutex); data_ready = true; // 修改共享条件 pthread_cond_signal(&cond); // 唤醒等待线程 pthread_mutex_unlock(&mutex); return NULL; } ``` - **关键注意事项**: - **超时时间设置**:`abstime`必须是绝对时间(使用`clock_gettime(CLOCK_REALTIME, ...)`获取),避免相对时间导致的漂移错误。 - **避免信号丢失**:在调用`pthread_cond_timedwait`前,确保条件检查在循环中,这样即使信号在检查后、等待前发送,线程也不会错过(因为循环会重新检查)[^4]。 - **错误处理**:检查返回值,处理超时或错误。 - **资源管理**:初始化/销毁条件变量和互斥量(未在示例中展示,需用`pthread_cond_init`/`pthread_mutex_init`和对应销毁函数)。 #### 4. **应用场景** - **超时控制**:如线程等待I/O操作或网络响应时,避免无限阻塞。例如,在实时系统中,线程可设置最大等待时间,超时后执行备选逻辑[^2]。 - **任务调度**:在任务队列中,工作线程使用`pthread_cond_timedwait`等待新任务,若超时则检查空闲状态或执行清理。 - **资源同步**:如数据库连接池中,线程等待可用连接,超时返回错误而非死锁。 - **优势**:相比`sleep`函数,`pthread_cond_timedwait`更精确且可控,因为它与互斥量集成,确保唤醒时数据状态一致[^4]。 #### 5. **常见错误与避免方法** - **虚假唤醒**:所有条件变量等待函数都可能因系统原因无故唤醒线程。解决方案:始终在循环中检查条件(如`while (!condition)`)。 - **信号丢失**:如果信号在等待前发送,线程可能永远阻塞。避免方法:确保信号发送在互斥量保护下,且等待循环覆盖所有执行路径。 - **死锁风险**:忘记解锁互斥量或错误加锁顺序。规则:调用等待函数前必须已加锁,唤醒后自动重新加锁。 - **性能问题**:过度使用条件变量可能增加线程切换。优化:批量处理信号(如`pthread_cond_broadcast`唤醒所有线程)。 #### 总结 条件变量通过“等待-通知”机制提升多线程效率,`pthread_cond_timedwait`扩展了其能力,支持超时处理。正确使用时需结合互斥量、循环检查条件和严格错误处理。典型应用包括高并发服务和实时系统[^1][^3]。
评论 11
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值