线程的同步之条件变量

4.2.线程的同步
6条件变量
条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:一个线程等待条件变量的条件成立而挂起;另一个线程使条件成立(给出条件成立信号)。为了防止竞争,条件变量的使用总是和一个互斥锁结合在一起。
1、 创建和注销
    条件变量和互斥锁一样,都有静态、动态两种创建方式:
    静态方式使PTHREAD_COND_INITIALIZER常量,如下: (基本不用)
        pthread_cond_t  cond = PTHREAD_COND_INITIALIZER;

      动态方式调用pthread_cond_init()函数,API定义如下
        int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);
尽管POSIX标准中为条件变量定义了属性,但在Linux Threads中没有实现,因此cond_attr值通常为NULL,且被忽略。

注销一个条件变量需要调用pthread_cond_destroy(),只有在没有线程在该条件变量上等待的时候能注销这个条件变量,否则返回EBUSY。因为Linux实现的条件变量没有分配什么资源,所以注销动作只包括检查是否有等待线程。API定义如下:
        int pthread_cond_destroy(pthread_cond_t *cond);

2、 等待和激发
     等待条件有两种方式:无条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait():
        int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
        int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex,const struct timespec *abstime);
线程解开mutex指向的锁并被条件变量cond阻塞。其中计时等待方式表示经历abstime段时间后,即使条件变量不满足,阻塞也被解除。无论哪种等待方式,都必须和一个互斥锁配合,以防止多个线程同时请求pthread_cond_wait()(或pthread_cond_timedwait(),下同)的竞争条件(Race Condition)。
mutex互斥锁必须是普通锁(PTHREAD_MUTEX_TIMED_NP)(所以定义时不能改变锁的属性),且在调用pthread_cond_wait(&cond,&mutex)前必须由本线程加锁(即在使用wait之前,本线程需先调用pthread_mutex_lock(&mutex)),而在更新条件等待队列以前,mutex保持锁定状态,并在线程挂起进入等待前解锁。

即pthread_cond_wait( &cond,&mutex )等待条件cond成功并unlock mutex(解锁)并进入睡眠状态,这时其它线程在等该条件变量时就可以加锁

在条件满足从而离开pthread_cond_wait()之前,mutex将被重新加锁,以与进入pthread_cond_wait()前的加锁动作对应。(也就是说在做pthread_cond_wait之前,往往要用pthread_mutex_lock进行加锁,而调用pthread_cond_wait函数会将锁解开(这时在等待该条件的其它子线程就可以加锁了),然后将线程挂起阻塞。直到条件被pthread_cond_signal(&cond)(主进程发出的)激发,再将锁状态恢复为锁定状态,最后再用pthread_mutex_unlock进行解锁(如果没有这里的unlock,则其它线程得不到锁,即不能执行lock,从而wait失败))。
激发条件有两种形式,pthread_cond_signal()激活一个等待该条件的线程,存在多个等待线程时按入队顺序激活其中一个(激活最前面一个,接着才返回wait的返回值ret);而pthread_cond_broadcast()则激活所有等待线程

pthread_cond_signal(&cond):该条件是一瞬间的动作,所以用signal时要确保线程已经在wait,不然发出的条件就会被忽略

用pthread_cond_signal()激活:
用pthread_cond_signal()激活:
用pthread_cond_broadcast()激活:

必须确保发信号时,线程已经在wait中处于等待状态,因为每个条件变量有一个队列,谁等它,对应线程的ID就会被放到队列中,wait中要加锁的原因就是担心多个线程并发来修改条件变量,条件变量对于内核是维护一个队列的
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
使用条件变量实现线程同步的步骤如下: 1. 创建条件变量和互斥锁:首先,需要创建一个条件变量和一个互斥锁。条件变量用于线程的通信,互斥锁用于保护共享资源。 2. 加锁:在访问共享资源之前,需要先获取互斥锁,确保只有一个线程可以访问共享资源。 3. 检查条件:在访问共享资源之前,需要检查条件是否满足。如果条件不满足,则线程需要等待。 4. 等待条件:如果条件不满足,线程需要等待条件变量的通知。调用条件变量的等待函数,将线程置于等待状态,并释放互斥锁,允许其他线程访问共享资源。 5. 接收通知:当其他线程改变了共享资源,并满足了条件时,需要发送通知给等待的线程。调用条件变量的通知函数,唤醒一个或多个等待的线程。 6. 解锁:当接收到通知后,等待的线程被唤醒,需要重新获取互斥锁,并继续执行。 下面是一个使用条件变量实现线程同步的示例代码: ```c++ #include <iostream> #include <thread> #include <condition_variable> std::mutex mtx; std::condition_variable cv; bool ready = false; void worker_thread() { // 加锁 std::unique_lock<std::mutex> lock(mtx); // 检查条件 while (!ready) { // 等待条件 cv.wait(lock); } // 条件满足,执行任务 std::cout << "Worker thread is working." << std::endl; } int main() { // 创建工作线程 std::thread worker(worker_thread); // 做一些其他的工作... // 准备好条件 { std::lock_guard<std::mutex> lock(mtx); ready = true; } // 发送通知 cv.notify_one(); // 等待工作线程完成 worker.join(); return 0; } ```

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值