线程互斥问题，程序执行的流程

Question

 public class TT implements Runnable {
    int b = 100;

    public synchronized void m1() throws Exception{
        b = 1000;
        Thread.sleep(5000);
        System.out.println("b = " + b);
    }

    public synchronized void m2() throws Exception {
        Thread.sleep(2500);        //在在这里睡一下跟不睡结果不同，怎么会呢？
        b = 2000;
    }

    public void run() {
        try {
            m1();
        } catch(Exception e) {
            e.printStackTrace();
        }
    }

    public static void main(String[] args) throws Exception {
        TT tt = new TT();
        Thread t = new Thread(tt);
        t.start();

        tt.m2();
        System.out.println(tt.b);
    }
}

如上代码段，运行结果为：
1000
b=1000
如果将注释的那一行代码去掉，运行结果为：
2000
b=1000
为什么会这样啊？不是在主线程main中运行到t.start()重新另启动一个线程，但是主线程还在运行，到tt.m2()先获得互斥锁，睡眠2.5秒，修改b=2000，然后主线程立即执行打印2000，然后t.start()才获得互斥锁，执行b=1000。有没有sleep不是都一样的么？求高手指点？

Answer 1

我们把两种情况都分析一下：
第一种m2中有Thread.sleep(2500)：
t.start()启动子线程，会直接调用run()->m1()。而在m1（）中，b=1000；然后开始延时Thread.sleep(5000);
另一方面，主线程继续执行tt.m2()。而在m2()中开始延时Thread.sleep(2500);之后才会b=2000；
主线程继续System.out.println(tt.b);输出b的值（此时b=1000，m1()和m2()都在延时中）
（这里有点不明白的是tt.m2()和System.out.println(tt.b)的执行顺序，tt.m2()如果是在主线程中运行这里b的值理应为2000.）

第二种m2中没有延时：
前面一样，但tt.m2()是就直接b=2000了；
主线程继续System.out.println(tt.b);输出b的值（此时b等于1000还是2000就看m1()和m2()的执行顺序了）