Discussion :

[jro-daemon]

Bonjour,
je suis actuellment en train de coder des tests unitaires pour un framework de traitement de données.
J'aurais des questions de précision sur les mutex en particulier. Je ne suis pas encore très familier de leur utilisation.
En tout cas, cela protège l'accès à une variable dans une zone critique.
Mon programme de tests est composé de tests unitaires qui indépendamment sont opérationnelles mais une fois que le lancement s'effectue les uns après les autres j'ai un blocage de mon programme du à un mutex.
Quels peuvent être les origines de façon génarale du blocage d'un mutex?
Quels peuvent être les outils utilisables pour déboguer ce type d'erreur?

Cordialement,
Bon week-end.
Johnny.

[themadmax]

Quels peuvent être les origines de façon génarale du blocage d'un mutex? :

Appel recurcif :

Code :

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

1
2
3
4
5
6
function recur()
{
    Mutex.Wait();
    recur();
    Mutex.Release();
}

Retour dans un mutex:

Code :

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

1
2
3
4
5
6
7
function erreur()
{
    Mutex.Wait()
    if ( toto )
      return 0;
    Mutex.Release()
}

En gros une non liberation d'un mutex ! Attention aussi a des appels systems, ou des lib ext. non multithread.

Quels peuvent être les outils utilisables pour déboguer ce type d'erreur?

Un bon debugger, et une bonne experience de celui-ci et de la prog. multithread. Mais a savoir que la prog. multithread est la plus dangereuse et la plus difficile a debbugger (un test sur une machine peut passé un jour et pas un autre!)
D'ailleur j'aimerai bien savoir comment tu t'en sort pour les tests unitaire en multithread.

[Médinoc]

Normalement, une bibliothèque de multithreading décente supporte les appels récursifs sans problème.
C'est au niveau de la non-libération qu'il faut s'inquiéter. C'est là qu'on peut tirer toute la puissance du langage C++:

Code C++ :

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

1
2
3
4
5
6
7
8
9
10
class Lock
{
public:
	Lock(Mutex *pMutex) : m_pMutex(pMutex)
	{ m_pMutex->Wait(); }
	~Lock()
	{ m_pMutex->Release(); }
private:
	Mutex *m_pMutex;
};