| 
|
Quote: use critical regions to update shared variables
topics >
all references >
references a-b >
Topic:
critical regions
Topic:
shared objects
Quotation Skeleton
Concurrent processes can only refer to and change … Critical regions referring to the same variable exclude … a final result … is therefore meaningless. All one can expect is … These relationships can be defined by an assertion … subsequent critical region associated with v. Such an … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: critical regions always satisfy an invariant even though they interleave arbitrarily
Topic: critical regions (58 items)
Topic: shared objects (13 items)