java - 条件变量的await()释放锁吗？

Question

譬如下面的两个条件变量 isEmpty和isFull
当调用他们的await()时，lock.lock()上的锁会被释放吗？

这里有3个对象，一个i哦是lock，一个是isEmpty，一个是isFull
上锁的对象是lock，而不是isEmpty或者isFull
那isFull或者isEmpty释放的锁确实lock上的?

private volatile boolean usedData = true;//mutex for data
private final Lock lock = new ReentrantLock();
private final Condition isEmpty = lock.newCondition();
private final Condition isFull = lock.newCondition();

public void setData(int data) throws InterruptedException {
    lock.lock();
    try {
        while(!usedData) {//wait for data to be used
            isEmpty.await();
        }
        this.data = data;
        isFull.signal();//broadcast that the data is now full.
        usedData = false;//tell others I created new data.          
    }finally {
        lock.unlock();//interrupt or not, release lock
    }       
}

Answer 1

await のドキュメントには次の文があります: この条件に関連付けられたロックはアトミックに解放されます

Answer 2

ご招待ありがとうございます。
答え:

リーリー

await() の機能は、他のスレッドが競合するリソースにアクセスできるようにすることであるため、一時停止状態は競合するリソースのロックを解放することになります。 java
SE5のjava.util.concurrentクラスライブラリでは、相互排他を利用してタスクの一時停止を可能にする基本クラスがConditionです。外部条件が変化した場合、それは特定のタスクを一時停止することを意味します。タスクは実行を継続でき、signal() を通じてタスクに通知できます。

どのような状況でもロックを確実に解放できるように、各 lock() 呼び出しの後に try-finally 節を続ける必要があります。 タスクは、await()、signal()、signalAll() を呼び出す前に、このロックを所有している必要があります。