Вдохновленный этим вопросом, я написал тест:
public class Main {
private static final long TEST_NUMBERS = 5L;
private static final long ITERATION_NUMBER = 100000L;
private static long value;
public static void main(final String [] args) throws Throwable {
for(int i=0; i<TEST_NUMBERS; i++) {
value = 0;
final Thread incrementor = new Thread(new Incrementor());
final Thread checker = new Thread(new Checker());
incrementer.start();
checker.start();
checker.join();
incrementer.join();
}
}
static class Incrementor implements Runnable {
public void run() {
for(int i=0; i<ITERATION_NUMBER; i++){
++value;
}
}
}
static class Checker implements Runnable {
public void run() {
long nonEqualsCount = 0;
for(int i=0; i<ITERATION_NUMBER; i++){
if(value != value) {
++nonEqualsCount;
}
}
System.out.println("nonEqualsCount = " + nonEqualsCount);
}
}
}
Эта программа печатается в общем случае:
nonEqualsCount = 12; //or other non 0 value;
nonEqualsCount = 0;
nonEqualsCount = 0;
nonEqualsCount = 0;
nonEqualsCount = 0;
Первое: такое поведение я объясняю наличием JIT-компилятора. Значение кэша JIT-компилятора не volatile
для каждого потока после "прогрева". Это правильно?
Второй: если первый прав или не прав, как я могу это проверить?
P.S. - Я знаю об опции PrintAssebly.
Обновление: среда: 64-разрядная версия Windows 7, JDK 1.7.0_40-b43 (горячая точка).