前陣子和同學(xué)交流的時候發(fā)現(xiàn)了這樣一段代碼，沒有按照預(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

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

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)行了，那么問題是出現(xiàn)在哪兒呢？

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

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

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

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

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

• 在這個情景中：

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

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

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

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