Является ли эта эталонная нить безопасной?

Question

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

private final Object lock = new Object(); 
private volatile Object reference = null; 

public Object getOrCompute(Supplier<Object> supplier) { 
    if (reference == null) { 
     synchronised(lock) { 
      if (reference == null) { 
       reference = supplier.get(); 
      } 
     } 
    } 

    return reference; 
} 

Мои ожидания в том, что данный новый экземпляр этого класса, множественные вызовы getOrCompute() будет только когда в результате одного поставщика будет вызван, и результатом этого поставщика является результатом всех звонки (и будущие звонки) до getOrCompute().

Answer 1

Это безопасно, потому что все, что сделано в supplier.get(), не должно быть переупорядочено с присвоением reference. (Или, точнее, он не должен быть переупорядочен, когда вы делаете неустойчивое чтение reference.)

Блокировка обеспечивает исключительность, а изменчивая семантика записи/чтения обеспечивает видимость. Обратите внимание, что это было верно только после того, как Java 5, который был выпущен давно, но вы по-прежнему найдете устаревшие статьи в Интернете о том, как блокировка с двойной проверкой (это официальное название этой идиомы) т работы. Они были правы в то время, но теперь они устарели.

Что может быть небезопасным, хотя сам поставщик, если он поставляет изменяемый объект. Но это другое дело.

Answer 2

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

В этом случае единственное, что он делает, это предотвращать создание нескольких потоков для создания объекта. Если объект уже создан, он будет передан любому потоку, который хочет, чтобы потоковая безопасность не была такой.

Представьте, что у вас есть один поток, обращающийся к методу и создающий объект, он извлекает его и, пока он извлекает объект, другой поток пытается его создать, с которым он не будет допущен, поскольку он существует, поэтому он может прыгать прямо для извлечения объекта, как и поток номер один, теперь они могут изменять объект одновременно, ergo, а не потокобезопасным. Но создание нового объекта является потокобезопасным в том смысле, что объект может быть создан только один раз.