Related articles:
Mutual exclusion
Semaphore (programming)
Key terms:
thread
wait
monitor
queue
assertion
notify
condition variables
restart
executing
mutual exclusion
semaphore
invariant
public method
occupancy
et al
precondition
notify all
wait until
other thread
programming language
synchronization
must wait
we assume
occupy the monitor
thread t
add this thread
signaled thread
negative else
monitor class
thread may
block this thread
modifies the state
thread will
two threads
threads waiting
signaling thread
each monitor
style monitor
entrance queue
some assertion
notified thread
then error amount may
computer scientist
state of the monitor postcondition
blocking condition variables
select and remove one thread
will occupy the monitor next
q select and remove one
there is a thread waiting
schedule return from the method
Search external links cited by footnotes on Wikipedia page Monitor (synchronization):
|
|