[置顶] 深入探析Java线程锁机制

今天在iteye上提了一个关于++操作和线程安全的问题，一位朋友的回答一言点醒梦中人，至此我对Java线程锁有了更加深刻的认识。在这里也做个总结供大家参考。

      先看几段代码吧！

   代码一：

public class TestMultiThread2 implements Runnable{

    private static Object o = new Object();

    private static Integer si = 0;

    private static AtomicInteger flag = new AtomicInteger();

    @Override
    public void run() {
        for(int k=0;k<2000000;k++){
            synchronized(si){
                si++;
            }
        }
        flag.incrementAndGet();
    }
    public static void main(String[] args) throws InterruptedException{
        TestMultiThread2 t1 = new TestMultiThread2();
        TestMultiThread2 t2 = new TestMultiThread2();
        ExecutorService exec1 = Executors.newCachedThreadPool();
        ExecutorService exec2 = Executors.newCachedThreadPool();
        exec1.execute(t1);
        exec2.execute(t2);
        while(true){
            if(flag.intValue()==2){
                System.out.println("si>>>>>"+si);
                break;
            }
            Thread.sleep(50);
        }


    }

}

   为了方便看，重复的就不插入了，从代码二到代码四只插入run()方法中的代码，其他地方都一样

  代码二：

public void run() {
    for(int k=0;k<2000000;k++){
        synchronized(o){
            si++;
        }
    }
    flag.incrementAndGet();
}

  代码三：

public void run() {
    for(int k=0;k<2000000;k++){
        synchronized(o){
            si++;
            o = new Object();
        }
    }
    flag.incrementAndGet();
}

    代码四： 

public void run() {
     for(int k=0;k<2000000;k++){
         synchronized(o){
             si++;
             Object temp = o;
             o = new Object();
             o = temp;
         }
     }
     flag.incrementAndGet();
 }

  有了这四段代码我想问题大概可以说明白了，这里说一下输出吧。

  代码一：<4000000

  代码二：=4000000

  代码三：<4000000

  代码四：<4000000（PS：这个结果非常接近4000000）

      这里说明一下我测试中碰到的问题，代码四一直没有跑出我想要的结果，主要是开始我设的循环次数太少，其实这里如果要这个现象更加明显一些可以在中间多new 几个Object 如下面的代码五，这样现象就比较明显了.

  代码五：

public void run() {
    for(int k=0;k<2000000;k++){
        synchronized(o){
            si++;
            Object temp = o;
            for(int m=0;m<10;m++){
                o = new Object();
            }
            o = temp;
        }
    }
    flag.incrementAndGet();
}

 为什么会出现上面的现象：

     代码一：当si做++操作后(可以直接看字节码，这里不贴了)，在putstatic之前有几步操作，就是我们常说的非原子操作，而这时候si已经不是原来的对象了，这样锁对另外一个线程来说就失效了，我想代码三和代码四就是最好的佐证，代码四更有说服力。当时因为没有出现预想的情况困惑了挺久。

    其实这里用字节码来解释还不是很严谨，最好的当然直接是汇编代码

    如有什么问题还希望各位读者指正。

zhuanzi:http://blog.csdn.net/luohuacanyue/article/details/8307617