[Javapathfinder-user] Volatile variables & Double Checked Locking

[Cristobal J. C. <kry...@ho...>]

Hi,
i have two questions:

Java PathFinder can do any kind of check over volatile variables?
 

Is there a way to check a Double Checked locking pattern without excluding the fields from lock protection?
Thanks in advance,
 
Cristobal J.C.
_________________________________________________________________
Tecnología, moda, motor, viajes,…suscríbete a nuestros boletines para estar siempre a la última
Guapos y guapas, clips musicales y estrenos de cine.