Condition详解

最新推荐文章于 2023-08-29 22:29:04 发布

悠然~

最新推荐文章于 2023-08-29 22:29:04 发布

阅读量1.8k

点赞数

分类专栏：多线程文章标签：多线程

本文链接：https://blog.csdn.net/wz122330/article/details/107511793

版权

多线程专栏收录该内容

22 篇文章 0 订阅

订阅专栏

Condition详解

传统上，我们可以通过synchronized关键字 + wait + notify/notifyAll 来实现多个线程之间的协调与通信，整个过程都是由JVM来帮助我们实现的；开发者无需（也无法）了解底层的细节。

从JDK 1.5开始，并发包提供了Lock，Condition（await与signal/signalAll）来实现多个线程之间的协调与通信，整个过程都是开发者来控制的，而且相比于传统方式，更加灵活，功能也更加强大。

Condition实际上就是将monitor的方法（wait、notify and notifyAll）放置到了各种各样的对象中，实现了一个对象拥有多个等待集合，通过使用任意一个Lock来实现将它们组合起来，用Lock来替换掉synchronized方法或块，Condition来替换掉对象monitor的方法。
Condition（condition队列或者condition变量）提供一种方式：可以让一个线程挂起执行，直到当某一个状态的条件变成了true，被另外一个线程通知。由于对共享的状态信息的访问是发生在不同的线程当中的，因此它必须受到保护，这样某种形式的lock就会关联到condition上。这个关键的属性就是等待一个条件，它会自动的释放于condition关联的锁，并且挂起当前线程，相当于Object.wait。
一个Condition天然的会被绑定到Lock上。我们要想获得一个特定的Lock实例所获得的一个Condition实例的话，就需要使用它的newCondition()放到。
Condition实现所提供的行为和语义可以和Object的monitor的方法是不一样的，比如说对于通知的确定性排序，或者在执行通知的时候不要求一定要持有这个锁。如果某个实现提供了这些专门化的语义，对于实现来说，必须在文档中详细的记录下来。有一定要避免这种混淆，永远不应该用这种方式去使用Condition，除非是在它们的内部实现当中。
注意，Condition实例仅仅就是普通对象，可以被用作synchronized代码块的目标，而且它们拥有自己的监视器的wait和notification方法也会被执行。获取到一个Condition实例的monitor锁，或者使用它的monitor方法，与获取Lock和Lock相关联的Condition以及使用它们的wating和signalling方法是没有任何关系的。

Condition应该总是在一个循环当中等待，排查假唤醒的发生。

   class BoundedBuffer {
     final Lock lock = new ReentrantLock();
     final Condition notFull  = lock.newCondition(); 
     final Condition notEmpty = lock.newCondition(); 
  
     final Object[] items = new Object[100];
     int putptr, takeptr, count;
  
     public void put(Object x) throws InterruptedException {
       lock.lock();
       try {
         while (count == items.length)
           notFull.await();
         items[putptr] = x;
         if (++putptr == items.length) putptr = 0;
         ++count;
         notEmpty.signal();
       } finally {
         lock.unlock();
       }
     }
  
     public Object take() throws InterruptedException {
       lock.lock();
       try {
         while (count == 0)
           notEmpty.await();
         Object x = items[takeptr];
         if (++takeptr == items.length) takeptr = 0;
         --count;
         notFull.signal();
         return x;
       } finally {
         lock.unlock();
       }
     }
   }

Condition newCondition()返回一个绑定这个Lock实例的Condition实例。
在等待条件发生之前，当前线程要持有这把锁。对于Condition.await()的调用将会在等待之前自动释放锁，并且在wait方法返回之前尝试重新获取到这把锁。

Condition提供的方法

    void await() throws InterruptedException;
    void awaitUninterruptibly();
    long awaitNanos(long nanosTimeout) throws InterruptedException;
    boolean await(long time, TimeUnit unit) throws InterruptedException;
    boolean awaitUntil(Date deadline) throws InterruptedException;
    void signal();
    void signalAll();

await()方法

await方法会导致线程等待，直到被通知（另外一个线程调用了signal/signalAll）或者被中断。
当我们调用了Condition的await方法之后，与Condition所关联的锁将会被当前线程自动释放，然后，当前线程将无法进行调度直到以下四种情况发生：

