Имеет ли переменная volatile здесь (многоядерный процессор)?

Question

Я объявила переменную экземпляра как voltile. Скажем, два потока создаются двумя процессорами под многоядерным ядром, где поток обновляет переменную. Чтобы обеспечить мгновенную видимость , я считаю, что объявление переменной как volatile является правильным выбором здесь, так что обновление, выполняемое потоком, происходит в основной памяти и видимо для другого потока. Справа?

Намерение здесь, чтобы понять концепцию в терминах многоядерного процессора.

Answer 1

Я предполагаю, что вы рассматриваете использование volatile против использования каких-либо специальных положений для параллелизма (например, или AtomicReference).

Не имеет значения, используете ли вы одиночный или многоядерный обмен данными между потоками: never безопасный без volatile. Есть много других вещей, которым может управлять среда исполнения; в основном он может притворяться, что поток доступа - это единственный поток, запущенный на JVM. Поток может считывать значение один раз и хранить его в стеке вызовов навсегда; цикл, считывающий значение, но никогда не записывающий его, может быть преобразован таким образом, что значение считывается только один раз с самого начала и никогда не пересматривается, и так далее.

Так идея проста: использовать volatile —, но это не обязательно все вам нужно позаботиться о в параллельном коде.

Answer 2

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

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

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

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

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