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

[Frederik Deweerdt]

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