Map
Index
Random
Help
th

Quote: early writes OK if they do not depend on a read from a data race

topics > all references > references m-o > QuoteRef: mansJ1_2005 , p. 383



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

Related Topics up

Topic: race conditions (30 items)
Topic: managing shared memory (74 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.