Utilisation de volatiles sur des variables atomiques

Question

L'utilisation de volatiles sur une variable réduit le risque d'erreur de cohérence de la mémoire (veuillez me corriger si cela révèle des lacunes dans ma compréhension de tout concept pertinent). Ainsi, dans l'exemple suivant, même si la variable c1 est volatile, toujours l'apparition des résultats d'erreur de constance de mémoire dans c1 devenant 15 ou parfois 14 dans la sortie plutôt que la sortie correcte 16.

class Lunch implements Runnable { 

    private volatile long c1 = 0; 
    private Object lock1 = new Object(); 
    private Object lock2 = new Object(); 
    public void inc1() { 
     // synchronized(lock1) { c1 is volatile 
      c1++; 
     // } 
    } 

    public void run() { 
     try { 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
      Thread.sleep(1000); 
      inc1(); 
     } 
     catch(InterruptedException e) { 
      return; 
     } 
    } 
    public long value() { 
     return c1; 
    } 
    public static void main(String args[]) throws InterruptedException { 
     Lunch l = new Lunch(); 
     Thread t1 = new Thread(l); 
     Thread t2 = new Thread(l); 
     t1.start(); 
     t2.start(); 
     t1.join(); 
     t2.join(); 
     System.out.println(l.value()); 
    } 
} 

Answer 1

Vous avez raison. Parce que ++ n'est PAS une opération atomique, vous pouvez toujours obtenir des résultats incohérents où un thread lit/incrémente/écrit une valeur en même temps qu'un autre thread. Envisagez d'utiliser AtomicInteger pour des cas comme celui-ci.

Answer 2

Cochez la case http://www.javabeat.net/tips/169-volatile-keyword-in-java.html pour comprendre ce qu'est le comportement volatile. Il évite le cache de thread intermédiaire mais de toute façon il peut y avoir la mise à jour perdue à partir de la lecture de sa valeur et de la mise à jour dans une opération non atomique.

Answer 3

L'atomicité n'est qu'une partie de l'image. Il y a également visibilité. Si une valeur de variable non volatile (et non synchronisée) est modifiée, les autres threads ne sont pas garantis de voir le changement dans le temps, ou pas du tout.