Re: [concurrency-interest] RFR: 8065804: JEP 171: Clarifications/corrections for fence intrinsics

[Peter Levart]

On 12/17/2014 10:28 AM, Peter Levart wrote:

The example would then become:

T1:

store x.a <- 0
load r <- x.a
store x.a <- r+1
; store-store
store x_init <- true

T2:

load r <- x.a
; load-load
if (r)
    store x.a <- 42

Sorry the above has an error. I meant:

T2:

load r <- x_init
; load-load
if (r)
    store x.a <- 42


Peter