| 
|
Quote: when writing mutex code must manage locks, decide on lock granularity, and handle deadlock; hides important safety and progress properties
Topic:
concurrency control by monitors
Topic:
deadlocks
Topic:
critical regions
Quotation Skeleton
Programmers using mutexes must decide what granularity of … A particularly difficult problem … is how to compose data structures which perform … Deadlock must be considered … The root of these problems is the imperative … This hand-compilation hides the real safety and progress … to following a particular locking discipline. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: concurrency control by monitors (24 items)
Topic: deadlocks (21 items)
Topic: critical regions (58 items)