友点网站建设,制作网站数据库,免费图纸网站,网站系统建站转载自#xff1a;http://blog.chinaunix.net/uid-21411227-id-1826890.html 1#xff0e;引言#xff1a; 条件变量是一种同步机制#xff0c;允许线程挂起#xff0c;直到共享数据上的某些条件得到满足。条件变量上的基本操作有#xff1a;触发条件(当条件变为 true 时…转载自http://blog.chinaunix.net/uid-21411227-id-1826890.html 1引言 条件变量是一种同步机制允许线程挂起直到共享数据上的某些条件得到满足。条件变量上的基本操作有触发条件(当条件变为 true 时)等待条件挂起线程直到其他线程触发条件。 条件变量要和互斥量相联结以避免出现条件竞争一个线程预备等待一个条件变量当它在真正进入等待之前另一个线程恰好触发了该条件。 2函数说明 1初始化条件变量pthread_cond_init 函数原型int pthread_cond_init(pthread_cond_t *cv, const pthread_condattr_t *cattr); 返回值函数成功返回0任何其他返回值都表示错误。 参数说明当参数cattr为空指针时函数创建的是一个缺省的条件变量。否则条件变量的属性将由cattr中的属性值来决定。调用pthread_cond_init函数时参数cattr为空指针等价于cattr中的属性为缺省属性只是前者不需要cattr所占用的内存开销。这个函数返回时条件变量被存放在参数cv指向的内存中。 可以用宏PTHREAD_COND_INITIALIZER来初始化静态定义的条件变量使其具有缺省属性。这和用pthread_cond_init函数动态分配的效果是一样的。初始化时不进行错误检查。如pthread_cond_t cv PTHREAD_COND_INITIALIZER; 不能由多个线程同时初始化一个条件变量。当需要重新初始化或释放一个条件变量时应用程序必须保证这个条件变量未被使用。 2阻塞在条件变量上pthread_cond_wait 函数原型int pthread_cond_wait(pthread_cond_t *cv, pthread_mutex_t *mutex); 返回值函数成功返回0任何其他返回值都表示错误 参数说明函数将解锁mutex参数指向的互斥锁并使当前线程阻塞在cv参数指向的条件变量上。被阻塞的线程可以被pthread_cond_signal函数pthread_cond_broadcast函数唤醒也可能在被信号中断后被唤醒。pthread_cond_wait函数的返回并不意味着条件的值一定发生了变化必须重新检查条件的值。pthread_cond_wait函数返回时相应的互斥锁将被当前线程锁定即使是函数出错返回。 一般一个条件表达式都是在一个互斥锁的保护下被检查。当条件表达式未被满足时线程将仍然阻塞在这个条件变量上。当另一个线程改变了条件的值并向条件变量发出信号时等待在这个条件变量上的一个线程或所有线程被唤醒接着都试图再次占有相应的互斥锁。阻塞在条件变量上的线程被唤醒以后直到pthread_cond_wait()函数返回之前条件的值都有可能发生变化。所以函数返回以后在锁定相应的互斥锁之前必须重新测试条件值。最好的测试方法是循环调用pthread_cond_wait函数并把满足条件的表达式置为循环的终止条件。 如pthread_mutex_lock(); while (condition_is_false) pthread_cond_wait(); pthread_mutex_unlock(); 阻塞在同一个条件变量上的不同线程被释放的次序是不一定的。 注意pthread_cond_wait()函数是退出点如果在调用这个函数时已有一个挂起的退出请求且线程允许退出这个线程将被终止并开始执行善后处理函数而这时和条件变量相关的互斥锁仍将处在锁定状态。 3解除在条件变量上的阻塞pthread_cond_signal 函数原型int pthread_cond_signal(pthread_cond_t *cv); 返回值函数成功返回0任何其他返回值都表示错误 参数说明函数被用来释放被阻塞在指定条件变量上的一个线程。必须在互斥锁的保护下使用相应的条件变量。否则对条件变量的解锁有可能发生在锁定条件变量之前从而造成死锁。 唤醒阻塞在条件变量上的所有线程的顺序由调度策略决定如果线程的调度策略是SCHED_OTHER类型的系统将根据线程的优先级唤醒线程。如果没有线程被阻塞在条件变量上那么调用pthread_cond_signal()将没有作用。 4阻塞直到指定时间pthread_cond_timedwait 函数原型int pthread_cond_timedwait(pthread_cond_t *cv, pthread_mutex_t *mp, const structtimespec * abstime); 头文件为#include time.h 返回值函数成功返回0任何其他返回值都表示错误 参数说明函数到了一定的时间即使条件未发生也会解除阻塞。这个时间由参数abstime指定。函数返回时相应的互斥锁往往是锁定的即使是函数出错返回。 注意pthread_cond_timedwait函数也是退出点。超时时间参数是指一天中的某个时刻。 使用举例 pthread_timestruc_t to; to.tv_sec time(NULL) TIMEOUT; to.tv_nsec 0; 超时返回的错误码是ETIMEDOUT。 5 释放阻塞的所有线程pthread_cond_broadcast 函数原型int pthread_cond_broadcast(pthread_cond_t *cv); 返回值函数成功返回0任何其他返回值都表示错误 参数说明函数唤醒所有被pthread_cond_wait函数阻塞在某个条件变量上的线程参数cv被用来指定这个条件变量。当没有线程阻塞在这个条件变量上时pthread_cond_broadcast函数无效。由于pthread_cond_broadcast函数唤醒所有阻塞在某个条件变量上的线程这些线程被唤醒后将再次竞争相应的互斥锁所以必须小心使用pthread_cond_broadcast函数。 6 释放条件变量pthread_cond_destroy 函数原型int pthread_cond_destroy(pthread_cond_t *cv); 返回值函数成功返回0任何其他返回值都表示错误。 注意条件变量占用的空间并未被释放。 7 唤醒丢失问题 在线程未获得相应的互斥锁时调用pthread_cond_signal或pthread_cond_broadcast函数可能会引起唤醒丢失问题。 唤醒丢失往往会在下面的情况下发生 一个线程调用pthread_cond_signal或pthread_cond_broadcast函数 另一个线程正处在测试条件变量和调用pthread_cond_wait函数之间 没有线程正在处在阻塞等待的状态下。 3举例 下面是使用函数pthread_cond_wait和函数pthread_cond_signal的一个简单的例子 pthread_mutex_t count_lock; pthread_cond_t count_nonzero; unsigned count; decrement_count () { pthread_mutex_lock (count_lock); while(count0) pthread_cond_wait( count_nonzero, count_lock); countcount -1; pthread_mutex_unlock (count_lock); } increment_count(){ pthread_mutex_lock(count_lock); if(count0) pthread_cond_signal(count_nonzero); countcount1; pthread_mutex_unlock(count_lock); } count值为0时decrement函数在pthread_cond_wait处被阻塞并打开互斥锁count_lock。此时当调用到函数increment_count时pthread_cond_signal函数改变条件变量告知decrement_count停止阻塞。读者可以试着让两个线程分别运行这两个函数看看会出现什么样的结果。 函数pthread_cond_broadcastpthread_cond_t *cond用来唤醒所有被阻塞在条件变量cond上的线程。这些线程被唤醒后将再次竞争相应的互斥锁所以必须小心使用这个函数。转载于:https://www.cnblogs.com/chengxuyuancc/articles/3298854.html
