RFR: 8261407: ReflectionFactory.checkInitted() is not thread-safe [v2]
liach
duke at openjdk.java.net
Mon Jan 17 16:29:29 UTC 2022
On Sun, 19 Dec 2021 06:51:45 GMT, liach <duke at openjdk.java.net> wrote:
>> Upon review of [8261407](https://bugs.openjdk.java.net/browse/JDK-8261407), by design, duplicate initialization of ReflectionFactory should be safe as it performs side-effect-free property read actions, and the suggesting of making the `initted` field volatile cannot prevent concurrent initialization either; however, having `initted == true` published without the other fields' values is a possibility, which this patch addresses.
>>
>> This simulates what's done in `CallSite`'s constructor for `ConstantCallSite`. Please feel free to point out the problems with this patch, as I am relatively inexperienced in this field of fences and there are relatively less available documents. (Thanks to https://shipilev.net/blog/2014/on-the-fence-with-dependencies/)
>
> liach has updated the pull request incrementally with one additional commit since the last revision:
>
> Just use volatile directly to ensure read order
I will check the hotspot assembly generated for both the volatile and the stable fields to see if the annotation is a valid replacement.
-------------
PR: https://git.openjdk.java.net/jdk/pull/6889
More information about the core-libs-dev
mailing list