| 
|
Quote: a mutex protects the invariant of the associated data; restore the invariant before calling Wait or Signal
topics >
all references >
references a-b >
Topic:
waitfor condition in parallel processing
Topic:
concurrency control by monitors
Topic:
program proof via assertions
Topic:
high priority processes
Quotation Skeleton
When the data protected by a mutex is … invariant of the associated data. … So any thread that locks the mutex knows … invariant before releasing the mutex. This includes restoring … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: waitfor condition in parallel processing (20 items)
Topic: concurrency control by monitors (24 items)
Topic: program proof via assertions (61 items)
Topic: high priority processes (13 items)