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

Peter Levart peter.levart at gmail.com
Wed Dec 17 04:30:48 EST 2014


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


More information about the Concurrency-interest mailing list