条件锁定在通知后和释放前发生了什么

Question

# Consume one item (thread 1)
cv.acquire()
while not an_item_is_available():
    cv.wait()
get_an_available_item()
cv.release()

# Produce one item (thread 2)
cv.acquire()
make_an_item_available()
cv.notify()
cv.release()

我在https://stackoverflow.com/a/17337630/1497720中发现，但它是针对Java的：

这维护了两个datastructures-一个等待集和一个条目集。等待线程被添加到等待集中并停放，而试图获取监视器的线程被添加到条目集中并停放。在通知时，从等待集中取出一个线程并将其添加到条目集中。当线程释放锁时，如果有一个线程，它会从条目集中释放一个线程。请注意，这些集合实际上是作为队列（链表）实现的，因此在FIFO的基础上进行处理。

Answer 1

在condition.notify的文档中：

注意：唤醒的线程在重新获得锁之前不会从其wait()调用返回。由于notify()不释放锁，它的调用者应该释放锁。

因此，在调用cv.notify()之后，但在调用cv.release()之前，线程1仍然在cv.wait()处被阻塞。