互斥锁和条件变量的区别与应用

26 篇文章 0 订阅

两个线程操作同一临界区时,通过互斥锁保护,若A线程已经加锁,B线程再加锁时候会被阻塞,直到A释放锁,B再获得锁运行,线程B必须不停的主动获得锁、检查条件、释放锁、再获得锁、再检查、再释放,一直到满足运行条件的时候才可以(而此过程中其他线程一直在等待该线程的结束),这种方式是比较消耗系统资源的。
条件变量同样是阻塞,还需要通知才能唤醒,线程被唤醒后,它将重新检查判断条件是否满足,如果还不满足,该线程就休眠了,仍阻塞在这里,等待条件满足后被唤醒,节省了线程不断运行浪费的资源。这个过程一般用while语句实现。
当线程B发现被锁定的变量不满足条件时会自动的释放锁并把自身置于等待状态,让出CPU的控制权给其它线程。
其它线程此时就有机会进行操作,当修改完成后再通知那些由于条件不满足而陷入等待状态的线程。这是一种通知模型的同步方式,大大的节省了CPU的计算资源,减少了线程之间的竞争,而且提高了线程之间的系统工作的效率。这种同步方式就是条件变量。

以上说明可能有点抽象,考虑这样的简单场景:通过伪代码说明。

A线程从队列中取元素,B线程往队列中存放元素。不考虑免锁的实现。需要一个mutex用来保护队列的一致性,避免两个线程同时操作队列破坏数据结构。

当队列为空的时候,A需要不断的探测队列状态:
while(1)

    if(队列为空)
    {
        休眠10s
    }
    else
    {
        加锁
        取元素
        解锁
     }
}
这就有一个问题,可能在刚进入休眠时,B放入元素了,但仍然需要休眠完整个10s的时间。造成不必要的延迟。当然如果不sleep也可以,但会造成不必要的CPU开销。
使用基于条件变量的事件通知唤醒机制,就可以避免这些问题。

一旦B放入元素完成后就执行pthread_cond_signal(),当前阻塞的线程就会立即被唤醒开始干活儿。
while(1)
{
    pthread_mutex_lock();
    pthread_cond_wait();
    取元素;
    pthread_mutex_unlock();
}

注意:条件变量都用互斥锁进行保护,条件变量状态的改变都应该先锁住互斥锁,
pthread_cond_wait()需要传入一个已经加锁的互斥锁,该函数把调用线程加入等待条件的调用列表中,然后释放mutex。
在条件满足从而离开pthread_cond_wait()时,重新对mutex加锁,这两个操作都是原子操作。

pthread_cond_signal通过条件变量cond发送消息,若多个消息在等待,它只唤醒一个。pthread_cond_broadcast可以唤醒所有。
调用pthread_cond_signal后要立刻释放互斥锁,因为pthread_cond_wait的最后一步是要将指定的互斥量重新锁住,如果pthread_cond_signal之后没有释放互斥锁,pthread_cond_wait仍然要阻塞。
pthread_mutex_lock();   
pthread_cond_signal();   
pthread_mutex_unlock();

条件变量为什么要与pthread_mutex一起使用呢?这是为了应对线程1在调用pthread_cond_wait()但线程1还没有进入wait cond的状态的时候,此时线程2调用了cond_singal的情况。 如果不用mutex锁的话,这个cond_singal就丢失了。加了锁的情况是,线程2必须等到mutex被释放(也就是 pthread_cod_wait()释放锁并进入wait_cond状态,此时线程2上锁)的时候才能调用cond_singal。

示例代码:

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <pthread.h>
 
int done = 0;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
 
void thread_exit()
{
    pthread_mutex_lock(&mutex);
 
    done = 1;
 
    pthread_cond_signal(&cond);

    sleep(10);
    printf("1111111\n");
    pthread_mutex_unlock(&mutex);
}
 
void *child(void *args)
{
    printf("child\n");
 
    thread_exit();
 
    return NULL;
}
 
void thread_join()
{
    pthread_mutex_lock(&mutex);
 
    while(done == 0)
    {
        printf("0000000\n");
        pthread_cond_wait(&cond, &mutex);
    }

    printf("2222222\n"); 
    pthread_mutex_unlock(&mutex);
}
 
