Это безопасная публикация объекта?

Question

У меня есть класс Пункт

class Item { 
    public int count; 
    public Item(int count) { 
    this.count = count; 
    } 
} 

Тогда я помещу ссылку на пункт в поле другого класса

class Holder { 
    public Item item; 
    public Holder() { 
    item = new Item(50); 
    } 
} 

Может это нового объекта Item безопасно опубликован? Если нет, то почему? Согласно Java Concurrency in Practice, новый Item опубликован , не будучи полностью сконструированным, но, на мой взгляд, новый Item полностью построен: его ссылка this не исчезает, и ссылка на нее и ее состояние публикуется на том же так что потребительский поток не увидит устаревшего значения. Или это проблема видимости. Я точно не знаю причины.

Answer 1

Можно ли безопасно опубликовать этот новый предмет предмета? Если нет, то почему?

Проблема связана с оптимизацией и переупорядочением инструкций. Когда у вас есть два потока, которые используют построенный объект без синхронизации, может случиться так, что компилятор решает переупорядочить инструкции ради эффективности и выделить пространство памяти для объекта и сохранить его ссылку в поле itemдо, оно заканчивается с конструктором и инициализацией поля. Или он может переупорядочить синхронизацию памяти, чтобы другие потоки воспринимали так.

Если вы отметили поле item как final, тогда конструктор, как гарантируется, завершит инициализацию этого поля как часть конструктора. В противном случае вам придется синхронизировать блокировку перед ее использованием. Это часть Java language definition.

Вот еще пара ссылок:

• Double check locking is broken
• Synchronization and the Java Memory Model

Answer 2

Да, есть проблема видимости, так как Holder.item не final. Таким образом, нет гарантии, что другой поток увидит его инициализированное значение после завершения строительства Holder.

И как отметил @Gray, JVM может свободно изменять порядок инструкций при отсутствии барьеров памяти (которые могут быть созданы блокировкой (синхронизация), final или volatile). В зависимости от контекста вы должны использовать один из них здесь, чтобы обеспечить безопасную публикацию.