RFR: 8186837: Memory ordering nmethod, _state and _stack_traversal_mark
rkennke at redhat.com
Tue Aug 29 13:00:22 UTC 2017
I doubt that we can assume a symmetry between loadload and storestore like there is with load-acquire and release-store. This doesn't seem right. In my experience loadload and storestore are rather special purpose: loadload ensures ordering between otherwise unrelated loads and storestore likewise with stores.
And even symmetric use of load-acquire and release-store are often done wrong: those are not meant to protect concurrent access to the field, but to the stuff that is protected by the field access (think locks), I.e. what happens between the LA and RS. At least that is my understanding.
I suggest to do what David said and try to understand what concurrent accesses to which fields we have, and which fences are actually needed to ensure correct ordering.
And thanks for revisiting this!
Am 29. August 2017 12:31:17 MESZ schrieb Robbin Ehn <robbin.ehn at oracle.com>:
>Hi please review,
>The issue 8180932 - "Parallelize safepoint cleanup" changed
>_stack_traversal_mark to load acquire/store release, this is at least
>Instead for simplicity the write side storestore fence should be match
>with loadload on read side and the changes to _stack_traversal_mark
>undone (kept it volatile).
>It's not clear in this code if there other concurrent dependent
>Is true that only when reading/writing _state and _stack_traversal_mark
>proper memory ordering is needed?
>To track that I created:
Diese Nachricht wurde von meinem Android-Gerät mit K-9 Mail gesendet.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the hotspot-compiler-dev