__tsan_java_finalize bug

[Dmitry Vyukov]

Hi,

FYI there is a bug reported in tsan's AcquireGlobal:
https://github.com/golang/go/issues/39186
It's for Go, but I think it equally affects __tsan_java_finalize(). Is
it used in the current implementation for Java finalizers?

Brief summary: it requires a very special program pattern and a very
narrow inconsistency window (4 threads participating in a very special
and tricky interleaving), but if all of that is satisfied it can lead
to arbitrary unexplainable false positives.