RFR (S) 8182397: Race in field updates when creating ArrayKlasses can lead to crash

[Andrew Haley]

On 25/07/17 12:13, Erik Österlund wrote:
> For example, take this example pseudo code for performing what I refer 
> to as a stable load between two fields modified concurrently with 
> potential ABA issues:
> 
> loop {
>    x_start = load_relaxed(field_A)
>    y = load_consume(field_B)
>    x = load_consume(field_A)
>    if (x_start == x) break;
> }
> 
> // use x->foo

I don't understand this pseudocode.  What is the base address for field_A
and field_B ?

-- 
Andrew Haley
Java Platform Lead Engineer
Red Hat UK Ltd. <https://www.redhat.com>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671