Ao brincar com testes de unidade para uma classe singleton altamente concorrente, deparei-me com o seguinte comportamento estranho (testado no JDK 1.8.0_162):
private static class SingletonClass {
static final SingletonClass INSTANCE = new SingletonClass(0);
final int value;
static SingletonClass getInstance() {
return INSTANCE;
}
SingletonClass(int value) {
this.value = value;
}
}
public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException {
System.out.println(SingletonClass.getInstance().value); // 0
// Change the instance to a new one with value 1
setSingletonInstance(new SingletonClass(1));
System.out.println(SingletonClass.getInstance().value); // 1
// Call getInstance() enough times to trigger JIT optimizations
for(int i=0;i<100_000;++i){
SingletonClass.getInstance();
}
System.out.println(SingletonClass.getInstance().value); // 1
setSingletonInstance(new SingletonClass(2));
System.out.println(SingletonClass.INSTANCE.value); // 2
System.out.println(SingletonClass.getInstance().value); // 1 (2 expected)
}
private static void setSingletonInstance(SingletonClass newInstance) throws NoSuchFieldException, IllegalAccessException {
// Get the INSTANCE field and make it accessible
Field field = SingletonClass.class.getDeclaredField("INSTANCE");
field.setAccessible(true);
// Remove the final modifier
Field modifiersField = Field.class.getDeclaredField("modifiers");
modifiersField.setAccessible(true);
modifiersField.setInt(field, field.getModifiers() & ~Modifier.FINAL);
// Set new value
field.set(null, newInstance);
}
As duas últimas linhas do método main () discordam do valor de INSTANCE - meu palpite é que o JIT se livrou completamente do método, pois o campo é estático final. A remoção da palavra-chave final faz com que o código produza os valores corretos.
Deixando de lado sua simpatia (ou falta dela) por singletons e esquecendo por um minuto que usar uma reflexão como esta está causando problemas - é minha suposição correta que as otimizações do JIT são as culpadas? Em caso afirmativo - esses são limitados apenas a campos finais estáticos?
static final
campo. Além disso, não importa se esse hack de reflexão é interrompido devido a JIT ou simultaneidade.