Exemple de course de données et exemple de détection de course de données

Question

Je cherche un exemple montrant tous les types de courses de données (par exemple ne possédant pas de verrous valides) et l'exemple de méthode de détection pour le détecter.

Si les deux exemples sont au format de code source (le langage de programmation n'est pas limité) ce serait parfait!

BTW, y a-t-il un bon outil de détection de course de données recommandé?

Answer 1

Vous pouvez trouver des exemples de conditions de course en Java sous http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4

Pour condition de course, vous pouvez enregistrer les fils pour toutes les modifications sur le terrain à l'aide de l'instrumentation. Si un champ est modifié par plusieurs threads sans synchronisation, vous avez trouvé une course de données.

Ceci est implémenté dans http://vmlens.com. Je recommande http://vmlens.com pour la détection de l'état de la course en java.