线程间通信wait和notify【All】简介

1.通信就是指相互交换一些数据或者发送一些控制指令,比如一个线程给另一个暂停执行的线程发送一个恢复执行的指令。

可变共享变量是天然的通信媒介,也就是说一个线程如果想和另一个线程通信的话,可以修改某个在多线程间共享的变量,另一个线程通过读取这个共享变量来获取通信的内容。

2.这里边就不得不提wait/notify机制了:

当一个线程获取到锁之后,如果发现条件1不满足,那就主动让出锁(ps:wait使当前线程让出对象锁x1,即x1.wait()),然后把这个线程放到一个等待队列等待去,等到其他某个线程把这个条件1变成ture之后,就通知等待队列里的线程他们等待的条件满足了,可以继续运行啦(ps:通知某个等待线程竞争到锁之后,进入就绪状态,等待时间片再运行)

java里规定了每一个锁都对应了一个等待队列,也就是说如果一个线程在获取到锁之后发现某个条件不满足,就主动让出锁然后把这个线程放到与它获取到的锁对应的那个等待队列里,另一个线程在完成对应条件时需要获取同一个锁,在条件完成后通知它获取的锁对应的等待队列(ps:对象锁x1.notify())。这个过程意味着锁和等待队列建立了一对一关联。

3.代码格式如下:

//wait格式
synchronized (对象) { 处理逻辑(可选)
while(条件不满足) { 对象.wait(); } 处理逻辑(可选) }
  1. 获取对象锁。

  2. 如果某个条件不满足的话,调用锁对象的wait方法,被通知后仍要检查条件是否满足。

  3. 条件满足则继续执行代码

//notify格式
synchronized (对象) { 完成条件 对象.notifyAll();、 } 静态同步方法的锁对象可以是该类的`Class对象`,成员同步方法的锁对象可以是`this对象`。
  1. 获得对象的锁。

  2. 完成条件。

  3. 通知在等待队列中的等待线程。

4.误区分析

  误区-1:为什么必须在同步代码块中调用wait、 notify或者notifyAll方法。

  wait和notify作用于多个线程,彼此之间是互斥的,使用同步确保原子性操作,如果不使用的话,可能会出现如下执行情况

  

也就是说当等待线程已经判断条件不满足,正要执行wait方法,此时通知线程抢先把条件完成并且调用了notify方法,之后等待线程才执行到wait方法,这会导致等待线程永远停留在等待队列而没有人再去notify它。所以等待线程中的判断条件是否满足、调用wait方法和通知线程中完成条件、调用notify方法都应该是原子性操作,彼此之间是互斥的,所以用同一个锁来对这两个原子性操作进行同步,从而避免出现等待线程永久等待的尴尬局面。

另外不加锁使用的话,对象.wait();运行会抛出IllegalMonitorStateException异常

并且不能随便调用某个对象的wait,对象一定要跟同步对象一致:

synchronized (对象1) {
    while(条件不满足) {
        对象2.wait();    //随便调用一个对象的wait方法
    }
}

synchronized (对象1) {
    完成条件
    对象2.notifyAll();
}
对于代码对象2.wait(),表示让出当前线程持有的对象2的锁,而当前线程持有的是对象1的锁,所以这么写是错误的,也会抛出IllegalMonitorStateException异常的。意思就是如果当前线程不持有某个对象的锁,那它就不能调用该对象的wait方法来让出该锁。所以如果想让等待线程让出当前持有的锁,只能调用对象1.wait()。然后这个线程就被放置到与对象1相关联的等待队列中,在通知线程中只能调用对象1.notifyAll()来通知这些等待的线程了。

误区2-在等待线程判断条件是否满足时,应该使用while,而不是if。

这个是因为在多线程条件下,可能在一个线程调用notify之后立即又有一个线程把条件改成了不满足的状态,之后调用wait的线程获得cpu和锁,开始执行,当前条件是不满足的,肯定不能往下执行,还需要再 走一次while条件验证,满足条件才继续往下执行,不满足的话继续wait。并且整个同步代码块执行完,才会释放锁,单独调用notify是不会释放锁的。

 

 

 

    

 

转载于:https://www.cnblogs.com/hongchengshise/p/10415894.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++ 线程间通信可以使用互斥锁(mutex)、条件变量(condition variable)等机制来实现。下面是一个简单的例子: ```c++ #include <iostream> #include <thread> #include <mutex> #include <condition_variable> std::mutex mtx; std::condition_variable cv; bool ready = false; void funcA() { // 这里做一些耗时的操作 std::this_thread::sleep_for(std::chrono::seconds(1)); // 加锁 std::unique_lock<std::mutex> lck(mtx); // 设置 ready 标志位为 true ready = true; // 通知等待的线程 cv.notify_all(); } void funcB() { // 加锁 std::unique_lock<std::mutex> lck(mtx); // 等待 ready 标志位为 true cv.wait(lck, []{ return ready; }); // ready 标志位为 true 时执行下面的代码 std::cout << "Hello, world!" << std::endl; } int main() { // 创建两个线程 std::thread t1(funcA); std::thread t2(funcB); // 等待两个线程结束 t1.join(); t2.join(); return 0; } ``` 其,`funcA` 线程会在执行完一些耗时的操作后设置 `ready` 标志位为 true,并通知等待的线程。`funcB` 线程会等待 `ready` 标志位为 true 后输出一条消息。 在这个例子,我们使用一个互斥锁和一个条件变量来实现线程间通信。`std::unique_lock` 是一个 RAII 封装的互斥锁,它可以自动释放锁。`std::condition_variable` 是一个条件变量,它可以在等待时自动释放锁,并在通知时重新获取锁。在等待时,`cv.wait(lck, predicate)` 会释放锁并等待条件变量被通知。`predicate` 是一个可调用对象,用于判断条件是否满足。在通知时,`cv.notify_all()` 会通知所有等待的线程,并重新获取锁。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值