Map
Index
Random
Help
th

QuoteRef: mansJ1_2005

topics > all references > ThesaHelp: references m-o



Group:
memory management
Topic:
managing shared memory
Topic:
race conditions
Topic:
security leaks and weaknesses

Reference

Manson, J., Pugh, W., Adve, S.V., "The Java memory model", Conference Record of POPL 2005: The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, January 2005, ACM Press, pp. 378-391. Google

Quotations
abstract ;;Quote: Java memory model for multithreaded programs; guarantees sequential consistency of data-race-free programs; bounds the behavior of incorrectly synchronized programs by a notion of causality
380 ;;Quote: disallow out-of-thin-air changes for incorrectly synchronized code; e.g., x,y=0; y=x and x=y; x==42
381 ;;Quote: happens-before memory model is fundamental; reads can only observe writes that happen before it without an intervening write
383 ;;Quote: early writes OK if they do not depend on a read from a data race
383+;;Quote: in a well-behaved execution, uncommitted reads must return the value of a write that happens-before it
388 ;;Quote: memory model allows reorderings for optimization; independent actions may be reordered if they obey happens-before

Related Topics up

Group: memory management   (11 topics, 367 quotes)
Topic: managing shared memory (74 items)
Topic: race conditions (33 items)
Topic: security leaks and weaknesses (67 items)

Collected barberCB 2/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.