cdtyjvНапример, предположим, что у нас есть следующий код:



И вы вызываете method1(). Как будет выглядеть assembly? Может быть так:



А может быть вот так:


// Вызвали метод.

Первый способ - стандартный, специфицированный подход к вызову функций.
Второй способ - более быстрая вариация, так называемый fastcall, так как быстрее сохранить переменную в регистр, чем записывать ее в стэк.
Но в обоих случаях была создана копия волатильной переменной. Это страшно? Нет, ведь мы передаем int в метод, а примитивы передаются в методы по значению. То есть у нас просто напросто нет другого варианта, кроме как скопировать волатильную переменную.

Ваш пример ни при чем. В вашем примере чтение волатила происходит однократно - при передаче в функцию. А в функции х уже будет гарантированно непоменян другим потоком, т.к. это уже локальная переменная. Если мы хотим видеть волатильный х, наш "другой вариант": передавать в method2 this и обращаться к полю x обьекта.



cdtyjvНо если бы переменная не была волатильной, то во втором случае JVM могла бы попробовать переиспользовать ее из регистра при последующем чтении. А если она волатильна, то такого переиспользования не будет.
для конкретно вашего примера - нет. Переиспользование будет, поскольку переменные передаются по значению, а значение не волатильно. Т.е. внутри функции method2 наше "икс" локально, т.е.ни о какой волатильности не может идти речи.