Kołowe odwołania w JavaScript/Garbage collector

Question

Czy ktoś może wyjaśnić szczegółowo, w jaki sposób silniki JavaScript radzą sobie z odwołaniami cyklicznymi? Czy istnieje duża różnica między przeglądarkami lub nawet plikiem node.js?

To, o czym mówię, to wyraźne odwołanie do następnego/następnego obiektu. Na przykład:

var objA = { 
    prop: "foo", 
    next: null 
}; 

var objB = { 
    prop: "foo", 
    prev: null 
}; 

objA.next = objB; 
objB.prev = objA; 

Idziemy. Jeśli zrobimy numer console.log(objA), zobaczymy, że stworzyliśmy nieskończony łańcuch. Najważniejsze pytanie brzmi: czy to źle? Czy powoduje wycieki pamięci, gdy nie jest jawnie czyszczony?

Więc mamy do

objA.next = null; 
objB.prev = null; 

lub będzie śmieciarze zająć się nami na konstelacji jak to?

Answer 1

Każdy przyzwoity śmieciarz będzie obsługiwał cykle.

Cykle są problemem tylko wtedy, gdy wykonujesz naiwne liczenie referencji.

Większość odśmiecaczy nie wykonuje ponownego liczenia (zarówno dlatego, że nie radzi sobie z cyklami, jak i dlatego, że jest nieefektywna). Zamiast tego po prostu podążają za każdym znalezionym referencją, zaczynając od "roots" (zazwyczaj globals i zmiennych opartych na stosie) i zaznaczają wszystko, co mogą znaleźć jako "osiągalny".

Następnie po prostu odzyskują wszystkie inne wspomnienia.

Cykle nie stanowią problemu, ponieważ oznaczają po prostu, że ten sam węzeł zostanie osiągnięty wiele razy. Po raz pierwszy węzeł zostanie oznaczony jako "osiągalny", więc GC będzie wiedział, że już tam był, i pomija węzeł.

Jeszcze bardziej prymitywne GC oparte na liczeniu referencji zwykle implementują algorytmy do wykrywania i łamania cykli.

Krótko mówiąc, nie jest to coś, o co trzeba się martwić. Przypominam sobie, że GC Javascript w IE6 faktycznie nie radził sobie z cyklami (mogłem się mylić, minęło trochę czasu odkąd go przeczytałem, a było dużo, dużo dłużej odkąd dotknąłem IE6), ale we współczesnej implementacji nie ma problemu.

Cały punkt w garbage collector to abstrakcyjne zarządzanie pamięcią. Jeśli musisz zrobić to samemu, Twój GC jest zepsuty.

Aby uzyskać więcej informacji na temat współczesnego zbierania śmieci i używanych algorytmów znakowania i pstrykania, patrz MDN.