Ключевое слово 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.