Блог

Мне трудно понять последствия разделов 12.6.1 и 12.6.2 спецификации языка Java SE 8. Я работаю с продуктом, в котором объекты Java управляют собственными одноранговыми узлами, поэтому важно правильно завершить доработку (до тех пор, пока у нас не появится возможность переписать ref-очередь).

Из спецификации ясно, что финализаторы могут быть запущены не по порядку. Это достижимость, с которой мне приходится нелегко.

Я считаю, что в спецификации сказано следующее:

 class A {
    public Object o = new Object()
    protected synchronized void finalize() throws Throwable { o = null; }
}

class B {
    A a = new A()
    protected void finalize() throws Throwable {
        a.getClass()   // always works: a cannot be null.
        a.o.getClass() // might NPE: a's finalizer might have been run
    }
}

class C {
    A a = new A()
    protected void finalize() throws Throwable {
        synchronized (a) {
            a.getClass()   // always works: a cannot be null.
            a.o.getClass() // always works: a.o cannot be null.
        }
    }
}
 

Выше приведено 4 утверждения. Я был бы очень признателен за подтверждение того, что они верны, или за объяснения того, почему один или несколько из них являются ложными.

Если A.finalize сначала получит блокировку, то a.o.getClass() будет NPE даже внутри C . Окончательное утверждение неверно.

С точки зрения достижимости подумайте об этом так: предположим A , и C были циклически достижимы, тогда они достигли бы недостижимости в «одно и то же время». Таким образом, не может быть разумно, что A это должно быть завершено раньше C .

Я предполагаю, что прямым исправлением может быть подсчет ссылок A . Однако полагаться на GC для очистки ресурсов, не связанных с памятью, будет не очень хорошо.