RFR(S): 8229422: Taskqueue: Outdated selection of weak memory model platforms

[Andrew Haley]

On 1/22/20 3:01 PM, Doerr, Martin wrote:
> Thread1: set bottom (push)
> Thread2: read age, read bottom, set age (pop_global)
> Thread3: read age, read bottom (pop_global)
> 
> The requirement is that Thread3 must never read an older bottom value than Thread2 after Thread3 has seen the age value from Thread2.

OK, so all we need here is a LoadLoad between read age and read bottom
in pop_global, as David Holmes said.

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