mot clé synchronized

Bonjour,

J'ai lu la page DVP sur Java et la synchronisation - qui est très bien d'ailleurs. Je rencontre cependant un problème de blocage que la page n'explique pas :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

/* les noms de variables ont été simplifiés,  * les fonctions épurées, mais l'essentiel est là  */ public void f1() { if (DEBUG) Log.d(TAG, "begins"); for(int index = 0;index<mInput.size();index++) { synchronized(mArray) { mArray.add(mInput.get(index)); } }   if (DEBUG) Log.d(TAG, "ends"); }   public void f2(int value) { synchronized(mArray) { for(int index = 0;index<mArray.size();index++) { if(mArray.get(index)==value) mArray.remove(index); } } }

---

mArray est une simple ArrayList, rien de bloquant dans un add ou un remove. Ces fonctions peuvent être appelées par des threads différents, mais aucun des appelants n'a d'autres verrous que celui-là. Cependant il arrive régulièrement qu'on ait un "begins" sans "ends". Y a-t-il quelque chose qui m'échappe sur la synchronisation ?

Etant donné le contexte de développement, je n'ai pas la possibilité de faire de tests de débug et dois corriger le bug "à vue". Toute idée est la bienvenue :)

Merci bien !

je vois deux possibilité
1) le code bloque effectivement -> obtenir un thread dump de la production (kill -3 <pid> si de type unix) pour savoir où
2) le code ne bloque pas mais lance une exception -> on a le start sans le end. Mettre les log "end" dans des bloc finally pour confirmer.


A noter que ton code f2 est suspect. Si il trouve un valeur, il ignore systématiquement le suivante:

retirer 5 de [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] donnera:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

index contenu 0 [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] 1 [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] 2 [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] 3 [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] 4 [1 2 2 3 5 5 7 8 9 5 5 2 5 4 ] 5 [1 2 2 3 5 7 8 9 5 5 2 5 4 ] 6 [1 2 2 3 5 7 8 9 5 5 2 5 4 ] 7 [1 2 2 3 5 7 8 9 5 5 2 5 4 ] 8 [1 2 2 3 5 7 8 9 5 5 2 5 4 ] 9 [1 2 2 3 5 7 8 9 5 2 5 4 ] 10 [1 2 2 3 5 7 8 9 5 2 5 4 ] [1 2 2 3 5 7 8 9 5 2 4 ]

---

Citation:

---

Envoyé par cycloop

Bonjour,

Code:

---

1 2 3 4 5 6 7 8 9

synchronized(mArray) { for(int index = 0;index<mArray.size();index++) { if(mArray.get(index)==value) mArray.remove(index); } }

---

---

J'ajouterais à la remarque de tchize que ce code est non seulment suspect, mais source à problemes. Car si le dernier element correspond à value, on va se retrouver avec un acces en dehors du tableau. La regle est : Ne pas faire de remove dans un for qui parcourt une liste par index.
Il faudrait plutot faire :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

synchronized(mArray) { int index = 0; while(index<mArray.size()) { if(mArray.get(index)==value) mArray.remove(index); else index++; } }

---

Sinon, concernant le probleme des traces "begin" sans "end", je pencherais soit pour une exception pendant le traitement, soit pour une simplification trop... simplifiée qui masque le probleme ;)

Salut,

Citation:

---

Envoyé par hwoarang

Il faudrait plutot faire :

---

Autant prendre la solution de l'Iterator : c'est fait express et c'est plus propre (totalement indépendant de l'implémentation de la List) :

Code:

---

1 2 3 4 5 6 7

synchronized(mArray) { Iterator<Object> it = mArray.iterator(); while (it.hasNext()) { if(it.next()==value) it.remove(); } }

---

a++