badcasedaily1 Mar 18 at 16:15

Паттерны Singleton и Multiton в Java: когда и какой лучше?

Easy

6 min

OTUS corporate blogProgramming*Java*

Review

Comments 9

rmrfchik Mar 18 at 21:45

Double Checking не работает. После первой проверки на null, мы можем получить ссылку на недоинициализированный объект.

-2

aleksandy Mar 19 at 07:50

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

rmrfchik Mar 20 at 11:11

Могут.

Часть метода выглядит под капотом работает так:

instance = malloc();
instance.ctor();

Второй поток сделает первую проверку на null и получит не до конца сконструированный объект.

kurandx Mar 20 at 08:25

Работает. После первой проверки, если объект ещё не создан, мы попадаем в блок с синхронизацией, которая гарантированно будет выполняться одновременно только в одном потоке. Те даже если два потока одновременно запросят экземпляр объекта, любой первый кто дошел до синхронизации его создаст и инициализирует, затем положит его в переменную, а у второго потока в переменной уже не будет null, из за чего он пропустит его создание, и просто вернёт уже созданный объект.

rmrfchik Mar 20 at 11:12

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

rmrfchik Mar 20 at 11:19

Дополню: The Java memory model allows the publication of partially initialized objects and this may lead in turn to subtle bugs.

kurandx Mar 20 at 14:43

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

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

Double Checking существует уже очень давно, и я думаю не просто так

rmrfchik Mar 20 at 14:48

И не просто так в каждой нормальной статье говорят, что им не надо пользоваться.

Ссылки:

madmax_001 Mar 21 at 08:31

Согласен с rmrfchik: DCL является антипаттерном. Об этом есть отдельный раздел 16.2.4 в изветсной книге с поездами. Тут как раз второй поток может наблюдать либо неинициаоизированный объект, либо объект в неконсистентном состоянии, т.е. часть полей инициализировано. И чтобы все работало нужно еще volatile добавить!!! Плюсом java > 5.