int main()
{
    pthread_t p;
 
    printf("parent begin\n");
 
    pthread_create(&p, NULL, child, NULL);
 
    thread_join();
 
    printf("parend end\n");
 
    pthread_join(p, NULL);
 
    return 0;
}

相关文章:

https://www.cnblogs.com/wsw-seu/p/8036186.html
https://www.jb51.net/article/102764.htm

 

  • 3
    点赞
  • 17
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: 互斥锁:对于一个写操作,可以使用互斥锁来阻止其他线程读取同一个变量或者资源。读写锁:如果多个线程同时访问一个变量或资源,可以使用读写锁来保证线程安全。条件变量:当某线程需要等待另一个线程完成某任务时,可以使用条件变量来实现。信号量:可以使用信号量来控制同时访问的线程数量,从而保证线程安全。屏障:当多个线程需要在某个时刻同步执行时,可以使用屏障来阻止其他线程继续执行,直到所有线程都到达屏障。 ### 回答2: 互斥锁、读写锁、条件变量、信号量、屏障是操作系统中常用的同步原语,用于多线程或多进程之间的协调和同步。下面举几个例子来说明它们的应用: 1. 互斥锁互斥锁是最常见且基础的同步原语,用来保护临界区,确保同一时间只有一个线程可以访问共享资源。例如,在多线程编程中,多个线程需要访问共享的全局变量,我们可以使用互斥锁来保证线程的互斥访问。 2. 读写锁: 读写锁是一种特殊的锁,它分为读锁和写锁。多个线程可以同时获取读锁,但只有一个线程可以获取写锁。读写锁适用于读多写少的场景,可以提高读操作的并发性。例如,在一个文件缓存系统中,多个线程可以同时读取缓存的文件内容,但只有一个线程可以写入缓存。 3. 条件变量条件变量用于线程间的等待和通知机制,能够在满足特定条件时唤醒等待的线程。例如,在生产者-消费者模型中,生产者需要等待缓冲区不满时才能继续生产,消费者需要等待缓冲区不空时才能继续消费。条件变量可以通过等待和通知的方式实现线程的同步。 4. 信号量: 信号量用于控制对临界资源的访问数量。可以将信号量看作是一个计数器,当资源被占用时,计数器减1,当资源被释放时,计数器加1。例如,在操作系统中,可以使用信号量来限制一个资源的并发访问数量,比如限制同时访问数据库的连接数量。 5. 屏障: 屏障用于控制多个线程在某个点上的同步,即在该点前的线程必须等待所有线程都到达该点才能继续执行。例如,在一个并行计算任务中,可能需要多个线程在某个阶段完成计算后再进入下一个阶段,这时可以使用屏障来同步各个线程的执行。 ### 回答3: 互斥锁是一种保护共享资源的锁,在同一时刻只允许一个线程对共享资源进行操作。例如,当多个线程同时访问一个共享计数器时,互斥锁可以保证每次只有一个线程能够增加或减少计数器的值,避免了竞态条件的发生。 读写锁是一种更高级别的锁,允许多个线程同时读取共享资源,但只允许一个线程进行写操作。例如,在一个并发读写文件的场景中,读写锁可以保证多个线程可以同时读取文件的内容,但只允许一个线程进行写入操作。 条件变量是一种用于线程间通信的机制,可以通知等待的线程某个特定的条件已经满足。例如,在一个生产者-消费者模型中,当缓冲区满时,生产者线程可以通过条件变量通知消费者线程可以消费数据了。 信号量是一种用于控制多个线程并发访问共享资源的机制。例如,当有限数量的资源需要在多个线程间共享时,可以使用信号量来限制资源的并发访问数量,从而避免资源的过度竞争。 屏障用于线程同步,可以让多个线程在某个特定的点上等待,直到所有线程都到达该点才能继续执行。例如,当多个线程并行执行任务,但需要等待所有线程都完成自己的任务后再进行下一步操作时,可以使用屏障来实现线程间的同步。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值