Блог

Я где-то читал, что процессоры x86 обладают когерентностью кэша и в любом случае могут синхронизировать значения полей на нескольких ядрах при каждой записи.

Означает ли это, что мы можем кодировать без использования ‘volatile’ keywoard в java, если планируем работать только на процессорах x86?

Обновить:

Хорошо, предполагая, что мы не учитываем проблему переупорядочения команд, можем ли мы предположить, что проблема присвоения энергонезависимому полю, невидимому для разных ядер, отсутствует на процессорах x86?

Нет — volatile ключевое слово имеет большее значение, чем просто согласованность кэша; оно также накладывает ограничения на то, что может и не может делать среда выполнения, например, на задержку вызовов конструктора.

О вашем обновлении: Нет, мы не можем. Другие потоки могут просто считывать устаревшие значения без обновления переменной. И еще одна проблема: JVM разрешено оптимизировать код до тех пор, пока она может гарантировать, что однопоточное поведение является правильным.

Это означает, что что-то вроде:

 public boolean var = true;
private void test() {
    while (var) {
       // do something without changing var
    }
}
  

может быть оптимизирована JIT в while (true), если захочет!

Между can sync the value of fields и always syncs the value of fields существует большая разница. x86 может синхронизировать поля, если у вас есть volatile, в противном случае это не так и не должно быть.

Примечание: изменяемый доступ может быть в 10-30 раз медленнее, чем энергонезависимый доступ, что является ключевой причиной, по которой это выполняется не всегда.

Кстати: знаете ли вы какие-либо многоядерные, простые процессоры x86. Я бы подумал, что большинство из них — x64 с поддержкой x86.

Существуют очень точные спецификации того, как должна вести себя JVM для volatile , и если она решит сделать это с использованием инструкций, специфичных для процессора, то это хорошо для вас.

Единственное место, где вы должны сказать «мы знаем, что на этой платформе процессор ведет себя как ..», — это при компоновке в машинном коде, где он должен соответствовать процессору. Во всех остальных случаях пишите в спецификацию.

Обратите внимание, что ключевое слово volatile очень важно для написания надежного кода, работающего на нескольких процессорах, каждый из которых имеет свой собственный кэш, поскольку оно сообщает JVM игнорировать локальный кэш и получать официальное значение вместо кэшированного значения 5-минутной давности. Обычно вы этого хотите.

запись в байт-коде даже не обязательно должна вызывать запись в машинный код. если только это не изменчивая запись.

Я могу поручиться за volatile то, что она имеет некоторое применение. Я был в ситуации, когда один поток имеет ‘null’ для переменной, а другой имеет правильное значение для переменной, которая была установлена в этом потоке. Отлаживать ее неинтересно. Используйте изменчивую для всех общих полей 🙂