Discussion :

[ZaaN]

hello,

j utilise un Csemaphore pour gerer la concurrence entre 2 thread.

dans le premier thread, j initialise le compteur du semaphore à 1 et le nombre max à 1. (de manière à ce qu il soit non bloquant au debut et que 1 seul thread puisse etre à la fois dans le sem.)

Code :

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

m_pSem = new CSemaphore(1,1);

ensuite je bloque le semaphore dans une boucle de manière à ce que l itteration suivante soit precedée d une action d un autre thread :

Code :

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

1
2
3
4
5
do{
CSingleLock l_Locker(m_pSemStopInstance);				
l_Locker.Lock();
envoie d un signal à l autre thread;
}while(....);

et evideament, apres reception du signal dans l autre thread je debloque le semaphore pour permettre au thread 1 de continuer avec son iteration 2 de la boucle.

Code :

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

1
2
3
4
5
 
reception du signal;
traitement;
CSingleLock l_Locker(m_pSem);				
l_Locker.Unlock();

Le problème est que dans le thread 1 ( le premier), le deuxième passage sur le lock() n est pas bloquant, alors que le thread 2 n'as pas encore fais le unlock() ???

[Médinoc]

Le sémaphore est délocké et relocké à chaque itération : C'est à ça que sert CSingleLock, le verrou RAII...

De plus, ton utilisation me parait fort inappropriée pour un sémaphore, et relever plutôt d'un événement (CEvent)...

[ZaaN]

Le sémaphore est délocké et relocké à chaque itération : C'est à ça que sert CSingleLock, le verrou RAII...

oui et alors ? je comprend pas le but de cette remarque...

De plus, ton utilisation me parait fort inappropriée pour un sémaphore, et relever plutôt d'un événement (CEvent)...

certe, mais cependant elle doit quand meme fonctionner

[Médinoc]

Oups! J'ai mal lu.

Edit: Aie! Cette partie est fausse:

Donc, tu réserves un sémaphore dans un thread et tu tentes de le faire libérer par un autre ---> Echec: La réservation est locale à un thread. Le second thread ne peut rien libérer du tout, puisqu'il ne possède pas l'unité.
Et avec un mutex, ça foirerait pareil.

Edit: La bonne raison de l'échec, c'est que tu utilises des CSingleLock sur ton sémaphore alors que ce n'est pas approprié ici. Un CSingleLock ne libère que ce qu'il a lui-même acquis, et le libère en toutes circonstances lors de sa desctuction. C'est une classe RAII, il sert à ça.
Avec un CSingleLock mutex, ça foirerait pareil.

Avec un event (et surtout pas de CSingleLock) ça devrait mieux passer...

[ZaaN]

Bon avec les CEvent ca marche impec !

Mais je reste decu par l implementation des CSemaphore. Ils ne se comportent pas du tout comme la definition générale du Sémaphore (cf. [Dij 68], E.W.Dijkstra --> quel Winner cet Edsger)

[Médinoc]

En fait, je me suis trompé. L'implémentation est bonne, et il semblerait qu'un thread peut incrémenter un sémaphore même s'il ne l'a pas.

Par contre, pour cela il ne faut pas utiliser CSingleLock. CSingleLock est une classe RAII dédiée pour réserver une ressource et la rendre, et cette classe-ci s'assure de ne pas libérer ce qu'elle n'a pas.

En utilisant directement les fonctions de CSemaphore sans CSingleLock, ça aurait sûrement marché.