主题：自动检测并行 Java 程序中的错误

在 MTRAT 的死锁检查报告中我们可以发现，线程 Thread 7 已经获得了锁 lock1，在程序 109 行试图获得锁 lock2。然而，线程 Thread 8 已经获得了锁 lock2，在程序 109 行试图获得锁lock1。

根据 MTRAT 的死锁检查报告，程序员可以很容易得知道，这个死锁问题是由于两个线程按照相反的顺序上锁造成的。避免这种问题的一种方法是让代码按固定的全局顺序获取锁。那么如果两个线程按照一致的顺序去上锁，死锁错误就可以被消除了。

void harness2() throws InterruptedException
{
        StringBuffer L1 = new StringBuffer("L1");
        StringBuffer L2 = new StringBuffer("L2");

        Thread t1 = new T3(L1, L2);
        Thread t2 = new T3(L1, L2);

        t1.start();
        t2.start();

        t1.join();
        t2.join();
}

结束语

在本文中，我们展示了如何检查并行 Java 程序中潜在的错误，比如数据竞争和死锁。通过使用 MTRAT，您可以在程序开发阶段发现用肉眼难以发现的并行程序错误。该工具使开发正确和高质量的并行程序变得更加容易。

links: http://www.ibm.com/developerworks/cn/java/j-lo-mtrat/