其他线程调用了这个Condition的signal方法，而且当前线程恰巧被选为要被唤醒的线程。
其他线程调用了这个Condition的signalAll方法。
其他线程中断了当前线程，而且支持线程中断的挂起。
出现“假唤醒”。
以上所有情况，在await能返回之前，当前线程必须重新获取到与这个condition关联的锁。当线程返回的时候，确保线程持有这把锁。

awaitUninterruptibly()方法

awaitUninterruptibly方法会导致线程等待，直到被通知（另外一个线程调用了signal/signalAll）。
当我们调用了Condition的awaitUninterruptibly方法之后，与Condition所关联的锁将会被当前线程自动释放，然后，当前线程将无法进行调度直到以下三种情况发生：

其他线程调用了这个Condition的signal方法，而且当前线程恰巧被选为要被唤醒的线程。
其他线程调用了这个Condition的signalAll方法。
出现“假唤醒”。

awaitNanos(long)方法&&boolean await(long time, TimeUnit unit)

awaitNanos方法会导致线程等待，直到被通知（另外一个线程调用了signal/signalAll）或者被中断或者指定的等待时间已经过去。
当我们调用了Condition的awaitNanos方法之后，与Condition所关联的锁将会被当前线程自动释放，然后，当前线程将无法进行调度直到以下四种情况发生：

其他线程调用了这个Condition的signal方法，而且当前线程恰巧被选为要被唤醒的线程。
其他线程调用了这个Condition的signalAll方法。
其他线程中断了当前线程，而且支持线程中断的挂起。
指定的等待时间已经过去，线程仍然没有被调度，处于等待状态。
出现“假唤醒”。

awaitNanos方法会返回一个给定超时时间剩下的时间的近似纳秒数（超时时间-等待时间），如果超时还有可能返回一个小于或者等于0的值。这个值可以用来去决定是否以及多长时间需要重新进行等待。

       boolean aMethod(long timeout, TimeUnit unit) {
        long nanos = unit.toNanos(timeout);
        lock.lock();
        try {
          while (!conditionBeingWaitedFor()) {
            if (nanos <= 0L)
              return false;
            nanos = theCondition.awaitNanos(nanos);
          }
          // ...
        } finally {
          lock.unlock();
        }
      }

设计原则，这个方法需要一个纳秒的参数来避免去返回剩余时间结论上的错误。这种精度的损失可能对于程序员来说是非常困难的，用它来确保整体的等待时间。（时间不是完全精准的）

boolean await(long time, TimeUnit unit) throws InterruptedException;
等价于
long awaitNanos(long nanosTimeout) throws InterruptedException;

awaitUntil(Date deadline)

直到未来的某个时间点的时候，如果线程还在等待，则返回false，否则返回true。

       boolean aMethod(Date deadline) {
        boolean stillWaiting = true;
        lock.lock();
        try {
          while (!conditionBeingWaitedFor()) {
            if (!stillWaiting)
              return false;
            stillWaiting = theCondition.awaitUntil(deadline);
          }
          // ...
        } finally {
          lock.unlock();
        }
      }

signal()方法

唤醒一个等待的线程。
如果在等待的condition上有多个线程在等待则唤醒其中的一个（底层通过单向链表实现，唤醒第一个节点）。这个线程在await返回之前必须重新获取到这把锁。

signalAll()方法

唤醒所有处于等待状态的线程。
如果有个线程在condition上等待，它们都会被唤醒。每个线程也要重新获取到锁之后才能从await返回。

package com.learn.thread.condition;

import java.util.Arrays;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
import java.util.stream.IntStream;

public class ConditionTest2 {

    public static void main(String[] args) {
        BoundedContainer bc = new BoundedContainer();

        IntStream.range(0, 15).forEach(i -> new Thread(() -> {
            System.out.println(bc.take());
        }).start());

        IntStream.range(0, 15).forEach(i -> new Thread(() -> {
            bc.put("元素" + i);
        }).start());
    }

}

class BoundedContainer {
    private String[] elements = new String[10];
    private Lock lock = new ReentrantLock();
    private Condition notFull = lock.newCondition();
    private Condition notEmpty = lock.newCondition();

    // element count
    private int count;
    private int putIndex, takeIndex;

