Jak określić, który obiekt w Java jest śmieciem?

Obiekt jest uważany za śmieć w Java, gdy nie ma do niego więcej odniesień z aktywnych części programu. Dzieje się tak w następujących przypadkach:

• Brak odniesień z obiektów korzeniowych (referencje korzeniowe): Obiekty korzeniowe obejmują odniesienia z:

  • Zmiennych lokalnych w aktywnych wątkach.
  • Zmiennych statycznych.
  • Referencji JNI (obiektów dostępnych z kodu natywnego).

• Odniesienia tylko z innych "śmieciowych" obiektów: Nawet jeśli obiekt O1 odwołuje się do obiektu O2, ale ani O1, ani O2 nie mają odniesień z obiektów korzeniowych, oba obiekty są uważane za śmieci.

Przykład:

// Referencja korzeniowa z zmiennej statycznej
static Object staticObject = new Object();

// Referencja korzeniowa z lokalnej zmiennej w aktywnej metodzie
public void someMethod() {
    Object localObject = new Object(); // Referencja z lokalnej zmiennej
    // Po wyjściu z someMethod, localObject staje się niedostępny
}

// Przykład "śmieciowego" obiektu
public Object createGarbage() {
    Object obj1 = new Object();
    Object obj2 = new Object();
    obj1 = obj2; // obj1 teraz odwołuje się do tego samego obiektu co obj2
    // Oryginalny obiekt, na który odwoływał się obj1, jest teraz niedostępny i jest śmieciem
    return obj2; // Zwraca odniesienie do żywego obiektu
}

Garbage collector w Java określa nieosiągalne obiekty, używając algorytmu "śledzenia osiągalności" (reachability tracing), zaczynając od obiektów korzeniowych. Obiekty, do których nie można dotrzeć przez łańcuch odniesień od obiektów korzeniowych, są uważane za nieosiągalne i podlegają zbiórce.