| 
|
Quote: new semantics for the Java memory model in terms of the commit/reconcile/fence (CRF) model; dynamic instruction ordering through a reordering table
topics >
all references >
references m-o >
Topic:
managing shared memory
Topic:
concurrency control by monitors
Topic:
immutable files and data
Topic:
initialized constants
Quotation Skeleton
In this paper we present new semantics for … semantics are both simpler and more formal than … than prescribing program behavior. … In the CRF model, instruction ordering is resolved … [p. 2] We must enrich CRF by adding monitor-like … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: for write-once fields, the commit/reconcile/fence (CRF) memory model needs monitor-like locks and a freeze op
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)