A call to notify() or notifyAll() is not guaranteed to allow at least one thread waiting on a conditional variable to resume execution.

The Java Memory Model guarantees that if multiple threads are waiting in an object’s wait set, the thread that has been waiting the longest will get to run first.

In Java, a thread that is in the entry set for some critical region is not guaranteed that it will eventually run until completion.

A conditional variable can be used to enforce mutual exclusion.

In Java, if the entry set for an object is empty, then the wait set for the same object must also be empty.

A thread can be waiting on two conditional variables simultaneously.