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

Question

learn.java

Vlad K

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

#java #programming #russian

0

20.03.2022

10 ответов

29 просмотров

jdk 18

потому что thread 2 может закешировать у себя значение INSTANCE и думать, что оно все еще null. volatile гарантирует, что все потоки видят согласованное значение переменной.

0

20.03.2022

Vadim

Потому что volatile write happens before volatile read ? По спецификации гарантируется, что если тред 1 записал в волатиную переменную значение, последующий тред прочитает прочитает актуальное значение

0

20.03.2022

Evgenii Morozov

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

0

20.03.2022

Tagir Valeev

jdk 18
потому что thread 2 может закешировать у себя знач...

"тред закэшировать" - это сразу "а-а-а-а-а!" нельзя в таких терминах модель памяти объяснять. У тредов вообще никаких особых кэшей нет. У процессоров/ядер есть, но тред может переехать на другое ядро в любой момент. Вообще не надо пытаться это объяснить с точки зрения железа. Это будет сложно и скорее всего неверно

0

20.03.2022

Tagir Valeev

Видео смотрели? Может, конечно, я плохо объяснил, не исключаю

0

20.03.2022

Tagir Valeev

Evgenii Morozov
Потому что есть happens-before между записью и пос...

Про "буфер" и "основную память" лучше тоже не начинать. Надо просто абстрагироваться от железа и принять правила игры JMM.

0

20.03.2022

Islam Yusubov