Programmatique de détection de blocage en java

Un indice utile pour l'enquête:

Si vous pouvez attraper la demande de la main dans le sac et que vous soupçonnez un blocage a eu lieu, go et appuyez sur "Ctrl-Pause" dans le java.exe fenêtre de la console (ou "Ctrl-\" sur Solaris/Linux).
La jvm d'un dumping de la situation actuelle et la trace de la pile de tous les threads, découvrez les serrures et de décrire avec précision eux.

Il ressemblera à quelque chose comme ceci:

Full thread dump Java HotSpot(TM) Client VM (1.5.0_09-b03 mixed mode):

"[Test Timer] Request Queue" prio=6 tid=0x13d708d0 nid=0x1ec in Object.
    wait() [0x1b00f000..0x1b00fb68]
    at java.lang.Object.wait(Native Method)
    at java.lang.Object.wait(Unknown Source)
    at library.util.AsyncQueue.run(AsyncQueue.java:138)
        - locked <0x02e70000> (a test.server.scheduler.SchedulerRequestQueue)

    ...

Found one Java-level deadlock:
=============================
"Corba service":
  waiting to lock monitor 0x13c06684 (object 0x04697d90, a java.lang.Object),
  which is held by "[Server Connection] Heartbeat Timer"
"[Server Connection] Heartbeat Timer":
  waiting to lock monitor 0x13c065c4 (object 0x0467e728, a test.proxy.ServerProxy), which is held by "Corba service"

Java stack information for the threads listed above:
===================================================
"Corba service":
    at test.proxy.ServerProxy.stopHBWatchDog(ServerProxy:695)
    - waiting to lock <0x04697d90> (a java.lang.Object)
    ...

JArmus est une bibliothèque pour la détection de blocage et l'évitement. Il inclut un support pour:
Thread.join, CyclicBarrier, CountDownLatch, Phaser, et
ReentrantLock.

À utiliser JArmus vous avez besoin pour instrument de votre code. Soit par le biais de l'un de ses instrumentation des classes, ou automatiquement avec l'JArmus instrumentar jarmusc.


java -jar jarmusc.jar yourprogram.jar checkedprogram.jar


L'entrée yourprogram.jar est le programme que vous souhaitez vérifier.
Le résultat est le même programme avec des chèques de trouver automatiquement un blocage.

Obstacles besoin de l'aide

Vérifier les blocages avec les classes CyclicBarrier, CountDownLatch, Phaser est un peu délicat --- par exemple, JConsole ne peut pas détecter ces types de blocages. JArmus besoin d'un peu d'aide de vous: vous devez spécifier les threads sont influençant la synchronisation, nous appelons ces enregistré threads.

Dès que possible, le thread doit marquer lui-même enregistré. Un bon endroit pour marque enregistrée fils est au début de la méthode Runnable.run.

JArmus.register(latch);


Exemple

Le programme suivant qui blocages est correctement identifié par
JArmus:

final CountDownLatch latch = new CountDownLatch(2);
final CyclicBarrier barrier = new CyclicBarrier(2);
final Queue<Exception> exceptions = new ArrayDeque<>();
Thread t1 = new Thread(new Runnable() {
    @Override
    public void run() {
        try {
            JArmus.register(barrier); //do not forget to register!
            JArmus.register(latch); //do not forget to register!
            latch.countDown();
            latch.await();
            barrier.await();
        } catch (Exception e) {
            exceptions.add(e);
        }
    }
});
Thread t2 = new Thread(new Runnable() {
    @Override
    public void run() {
        try {
            JArmus.register(barrier); //do not forget to register!
            JArmus.register(latch); //do not forget to register!
            barrier.await();
            latch.countDown();
            latch.await();
        } catch (Exception e) {
            exceptions.add(e);
        }
    }
});
t1.start();
t2.start();

Si vous n'avez pas besoin programmatique de détection, vous pouvez le faire via le JConsole; sur le fil onglet "détection de blocage de la touche"". Dans JDK6 ce détecter des serrures pour les deux intrinsèque des moniteurs et j.u.c Locks

Courir jusqu'à la JConsole via le $JAVA_HOM/bin/jconsole commande

tempus fugit met également en œuvre avec un programmatique fil dumping classe. Il est mis en œuvre à l'aide du mbean mécanisme mentionné ci-dessus et offre un drop in, out-of-the-box super duper solution.