Что делает volatile?

Ключевое слово volatile применяют при разработке многопоточных приложений. Оно оказывает 2 эффекта.

Во-первых, чтение или запись данных в поле, обозначенное этим модификатором, становится атомарным.

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

Чтобы лучше разобраться, рассмотрим следующий код:

int a, b;

// первый поток:
a = 1;
b = 2;

// второй поток
  System.out.print(b);
  System.out.print(a);

В результате работы, программа может выдать следующие результаты:

  • 21 – сначала отработал первый поток, а потом второй;
  • 00 – сначала отработал второй поток, а потом первый;
  • 01 – второй поток отработал между командами первого.

Но возможен также и непрогнозируемый результат – 20. Это связано с тем, что для внутри потока действует принцип program order, который гарантирует только видимость заданной последовательности выполнения команд. Чтобы избежать таких неожиданных результатов используется модификатор volatile, который гарантирует выполнение отношения happens-before.

Поделиться уроком

Ответить

Ваш адрес email не будет опубликован. Обязательные поля помечены *