monitor_notify(m)
Unblocks a task blocked on the monitor m, if there is at least one. Return void.
m
void
Core Module Index | Main Index