Работа сборщика мусора в Java

Question

Какие объекты доступны для сбора мусора во время вызова System.gc() и почему?

public class GCTest { 
    static class A { 
     private String myName; 
     public A(String myName) { 
      this.myName = myName; 
     } 
    } 

    public static void main(String[] args) { 
     A a1 = new A("a1"); 
     A a2 = new A("a2"); 
     ArrayList list = new ArrayList(); 
     list.add(a1); 
     A[] mas = new A[2]; 
     mas[0] = a2; 
     a2 = a1; 
     clear(mas); 
     a1 = null; 
     a2 = null; 
     System.gc(); 
     // some code 
     ... 
    } 

    private static void clear(A[] mas) { 
     mas = null; 
    } 
} 

если object == null это будет мусором или нет?

Я думаю a1, a2 и mas доступны для сбора мусора на момент вызова System.gc(), потому что это утверждать нуль. или я ошибаюсь?

Answer 1

Во-первых, ваши программные переменные никогда не «доступны для сбора мусора». Только объекты собираются GC, а программные переменные - ссылки на объекты, а не на объекты. (Общая терминология со ссылкой на Java переменных путает эту точку.)

Во-вторых, ни один из объектов не ссылается a1, a2 или mas будут GC'ed. Это несмотря на то, что a1 и a2 установлены на null. Это связано с тем, что ссылки на эти объекты по-прежнему доступны через list или mas.Почему объект, на который ссылается a2, все еще доступен через mas даже после звонка clear()? Поскольку вы не можете изменить значение переменной mas в main(), передав переменную методу clear(). Все, что вы делаете в этом методе, меняет формальный параметр (также называемый mas), который является отдельной переменной из локальной переменной в main(). Java строго передается по значению. Однако, когда дело доходит до объектов, то, что всегда передается, является ссылкой .

В общем, правило состоит в том, что объекты GC'ed, только если объекты недоступны из любой программной переменной, прямо или косвенно.

Answer 2

Никто не будет иметь право на GC:

1. ArrayList еще достижимы и ссылки a1.
2. Оба a2 и a1 ссылаются на этот же объект.
3. Самое главное, так как Java является передача по значению, метод clear будет не фактически очистить массив mas передается от main.

Ниже приводится иллюстрация объектов в памяти, когда GC вызывается:

Answer 3

Ничто не доступен для GC в это время:

• вы все еще есть ссылка (list), ссылающийся на ArrayList, содержащий объект, на который первоначально ссылался a1 (тот, который содержит строку «a1» внутри)
• вы все еще есть ссылка (mas), ссылающийся на массив, содержащий объект сначала ссылается a2 (тот, с «а2» строки внутри)

Обратите внимание, что ваш метод

private static void clear(A[] mas) { 
    mas = null; 
} 

ничего не делает.

Java передается по значению. Поэтому при вызове этого метода создается копия ссылки на массив и передается методу. Затем метод присваивает значение null копиям исходной ссылки, оставляя исходную ссылку нетронутой.

См. Is Java "pass-by-reference" or "pass-by-value"? для получения дополнительных пояснений.

Answer 4

Объект, созданный новым A («a1»), новым A («a2») и mas, не был собран мусором, когда вы вызываете System.gc().

Любой объект, на который прямо или косвенно ссылаются потоки, недоступен для gc. Этот поток запускает этот метод, поэтому локальные переменные будут сохранены.

Использование объекта, созданного new A("a1") (назовем его A1) в качестве примера.

В момент System.gc() запускается, list ссылка объекта A1 в его внутренней структуре, поэтому не мусор, даже если она не упоминается в a1.

Answer 5

Единственное Указанное правило в отношении объекта достижимости следующим образом (§12.6.1):

достижимый объект любой объект, который можно получить в любой потенциальной продолжения вычислений с любого живого потока.

Изучения кода совершенно ясно, что не объекта не может быть доступен в любых потенциальном продолжении вычислений. Никакая ссылка на какой-либо из них не будет существовать после завершения main; кроме того, System.gc() является последним оператором в программе, и вычисление этого оператора не будет обращаться к тем или иным объектам (у него вообще нет семантики на уровне Java). Таким образом, все объекты на самом деле недоступны в этот момент, реализует ли реальная реализация мусорной коллекции или нет.