notify is called (perhaps, concurrently) twice from: - concurrent_monitor::notify - post_resume_action::register_waiter The second notify is called after thread switches the stack (Because we can not call resume while the stack is occupied) We need calling resume only when both notifications are performed.
source not stored for this graph (policy: none)