| 
|
QuoteRef: maesJW10_2000
topics >
all references >
ThesaHelp:
references m-o
Topic:
managing shared memory
Topic:
concurrency control by monitors
Topic:
immutable files and data
Topic:
initialized constants
Topic:
code optimization by instruction reordering or scheduling
Topic:
memory cache
Reference
Maessen, J.-W., Arvind, Shen, X., "Improving the Java memory model using CRF OOPSLA '00", pp. 1-12. Google
1 ;;Quote: new semantics for the Java memory model in terms of the commit/reconcile/fence (CRF) model; dynamic instruction ordering through a reordering table
1+;;Quote: for write-once fields, the commit/reconcile/fence (CRF) memory model needs monitor-like locks and a freeze op
5 ;;Quote: use reordering to eliminate load and store operations; preceded or followed by duplicate operations
6 ;;Quote: split cache consistency for load/store operations; use fence operations to define synchronization regions; commit/reconcile/fence (CRF) memory model
ThesaHelp: references m-o (268 items)
Topic: managing shared memory (74 items)
Topic: concurrency control by monitors (24 items)
Topic: immutable files and data (57 items)
Topic: initialized constants (12 items)
Topic: code optimization by instruction reordering or scheduling (16 items)
Topic: memory cache (28 items)