RFR(S): 8229422: Taskqueue: Outdated selection of weak memory model platforms
aph at redhat.com
Wed Jan 22 17:47:35 UTC 2020
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>
EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
More information about the hotspot-gc-dev