代码之家 › 专栏 › 技术社区 › Frames Catherine White

当最后一个引用被垃圾收集时,或者当任何引用被垃圾收集时,是否调用终结器?

finalizer julia

Frames Catherine White · 技术社区 · 7 年前

终结器(x,f)

注册一个函数f(x),当没有对x的程序可访问引用。x的类型必须是可变的否则,此函数的行为是不可预测的。

然而,我似乎注意到,当对我的类型的第一个引用丢失最后一个引用时,它们就会触发。

考虑:

using Base.Test
mutable struct Foo
    val
end
@testset "how do Finalisers work" begin let
    fin_calls = []

    a = Foo(1)
    b = a
    finalizer(a, _ -> push!(fin_calls, "a"))
    finalizer(b, _ -> push!(fin_calls, "b"))

    @test fin_calls == []
    a = 7
    gc()
    @test fin_calls == [] # Fails: Evaluated: Any["a", "b"] == Any[]
    #shouldn't trigger finaliser as still has 1 ref, or so I thought

    b=8
    gc()
    @test Set(fin_calls) == Set(["a", "b"]) #both finalizers should trigger
end end

有2个参考文献 Foo(1) ,那些是 a 和 b

什么时候 一 如果换成其他东西,什么都不会发生
什么时候 b 也被更改了,所以其他东西都注册了 finalizers 触发使“a”和“b”都添加到 fin_calls 大堆

相反,我观察到的是:

我本以为:

什么时候 一 已更改为其他内容,均已注册 终结器 触发使“a”和“b”都添加到 fin_调用 大堆
什么时候 b 也发生了变化,所以其他的事情,没有进一步发生。

理解发生了什么事情的正确方法是什么? 这是在julia 6.0中

我的复制能力似乎各不相同。

在原始机器上显示为0.6.0。
在另一台机器上:
- 0.6.1(-O2默认值)导致未调用最终用户失败(这是可以的,延迟调用最终用户也可以)。
- 0.7-dev(-O0)导致通过,
- 0.7-dev(-O1或更高)由于两者都被调用而导致失败。

1 回复 | 直到 7 年前

Frames Catherine White 7 年前

如果不使用变量, 垃圾收集器可以在变量最后一次使用后的任何时间自由收集变量。

我相信这就是已经发生的事情。如果我添加一些变量的更多用法,行为就如预期的那样。

using Base.Test

"This function makes use of `xs` in a way no optimizer can possibly remove"
function use(xs...)
    mktemp() do fn, fh
        print(fh, xs)
    end
end


mutable struct Foo
    val
end

function foo()
    @testset "how do Finalisers work" begin let
        fin_calls = []

        a = Foo(1)
        b = a
        finalizer(a, _ -> push!(fin_calls, "a"))
        finalizer(b, _ -> push!(fin_calls, "b"))

        use(a,b)
        @test fin_calls == []
        a = 7
        gc()
        use(b)
        @test fin_calls == [] # Fails: Evaluated: Any["a", "b"] == Any[]
        #shouldn't trigger finaliser as still has 1 ref, or so I thought

        b=8
        gc()
        @test Set(fin_calls) == Set(["a", "b"]) #both finalizers should trigger
    end end

对我来说,这段代码进入了最终测试,然后失败了 fin_calls 从未被呼叫过。因为垃圾收集器可以选择不运行。

终止