| 
|
Quote: early writes OK if they do not depend on a read from a data race
topics >
all references >
references m-o >
Topic:
race conditions
Topic:
managing shared memory
Quotation Skeleton
After trying several possibilities for formalizing the "well-behaved" … of an action does not result in an … a data race. This insight led to our … of a write that is ordered before it … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: in a well-behaved execution, uncommitted reads must return the value of a write that happens-before it
Topic: race conditions (30 items)
Topic: managing shared memory (74 items)