Как доказать гарантию изменчивой видимости? ⇐ JAVA

[Anonymous]

Я читаю статью о ключевом слове Java Volatile, у меня есть несколько вопросов. нажмите здесь

Код: Выделить всё

public class SharedObject {

public int counter = 0;

}

Представьте также, что только поток 1 увеличивает переменную counter, но и поток 1, и поток 2 могут время от времени считывать переменную counter.
p>
Если переменная counter не объявлена ​​энергозависимой, нет никакой гарантии, что значение переменной counter будет записано из регистров ЦП обратно в основной память. Это означает, что значение переменной counter в регистре ЦП может не совпадать со значением в основной памяти.
Как проверить, что видимость не может быть гарантирована без энергозависимости?
Как проверить, что видимость не может быть гарантирована без энергозависимости?
п>

Подробнее здесь: https://stackoverflow.com/questions/790 ... -guarantee