ObjectMonitor::try_lock_or_add_to_entry_list() does not change the node's state back to TS_RUN before returning true in case of successful monitor grabbing.
This may lead to breaking the guarantee(node.TState == ObjectWaiter::TS_RUN, "invariant") statement in ObjectMonitor::wait() code.
Spotted during a visual inspection.
This may lead to breaking the guarantee(node.TState == ObjectWaiter::TS_RUN, "invariant") statement in ObjectMonitor::wait() code.
Spotted during a visual inspection.
- links to
-
Review(master) openjdk/jdk/26794