Как определить, какой объект в Java является мусором?

Объект считается мусором в Java, когда на него больше нет ссылок из активных частей программы. Это происходит в следующих случаях:

• Нет ссылок из корневых объектов (root references): Корневые объекты включают ссылки из:

  • Локальных переменных в активных потоках.
  • Статических переменных.
  • JNI-ссылок (объекты, доступные из нативного кода).

• Ссылки только из других "мусорных" объектов: Даже если объект O1 ссылается на объект O2, но ни O1, ни O2 не имеют ссылок из корневых объектов, оба объекта считаются мусором.

Пример:

// Root reference из статической переменной
static Object staticObject = new Object();

// Root reference из локальной переменной активного метода
public void someMethod() {
    Object localObject = new Object(); // Ссылка из локальной переменной
    // После выхода из метода SomeMethod, localObject становится недоступным
}

// Пример "мусорного" объекта
public Object createGarbage() {
    Object obj1 = new Object();
    Object obj2 = new Object();
    obj1 = obj2; // obj1 теперь ссылается на тот же объект, что и obj2
    // Оригинальный объект, на который ссылался obj1, теперь недоступен и является мусором
    return obj2; // Возвращается ссылка на живой объект
}

Сборщик мусора в Java определяет недостижимые объекты, используя алгоритм "отслеживания достижимости" (reachability tracing), начиная от корневых объектов. Объекты, до которых невозможно добраться через цепочку ссылок от корневых объектов, считаются недостижимыми и подлежат сборке.