race conditions in finalizers #694
Description
Hello,
finalizer functions in Julia can interrupt any other code, including other finalizers, which means that any access to shared state must be guarded by some kind of synchronization strategy.
Currently, the finalizers for various GObjects access several bits of shared state without any synchronization and this permits race-conditions, unless there is something quite clever going on that I didn't see.
Here's an unsafe finalizer, delref from gtype.jl (not the only one). Note that it accesses several globals without using atomic operations or locks:
The segfault reported in #684 is possibly related.
I found this bug because I was reviewing the advice given in the manual for writing safe finalizers.
You can find a discussion of various strategies in that PR: JuliaLang/julia#51191