java并发condition_Java并发编程Condition

阳光穿透心脏的1/2处 2022-10-23 08:22 210阅读 0赞

![493b623f9ba3fde75f310864a320db0c.png][]

2014拍摄于四川羌族藏族自治区郎木寺，前面的山就是甘肃了与四川只有一条两米宽的水流很大的小河相隔。

![c1c8b97a76cbac8873dad514fd65c735.png][]

王皓的GitHub：https://github.com/TenaciousDWang

今天填以前挖的坑，说一下Condition，用于配合Lock实现线程间通信的同步辅助类，可替代以往我们使用 synchronized 关键字，配合 Object 的 wait()、notify() 系列方法可以实现等待/通知模式。

![632191748d849790b727babb523a1070.png][]

Condition是一个接口，JDK1.5之后加入，这种方式实现线程间协作更加安全和高效。因此通常来说比较推荐使用Condition，阻塞队列实际上是使用了Condition来模拟线程间协作。

为了便于理解，这里先简单用Condition中三个主要方法对应Object中使用的方法，先有一个大致的概念。

Conditon中的await()对应Object的wait()。

Condition中的signal()对应Object的notify()。

Condition中的signalAll()对应Object的notifyAll()。

Lock 接口中有个 newCondition() 方法。通过这个方法可以获得 Condition 对象,其实就是 ConditionObject。

![ca6038b5652915f1ae52f3b70e240bc7.png][]

先写一个简单的Demo来看一下Condition的使用，后面我们再分析一下Condition的实现。

![39b37de0da10398d946c210d93096537.png][]

先创建一个Lock对象，然后使用lock的newCondition获取Condition对象，接下来我们定义生产者与消费者，为了方便(懒)使用内部类直接写。

![967b3b62c24fb0020bb6746568189f0d.png][]

![43ec854c4d9d91cd145a558ed4952414.png][]

这里需要注意Condition的使用必须介于lock方法与unlock方法之间，消费者开始执行后，调用await方法进行阻塞，这时Consumer线程挂起，其实就是Consumer释放了锁，等待唤醒，被阻塞在Condition对象上的生产者线程此时获得了锁，生产者开始执行，执行结束后调用condition对象的signal方法用来唤醒被阻塞在condition对象的上的消费者线程，此时消费者线程才开始执行，打印消费者执行结束。我们来看一下执行后的打印结果。

![5e405f6a0ace3b06c95ab311a3dfbe3d.png][]

Condition是一个多线程间协调通信的工具类，使得某个，或者某些线程一起等待某个条件(Condition),只有当该条件具备( signal 或者 signalAll方法被带调用)时 ，这些等待线程才会被唤醒，从而重新争夺锁。

Condition的实现类位于AQS类里，是AQS的一个内部类ConditionObject。

接下来我们来简单分析一下Condition的实现。

![d3704e9c142fe3bad80ebac1cf9d3c35.png][]

可以看到，等待队列和同步队列一样，使用的都是同步器 AQS 中的节点类 Node。同样拥有首节点firstWaiter和尾节点lastWaiter，每个 Condition 对象都包含着一个 FIFO 队列。

addConditionWaiter方法用于将当前线程包装成AQS里的Node类放入 FIFO 队列，其实就是一个链表。

接下来我们来看一下Consumer调用await方式时发生了什么。

![ce06c66b26bc86ac505520160ecd1e5f.png][]

首先使用addConditionWaiter方法将当前线程包装为Node类，然后调用fullyRelease(node)释放当前线程占有的锁。

释放锁完毕后，while (!isOnSyncQueue(node)) 循环判断当前Node是否存在于队列中。

![7d6368753cf29648d9ede6b87189de62.png][]

如果不存在，说明还没有资格去竞争锁，所以继续沉睡等待加入队列后被唤醒。

LockSupport.park(this)为阻塞当前线程，如果if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)说明中断直接 break跳出。

如果存在则跳出当前循环，如何被放入队列，你可能已经知道了，我们后面来说，跳出循环后，重新开始正式竞争锁，同样，如果竞争不到还是会将自己沉睡，等待唤醒重新开始竞争。

接下来我们来看一下生产者执行完成后调用signal()来唤醒Consumer的过程。

![5f0079c7a31ba1f5d8c6832775a5786a.png][]

