Synchro multi-thread : comment tester ?

Bonjour,

J'utilise 2 threads, un qui va faire de la lecture et un qui va faire de l'écriture.

Il faut donc les synchroniser...

J'ai trouvé ça :

http://www.cs.chalmers.se/~phs/phd.pdf

Y'a plein de trucs interressants la-dedans pour eviter les locks, j'ai donc fait une classe qui gère une liste doublement chainée en "lock-free"

Ca à l'air de marcher, mais là, un doute m'assaille... comment en être sûr ?

J'ai fait des tests avec un thread qui passe son temps à ecrire et l'autre à lire :
- sans le système de synchro, ça plante de temps à autre
- avec le système de synchro, je ne l'ai pas encore vu planter

Existe-t-il un moyen efficace de tester pour être sûr que ça ne plantera jamais ?

Merci !

Les mutex de Boost ne te conviennent pas ? ;)

Citation:

---

Envoyé par buzzkaido

Existe-t-il un moyen efficace de tester pour être sûr que ça ne plantera jamais ?

Merci !

---

Multiplier les tests*10000 sur différentes plateformes et configuration matérielle

Poukill :

Ce n'est pas un problème avec boost, c'est pour éviter les mutex.

Pas de mutex => pas de mise en attente de processus => pas de perte de temps

Le "lock-free" et le "wait-free" ne s'appliquent pas partout, mais quand c'est bien fait, ça cartonne...

OK d'accord je n'avais pas saisi...
Intéressant ton papier... :D

Je ne connais pas de tests sur pour tout ce qui est multithread. Le mieux que je sois capable de faire dans ce genre de situation, c'est :
- Faire tourner le programme longtemps, avec d'autres programmes à côté pour le déranger.
- Utiliser des composant "certifiés" par des gens plus qualifiés que moi (à la prochaine occasion, je regarde les thread building blocks d'intel par exemple).
- Une revue de code.