Usmanno56892Дак это же наиобычнейший happens-beforeопять же, который достигается за счет volatile

но без пары с synchronized

Alexey TominПошла работа- ждём очередь записи, обновляем сквозь все три уровня кэша строчку- это сотни тактов. Сотни!
Кто сказал, что соседний процессор замер в предвкушении? Нет, конечно. Он жуёт свои кэши (инвалиадировать кэшлайн пока данные не в ОЗУ нельзя, а то опять фигня прочитается). Когда запись из первого пройдёт- ему прилетит инвализация строки кэша. Да, тут он остановится и начнёт перечитывать строку кэша. Но "сразу" уже давно прошло

Ну так говорится же, что сразу после окончания записи данные будут видны всем потокам. После, видимо, всех этих сотен тактов.

Запись длительная операция, возможно даже синхронная (ну как вариант). Противоречий не вижу.

Сергей Арсеньевquestionerвнутри synchronized (Something.class) мы же всегда увидим корректное значение?

Вопрос не в том, что ты увидишь внутри .
Положим туда попал поток А. То (1) захватываем монитор (делаем грань h-b) (2)проверяем на null если да (3)создаем один экземпляр класса, (4)ссылку на него записываем по адресу instance (5) выходим из монитора и создаем (h-b грань).

Вопрос в том, что ты увидишь снаружи. Если поток B прочел память в которую попал объект Somthing() где-то между моментами 1 и 5, а потом прочел этот адрес, то для него действует грань h-b момента 1 - а там before ничего не было, т.е. может пользоваться состоянием кеша на этот момент (не совсем так, частично в ходе инициализации new Somthing() будет еще одна грань, но она до конструктора). Необходимо, чтобы момент окончания конструктора попал за грань, после которой будет чтение адреса.

Как я понял всё это сводится к тому, что если даже мы увидили не в synchronized секции новое значение, то нет гарантии, что при повторном чтении без acquire мы вновь увидим его же. Просто это кажется интуитивно понятным, но вот, к сожалению, не работает.

Сергей АрсеньевНе в повторном чтении, а в другом чтении.
А в чем разница между терминами?

Сергей АрсеньевТам нет гарантии, что если ты увидел адрес объекта, то он полностью создан. Другими словами, если в нем есть некоторое поле, которое программа гарантированно считает не null, ибо конструктор его таким делает, то ты можешь увидеть его null или поле x будет установлено, а поле y еще нет и т.п.
Потому что нужна гарантия на то, что конструктор до чтения ссылки. А для этого нужна гарантия конструктор до записи ссылки.
На x86 все более менее просто. На других архитектурах jvm приходится плясать ужом и операция получается не такой простой.

Тут по-момему глаголов не хватает. я не понял, что Вы имеете виду.



Если конкретно, то если в AAA увидели не null, то при повторном чтении в BBB ссылки из this.instance может быть даже null