RE : [Tsp-devel] [ANN] Dlock, un outil de debug de locks

[Brutus Julien]

Kaixo,
Je n'étais pas au courant de la démarche mais je la trouve très intéressante et 
j'espère bien la mettre à profit dans les futurs bancs temps réel qu'on aura à 
developper.
Merci.

A+

-----Message d'origine-----
De : address@hidden [mailto:address@hidden De la part de Frederik Deweerdt
Envoyé : mercredi 10 janvier 2007 14:22
À : Transport Sample Protocol development list
Objet : [Tsp-devel] [ANN] Dlock, un outil de debug de locks


Salut liste,

J'ai développé un petit utilitaire qui permet de débugger la façon dont sont 
utilisés les locks dans un programme. Ca a la forme d'une
lib: libdlock.so

En gros, si on linke un programme quelconque utilisant les appels à 
pthread_mutex_{lock,unlock} avec libdlock, ça permet de valider que l'ordre de 
prise des mutex est valide et n'est pas susceptible de provoquer de deadlocks 
de type ABBA, que les locks sont bien ordonnés (pas de 
"lock(A),lock(B),unlock(A), unlock(B)"), etc..

On peut utiliser la lib avec ou sans re-compilation de l'exe à débugger, mais 
pour plus de détails, je vous renvoie à: 
http://dlock.googlecode.com/svn/trunk/README
Si vous voulez jetter un coup d'oeil au code:
svn checkout http://dlock.googlecode.com/svn/trunk/ dlock

Vu que dlock est orienté test/debug, ça aurait sans doute sa place dans ts2p, 
donc si vous n'y voyez pas d'inconvénient, on pourrait l'intégrer au CVS 
savannah. Des avis là-dessus?

L'outil a été testé sous Linux/i386 et Eric a fait les modifs pour pouvoir 
l'utiliser sous Solaris. Si vous avez des suggestions, questions, elles sont 
les bienvenues!

A bientôt,
Frederik


_______________________________________________
Tsp-devel mailing list
address@hidden http://lists.nongnu.org/mailman/listinfo/tsp-devel