    void put(String element) {
        this.lock.lock();
        try {
            while (this.count == this.elements.length) {
                notFull.await();
            }
            elements[putIndex] = element;

            if (++putIndex == this.elements.length) {
                putIndex = 0;
            }
            ++count;

            System.out.println("put method: " + Arrays.toString(elements));
            notEmpty.signal();
        } catch (InterruptedException e) {
            e.printStackTrace();
        } finally {
            this.lock.unlock();
        }
    }

    String take() {
        this.lock.lock();
        try {
            while (this.count == 0) {
                notEmpty.await();
            }

            String element = elements[takeIndex];
            elements[takeIndex] = null;
            if (++takeIndex == this.elements.length) {
                takeIndex = 0;
            }
            --count;

            System.out.println("take method: " + Arrays.toString(elements));
            notFull.signal();

            return element;
        } catch (InterruptedException e) {
            e.printStackTrace();
        } finally {
            this.lock.unlock();
        }
        return null;
    }
}

程序执行结果

"D:\Program Files (x86)\java\jdk8_152\bin\java" "-javaagent:D:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2018.1\lib\idea_rt.jar=65493:D:\Program Files\JetBrains\IntelliJ IDEA Community Edition 2018.1\bin" -Dfile.encoding=UTF-8 -classpath "D:\Program Files (x86)\java\jdk8_152\jre\lib\charsets.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\deploy.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\access-bridge-64.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\cldrdata.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\dnsns.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\jaccess.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\jfxrt.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\localedata.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\nashorn.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\sunec.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\sunjce_provider.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\sunmscapi.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\sunpkcs11.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\ext\zipfs.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\javaws.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\jce.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\jfr.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\jfxswt.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\jsse.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\management-agent.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\plugin.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\resources.jar;D:\Program Files (x86)\java\jdk8_152\jre\lib\rt.jar;E:\code\interview\thread\out\production\thread" com.learn.thread.condition.ConditionTest2
put method: [元素1, null, null, null, null, null, null, null, null, null]
put method: [元素1, 元素0, null, null, null, null, null, null, null, null]
put method: [元素1, 元素0, 元素2, null, null, null, null, null, null, null]
take method: [null, 元素0, 元素2, null, null, null, null, null, null, null]
元素1
put method: [null, 元素0, 元素2, 元素3, null, null, null, null, null, null]
put method: [null, 元素0, 元素2, 元素3, 元素5, null, null, null, null, null]
take method: [null, null, 元素2, 元素3, 元素5, null, null, null, null, null]
元素0
take method: [null, null, null, 元素3, 元素5, null, null, null, null, null]
元素2
put method: [null, null, null, 元素3, 元素5, 元素4, null, null, null, null]
take method: [null, null, null, null, 元素5, 元素4, null, null, null, null]
元素3
take method: [null, null, null, null, null, 元素4, null, null, null, null]
元素5
take method: [null, null, null, null, null, null, null, null, null, null]
元素4
put method: [null, null, null, null, null, null, 元素8, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素8
put method: [null, null, null, null, null, null, null, 元素9, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素9
put method: [null, null, null, null, null, null, null, null, 元素10, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素10
put method: [null, null, null, null, null, null, null, null, null, 元素12]
take method: [null, null, null, null, null, null, null, null, null, null]
元素12
put method: [元素13, null, null, null, null, null, null, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素13
put method: [null, 元素14, null, null, null, null, null, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素14
put method: [null, null, 元素6, null, null, null, null, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素6
put method: [null, null, null, 元素7, null, null, null, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素7
put method: [null, null, null, null, 元素11, null, null, null, null, null]
take method: [null, null, null, null, null, null, null, null, null, null]
元素11

Process finished with exit code 0

悠然~

关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
0
评论
Condition详解

Condition详解传统上，我们可以同个synchronized关键字 + wait + notify/notifyAll 来实现多个线程之间的协调与通信，整个过程都是由JVM来帮助我们实现的；开发者无需（也无法）了解底层的细节。从JDK 1.5开始，并发包提供了Lock，Condition（await与signal/signalAll）来实现多个线程之间的协调与通信，整个过程都是开发者来控制的，而且相比于传统方式，更加灵活，功能也更加强大。Condition newCondition()返回一个绑
复制链接

扫一扫