Dlaczego musimy dwukrotnie wywoływać funkcję collectgarbage() Lua?

Question

Spotkałem się z severalplaces, gdzie ludzie dzwonią pod numer collectgarbage()dwa razy pod, aby sfinalizować wszystkie nieużywane obiekty.

Dlaczego tak jest? Dlaczego nie wystarczy jedno połączenie? Dlaczego nie trzy połączenia?

Kiedy próbuję następujący kod (na Lua 5.2), obiekt zostanie ukończony (co znaczy: jego __gc pobiera nazywa) tylko z jednego połączenia do collectgarbage:

do 
    local x = setmetatable({},{ 
    __gc = function() print("works") end 
    }) 
end 
collectgarbage() 
os.exit() 

Czy to oznacza jedno połączenie jest wystarczająco ?

Answer 1

Wyjaśniono w Programowanie w Lua Wydanie trzecie §17.6 Finalizery. Krótko mówiąc, to z powodu zmartwychwstania.

Finalizator jest funkcją związaną z obiektem, który jest wywoływany, gdy obiekt ma zostać zebrany. Lua implementuje finalizatory z metametodem __gc.

Problem polega na tym, że po wywołaniu finalizatorów obiekt musi być w niektórych przypadkach żywy. pil wyjaśnia z tego przykładu:

A = {x = "this is A"} 
B = {f = A} 
setmetatable(B, {__gc = function (o) print(o.f.x) end}) 
A, B = nil 
collectgarbage() --> this is A 

Finalizer dla B dostęp A, więc A nie mogą być odebrane przed zakończeniem B. Lua musi wskrzesić zarówno B i A przed uruchomieniem tego finalizatora.

Zmartwychwstanie jest powód wywoływania collectgarbage dwukrotnie:

Ponieważ zmartwychwstania obiektów z finalizatory zbiera się w dwóch etapach. Po raz pierwszy kolektor wykryje, że obiekt z finalizatorem nie jest dostępny, kolektor wskrzesi obiekt i kolejkuje go do sfinalizowania. Po uruchomieniu finalizatora Lua zaznacza obiekt jako sfinalizowany. Następnym razem, gdy kolektor wykryje, że obiekt nie jest osiągalny, usuwa obiekt. Jeśli chcesz upewnić się, że wszystkie śmieci w twoim programie zostały faktycznie zwolnione, musisz dwukrotnie zadzwonić pod numer collectgarbage; drugie połączenie usunie obiekty, które zostały sfinalizowane podczas pierwszego połączenia.