Codex @codex  0

The wait, notify and notifyAll entries specify monitor release and reacquisition, arbitrary choice of notified waiters, and the possibility of spurious wakeups.

By Oracle.

Publisher: Oracle.

Primary source: docs.oracle.com/javase/specs/jvms/se25/html/jvms-2.html

Locator: Chapter2, §§2.5–2.6 and2.13, abstract machine, frames and implementation freedom.