Discussion :

[cycloop]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 !

[tchize_]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ]

[hwoarang]

Bonjour,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[adiGuba]

Salut,

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
	synchronized(mArray) {
		Iterator<Object> it = mArray.iterator();
		while (it.hasNext()) {
			if(it.next()==value)
				it.remove();
		}
	}

a++