前陣子和同學(xué)交流的時(shí)候發(fā)現(xiàn)了這樣一段代碼，沒(méi)有按照預(yù)定想法進(jìn)行輸出：

public class Demo implements Runnable {

    private Integer a = 0;
    @Override
    public void run() {
        for (int j = 0; j < 1_000_000; j++) {
            synchronized (a) {
                a++;
            }
        }
    }

    public static void main(String[] args) throws InterruptedException {
        Demo demo = new Demo();
        Thread t1 = new Thread(demo);
        Thread t2 = new Thread(demo);
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(demo.a);
    }
}
//output
1145098

一開(kāi)始想是不是因?yàn)?strong>synchronized住了對(duì)象a本身,然后又對(duì)a進(jìn)行了修改，這樣的操作會(huì)導(dǎo)致原子性丟失。于是嘗試了將a放入一個(gè)單獨(dú)的對(duì)象。代碼如下：

public class Demo implements Runnable {

    //    private Integer a = 0;
    private A a = new A();

    static class A {
        public int value = 0;
    }

    @Override
    public void run() {
        for (int j = 0; j < 1_000_000; j++) {
            synchronized (a) {
                a.value++;
            }
        }
    }

    public static void main(String[] args) throws InterruptedException {
        Demo demo = new Demo();
        Thread t1 = new Thread(demo);
        Thread t2 = new Thread(demo);
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(demo.a.value);
    }
}

//output
200000

神奇的是代碼好像正常運(yùn)行了，那么問(wèn)題是出現(xiàn)在哪兒呢？

String a=new String("Hello World");

上面這段代碼到底創(chuàng)建了幾個(gè)對(duì)象？這是一個(gè)很經(jīng)典的問(wèn)題？

• 當(dāng)JVM常量池中不存在“Hello world”常量時(shí)，該語(yǔ)句創(chuàng)建了兩個(gè)對(duì)象
  • 在常量池創(chuàng)建“Hello world”對(duì)象
  • 在堆中創(chuàng)建new String()對(duì)象，并從常量池取值到new String中，完成賦值。
• 當(dāng)常量池中已經(jīng)存在“Hello world”時(shí)：
  • 在堆中創(chuàng)建new String()對(duì)象，并從常量池取值到new String中，完成對(duì)象創(chuàng)建。

那這段代碼創(chuàng)建的一個(gè)對(duì)象或者兩個(gè)對(duì)象跟這次遇到的多線程問(wèn)題有關(guān)嗎？

• 在JVM中所有的基本數(shù)據(jù)類型的包裝類型都擁有自己的常量池( Byte,Short,Integer,Character,Long ),該常量池僅緩存-128-127之間的值，也就是說(shuō)，當(dāng)創(chuàng)建的值是在該范圍中，并且修改的操作不超過(guò)該范圍，則對(duì)象依然是同一個(gè)對(duì)象，只是對(duì)象的值發(fā)生了改變。

• 在這個(gè)情景中：

  • Integer 的對(duì)象自增（or 其他運(yùn)算）后還是同一個(gè)對(duì)象嗎？
    當(dāng)聲明一個(gè)Integer類型的變量時(shí)，例如Integer a = 200;：

    當(dāng)對(duì) a 進(jìn)行運(yùn)算時(shí)，如果其結(jié)果值總是在 [-128, 127] 之間時(shí)，這個(gè)值會(huì)直接從一個(gè)緩存數(shù)組中取出，這時(shí)取出來(lái)的都是同一個(gè)對(duì)象，而不會(huì)重新創(chuàng)建一個(gè)新的對(duì)象。

    如果運(yùn)算后的結(jié)果超出了這個(gè)范圍，就會(huì)每次重新創(chuàng)建一個(gè)對(duì)象出來(lái)，新創(chuàng)建的兩個(gè)對(duì)象也肯定是不一樣的。

  • 所以雖然對(duì)象a被synchronized住了，但是a的對(duì)象本身發(fā)生了改變，簡(jiǎn)而言之，兩個(gè)線程在進(jìn)行不同的操作時(shí)鎖定的不是同一個(gè)對(duì)象，就會(huì)發(fā)生原子性問(wèn)題。