RFR: 8256370: Add asserts to Reference.getInactive()
Kim Barrett
kbarrett at openjdk.java.net
Sun Nov 22 22:19:51 UTC 2020
On Mon, 16 Nov 2020 18:30:38 GMT, Mandy Chung <mchung at openjdk.org> wrote:
>> A follow-up to JDK-8256106, this is adding two asserts to check that the API is used as it should be, i.e. only on inactive FinalReferences. Also, in Finalizer, where getInactive() is used, there is a null-check. The GC must never clean the referent, and Java code doesn't clean it either, it would be a bug if we ever see null there. I think it's better to fail there (with assert or NPE) when that happens instead of silently accepting it.
>>
>> Testing:
>> - [x] tier1
>> - [x] tier2
>
> Thanks for adding this asserts. If there is any reason to use `getInactive` by other references in the future, we could remove these asserts at that time.
I didn't notice this before it was integrated.
The test for inactive isn't right; rather than `next == this` it
should be `next != null`. This becomes apparent once
FinalizerHistogram is fixed to call getInactive() rather than get().
I noticed this while working on JDK-8256517, where I ran into some
similar issues. I will address these problems as part of that change.
-------------
PR: https://git.openjdk.java.net/jdk/pull/1231
More information about the core-libs-dev
mailing list