可以唤醒等待队列的首节点(等待时间最长)，唤醒之前会将该节点移动到同步队列中。firstWaiter为condition自己维护的一个链表的头结点，取出第一个节点后开始唤醒操作doSignal(first)。

![8d8a4417797695cdcdf72e0f0607e978.png][]

调用 transferForSignal() 方法将节点移动到同步队列。

![a27cb3c215f0deb126e512e4c691adf0.png][]

先改变Node状态为0，然后enq(node)加入同步队列。

![3b7499213bd70a807ba048a0bc8337ae.png][]

最后LockSupport.unpark(node.thread);用来唤醒线程。

然后我们来看一下signalAll方法原理同signal差不多，只是将所有Node从Condition的FIFO队列中取出直到first为null为止，移动到同步队列中来，唤醒每个节点的线程来竞争锁。

![b3f628449be7819827a3b5f9046b1c04.png][]

![d14a81654f3a5bc926e6af599701f180.png][]

关于"虚假唤醒"，通常Condition与if条件判断语句结合使用，但是这里不建议使用if，例如：

if(!条件)\{

condition.await(); //不满足条件，当前线程等待；

更推荐使用while来判断条件，例如：

while(!条件)\{

condition.await(); //不满足条件，当前线程等待；

什么是虚假唤醒，我们来举一个例子，假设我们现在有一个生产者，两个消费者，一个队列。

1、1号消费者从队列中获取了一个元素，此时队列变为空。

2、2号消费者也想从队列中获取一个元素，但此时队列为空，2号消费者便只能进入阻塞condition.await()，等待队列非空。

3、这时，生产者将一个元素放入队列，并调用condition.signal()唤醒条件变量。

4、处于等待状态的2号消费者接收到生产者的唤醒信号，便准备解除阻塞状态去获取队列中的元素。

5、但是这时可能却出现以下情况：当2号消费者准备获得队列的锁，去获取队列中的元素时，此时1号消费者刚好执行完之前的元素操作，返回再去请求队列中的元素，1号消费者便获得队列的锁，检查到队列非空，就获取到了生产者刚刚放入队列的元素，然后释放队列锁。

6、等到2号消费者获得队列锁，判断发现队列仍为空，1号消费者已经拿走了这个元素，所以对于2号消费者而言，这次唤醒就是“虚假”的，它需要再次等待队列非空。

原因为多核处理器会唤醒阻塞在条件变量上的多个线程，如果用if判断，多个等待线程在满足if条件时都会被唤醒(虚假的)，但实际上条件并不满足，生产者生产出来的消费品已经被第一个线程消费了。

以上虚假唤醒参考自：https://stackoverflow.com/questions/8594591/why-does-pthread-cond-wait-have-spurious-wakeups

最后来举几个使用Condition的经典例子，顺序打印ABC。

创建ABCLogic类，然后创建一个Lock，获取三个Condition，设置初始类型为A。

![ebc1393e8ae63632decf307d613b8789.png][]

创建打印A,B,C的方法。

![fc6d4ddc6ef6e1df9d9bbaeb35d4fd2a.png][]

![d4f1dc4b88ff0367f9d5537d2fa89763.png][]

![faa90d28469bb02f303d1bee5babcbdc.png][]

最后使用main方法将A,B,C各打印五次。

![20611f3b60e5520adc8cc4a77e05c714.png][]

执行结果为：

![a36509d5baa7500da64ff42529c26997.png][]

最后我们再使用经典生产者与消费者模型来写一下实例。

首先用传统synchronized与wait和notify来实现。

![289b8ee022864183a904babdc2e959a9.png][]

![8e638fa3b50e19cd484eee20aad82456.png][]

![6f14cad09bf23dc0595e1bc42bf33bfc.png][]

接下来来我们使用Condition来实现。

![39f5ac8c943c5a4ae6468e07075b5f0b.png][]

![fd7e9cd3cad12ec98bb02b122d61e9fb.png][]

![d466b741eae2409ff0ef528e6fd61e8b.png][]

最后再复习一下使用阻塞队列来实现生产者与消费者模型。

![37aab0549ac0ad9d7ea6f8a633f2f9ca.png][]

![b43efa8d9d46e67df36b9c792602404d.png][]

使用阻塞式队列就可以不用像非阻塞式队列需要手动挂起与唤醒，其内部实现已经帮我们全部实现了。

[493b623f9ba3fde75f310864a320db0c.png]: /images/20221023/f28975f62f9b471985c2bb083d19634f.png
[c1c8b97a76cbac8873dad514fd65c735.png]: /images/20221023/5b2392d5f39e43778e344d917c1dface.png
[632191748d849790b727babb523a1070.png]: /images/20221023/38bfa440b1a048cca5f2e53fd3d7d021.png
[ca6038b5652915f1ae52f3b70e240bc7.png]: /images/20221023/214ca3ffacfe4a398c4a75139804c70e.png
[39b37de0da10398d946c210d93096537.png]: /images/20221023/3a3e685978bc40a5b7b326c1b4eb1edb.png
[967b3b62c24fb0020bb6746568189f0d.png]: /images/20221023/c6438e037c694ee39f42c2e0ad5e2429.png
[43ec854c4d9d91cd145a558ed4952414.png]: /images/20221023/3ee05b3b459d4c0c88f5a3ceb4e063fc.png
[5e405f6a0ace3b06c95ab311a3dfbe3d.png]: /images/20221023/b7d13d7f875043b0893425acbbdf21a8.png
[d3704e9c142fe3bad80ebac1cf9d3c35.png]: /images/20221023/41a9041ab1f04453b7c6a5f6500bbd59.png
[ce06c66b26bc86ac505520160ecd1e5f.png]: /images/20221023/077658fcdfba4f87b9c26a8afdc762f5.png
[7d6368753cf29648d9ede6b87189de62.png]: /images/20221023/0894d2889a9b4cdbbde6b29575ee4d2f.png
[5f0079c7a31ba1f5d8c6832775a5786a.png]: /images/20221023/824ead14611447989a4375c62c97def2.png
[8d8a4417797695cdcdf72e0f0607e978.png]: /images/20221023/4d252ec3ddfd49b8bc6c4bb12f6d2829.png
[a27cb3c215f0deb126e512e4c691adf0.png]: /images/20221023/cc11c8d18144434b952ed611640d4466.png
[3b7499213bd70a807ba048a0bc8337ae.png]: /images/20221023/ca5709ea6082442b986b9635d62c8ac1.png
[b3f628449be7819827a3b5f9046b1c04.png]: /images/20221023/50a90dcd10484973aad02629fcd9b745.png
[d14a81654f3a5bc926e6af599701f180.png]: /images/20221023/8b677cab9f2e4ac6a8b2bd2d6b68300e.png
[ebc1393e8ae63632decf307d613b8789.png]: /images/20221023/7dc393c38c404d14a6aa2ffdb59d1606.png
[fc6d4ddc6ef6e1df9d9bbaeb35d4fd2a.png]: /images/20221023/a999bbbd81df4c169af7b8fc54f069f1.png
[d4f1dc4b88ff0367f9d5537d2fa89763.png]: /images/20221023/554a6cf95dc34c0ebd852db8d5ec0530.png
[faa90d28469bb02f303d1bee5babcbdc.png]: /images/20221023/b6e0cd9581e146e2b7b0ba9fb2a1b87e.png
[20611f3b60e5520adc8cc4a77e05c714.png]: /images/20221023/50d9a6e404554a199a266373741a049a.png
[a36509d5baa7500da64ff42529c26997.png]: /images/20221023/48b5e51232fd4d9681f7aeb0b4d13c9f.png
[289b8ee022864183a904babdc2e959a9.png]: /images/20221023/26889ee6b65f4e179ce80b288696588e.png
[8e638fa3b50e19cd484eee20aad82456.png]: /images/20221023/6854139e2baf433780b63bc16a4ccfe2.png
[6f14cad09bf23dc0595e1bc42bf33bfc.png]: /images/20221023/074eeb7a7fad427097897566f8cc3b2f.png
[39f5ac8c943c5a4ae6468e07075b5f0b.png]: /images/20221023/e706c7e8fb084abd81f83073f3059f05.png
[fd7e9cd3cad12ec98bb02b122d61e9fb.png]: /images/20221023/ad711c2fe0d8428ba29b17ec08e2e5e8.png
[d466b741eae2409ff0ef528e6fd61e8b.png]: /images/20221023/e9c08613e78143dd8445b700f86292da.png
[37aab0549ac0ad9d7ea6f8a633f2f9ca.png]: /images/20221023/13d9193eb89b49b99ac8293f646289c7.png
[b43efa8d9d46e67df36b9c792602404d.png]: /images/20221023/413fc622850747699ee407f6012b7abd.png