Java 對(duì)象頭分析與使用(Synchronized相關(guān))

前言

線程并發(fā)系列文章:

Java 線程基礎(chǔ)
Java 線程狀態(tài)
Java “優(yōu)雅”地中斷線程-實(shí)踐篇
Java “優(yōu)雅”地中斷線程-原理篇
真正理解Java Volatile的妙用
Java ThreadLocal你之前了解的可能有誤
Java Unsafe/CAS/LockSupport 應(yīng)用與原理
Java 并發(fā)"鎖"的本質(zhì)(一步步實(shí)現(xiàn)鎖)
Java Synchronized實(shí)現(xiàn)互斥之應(yīng)用與源碼初探
Java 對(duì)象頭分析與使用(Synchronized相關(guān))
Java Synchronized 偏向鎖/輕量級(jí)鎖/重量級(jí)鎖的演變過程
Java Synchronized 重量級(jí)鎖原理深入剖析上(互斥篇)
Java Synchronized 重量級(jí)鎖原理深入剖析下(同步篇)
Java并發(fā)之 AQS 深入解析(上)
Java并發(fā)之 AQS 深入解析(下)
Java Thread.sleep/Thread.join/Thread.yield/Object.wait/Condition.await 詳解
Java 并發(fā)之 ReentrantLock 深入分析(與Synchronized區(qū)別)
Java 并發(fā)之 ReentrantReadWriteLock 深入分析
Java Semaphore/CountDownLatch/CyclicBarrier 深入解析(原理篇)
Java Semaphore/CountDownLatch/CyclicBarrier 深入解析(應(yīng)用篇)
最詳細(xì)的圖文解析Java各種鎖(終極篇)
線程池必懂系列

從上篇文章我們了解到:synchronized修飾代碼塊/修飾方法,最終都是在對(duì)象頭上做文章,因此對(duì)象頭是深入理解synchronized 各種鎖變化的基礎(chǔ)。接下來就來深入分析對(duì)象頭在synchronized里的作用。
通過本篇文章,你將了解到:

1、對(duì)象在內(nèi)存的構(gòu)成
2、對(duì)象頭的構(gòu)成
3、對(duì)象頭源碼實(shí)現(xiàn)
4、調(diào)試查看對(duì)象頭

1、對(duì)象在內(nèi)存的構(gòu)成

先看一個(gè)簡(jiǎn)單的類:

    class Student {
        int age;
        String name;
    }
    
    //實(shí)例化對(duì)象
    Student student = new Student();

我們知道,new 出來的對(duì)象放在堆里,而對(duì)象在堆里的結(jié)構(gòu)如下:


image.png

分為三個(gè)部分:對(duì)象頭、實(shí)例數(shù)據(jù)(age/name)、填充字節(jié)。

2、對(duì)象頭的構(gòu)成

對(duì)象頭的劃分

而對(duì)象頭各區(qū)域如下:


image.png

只有數(shù)組對(duì)象才會(huì)有數(shù)組長(zhǎng)度部分,接下來以普通對(duì)象為例說明。

Klass Word 指向?qū)ο笏鶎兕惖脑獢?shù)據(jù)。

對(duì)象頭的大小

以64位機(jī)器為例,對(duì)象頭大小如下:


image.png

可以看出,普通對(duì)象的對(duì)象頭大小為:128bits,Mark Word、Klass Word分別占據(jù)64bits。

Mark Word 構(gòu)成

32位機(jī)器和64位機(jī)器有差別,以64位為例,將Mark Word 各個(gè)區(qū)域構(gòu)成整理如下:


image.png

如上圖所示,Mark Word 可以表示五種狀態(tài),同一時(shí)刻只能表示一種狀態(tài)。如何確定Mark Word處于何種狀態(tài)呢?
Mark Word 內(nèi)容區(qū)域里不同的bit(位)存儲(chǔ)不一樣的信息,可以看到五種狀態(tài)有一個(gè)共同的信息:lock。
lock 占2bits,可以表示四種狀態(tài):


image.png

lock可以表示四種狀態(tài),而Mark Word有五種狀態(tài),無鎖和偏向鎖lock取值是相同的,又如何來區(qū)分兩者呢?可以看到兩者有共同的信息位:biased_lock。
biased_lock 占1bit,可以區(qū)分兩種狀態(tài):

1------>表示是偏向鎖
0------>表示不是偏向鎖

因此結(jié)合lock與biased_lock(共3個(gè)bit) 可以表示五種狀態(tài):


image.png

1、Mark Word 結(jié)構(gòu)并不像常見的Java 對(duì)象擁有不同的成員變量,而是通過細(xì)化到bit來表示具體的值。
2、得益于第一點(diǎn)設(shè)計(jì),Mark Word 可以在有限的空間內(nèi)靈活的表示五種狀態(tài),節(jié)約了內(nèi)存。

3、對(duì)象頭源碼實(shí)現(xiàn)

Mark Word 定義

弄清楚了Mark Word構(gòu)成,來看看如何通過代碼來表示狀態(tài)并進(jìn)行狀態(tài)切換。
之前提到過,本系列并發(fā)文章源碼基于jdk1.8,源碼網(wǎng)址:
http://hg.openjdk.java.net/

查找到markOop.hpp文件:

image.png

markOopDesc提供了value()函數(shù),該函數(shù)里返回了自身(指向該對(duì)象的指針),并強(qiáng)轉(zhuǎn)為uintptr_t類型。
先看看uintptr_t:


image.png

64位的機(jī)器,uintprt_t表示8字節(jié)的無符號(hào)整形。
再看看markOopDesc的父類oopDesc:
在oop.hpp文件里:


image.png

該類里包含了:Mark Word和Klass Word(聯(lián)合體),重點(diǎn)來看看markOop類型:
在oopsHierarchy.hpp文件里。


image.png

可以看出markOop其實(shí)就是markOopDesc 指針,就是說markOopDesc里的value()函數(shù)最終返回的就是markOop,也就是64bits的Mark Word(無符號(hào)整形)。

Mark Word 狀態(tài)判斷

既然拿到了Mark Word的內(nèi)存值(64bits無符號(hào)整形),接下來就對(duì)該值做文章,比如如何判斷該Mark Word是否處在無鎖狀態(tài)呢?
繼續(xù)回到markOopDesc類,該類里提供了很多函數(shù),以判斷是否是無鎖狀態(tài)為例:


image.png

再來看看mask_bits,它是個(gè)內(nèi)聯(lián)函數(shù):


image.png

可以看出,實(shí)際上就是將兩個(gè)參數(shù)做"按位與"運(yùn)算。
再回過頭來看看mark_bits的參數(shù),第一個(gè)參數(shù)就是value()返回的markOop,第二個(gè)參數(shù)隱藏比較深就不貼圖了,此處直接說結(jié)論:biased_lock_mask_in_place = 0x111(7),而unlocked_value定義如下:


image.png

可以看到定義的枚舉值和我們之前提到的Mark Word五種狀態(tài)值一致。
最后判斷是否是無鎖狀態(tài)簡(jiǎn)化如下:

markOop & 0x111(7) == 1 表達(dá)式為真即表示Mark Word處在無鎖狀態(tài)
實(shí)際上就是取出Mark Word對(duì)應(yīng)的位進(jìn)行判斷

其它函數(shù)與上述函數(shù)類似。

4、調(diào)試查看對(duì)象頭

JOL簡(jiǎn)單使用

源碼是枯燥的,大多時(shí)候僅僅是幫助我們理解其原理。有時(shí)候并不需要了解其細(xì)節(jié),只想知道結(jié)果。那么有沒有方法知道當(dāng)前對(duì)象頭的值呢?如此就可以通過值判斷屬于哪種狀態(tài)。
JOL(Java Object Layout) Java 對(duì)象布局,通過這個(gè)工具可以查看對(duì)象的信息:如對(duì)象頭、實(shí)例內(nèi)容、填充數(shù)據(jù)等。
在Android Studio里引用該工具:

1、在 https://repo.maven.apache.org/maven2/org/openjdk/jol/jol-cli/0.9/ 下載jol-cli-0.9-full.jar
2、在Android Studio里引用該jar
3、如果是Java環(huán)境的話,通過Maven引用

導(dǎo)入jol包后,來看看簡(jiǎn)單的使用過程:

public class TestDemo {
    public static void main(String args[]) {
        Object object = new Object();
        //打印虛擬機(jī)的信息
        System.out.println(VM.current().details());
        //打印對(duì)象大小
        System.out.println(ClassLayout.parseInstance(object).instanceSize());
        //打印對(duì)象頭大小
        System.out.println(ClassLayout.parseInstance(object).headerSize());
        //打印對(duì)象信息
        System.out.println(ClassLayout.parseInstance(object).toPrintable());
    }
}

結(jié)果如下:


image.png

聲明的object對(duì)象為空對(duì)象,因此對(duì)象里沒有實(shí)例數(shù)據(jù)。
你也許發(fā)現(xiàn)了Klass Word 為32bits,說好的占用64bits呢?原因是Java VM默認(rèn)開啟了指針壓縮。
關(guān)閉指針壓縮:


image.png

Android Studio->Edit Configurations 編輯VM參數(shù):

-XX:-UseCompressedOops

再運(yùn)行結(jié)果如下:


image.png

可以看出Klass Word占用了8字節(jié),并且因?yàn)楸旧硪呀?jīng)對(duì)齊了,所以不需要填充對(duì)齊數(shù)據(jù)。

Mark Word狀態(tài)查詢

無鎖

說到這了還是沒提到怎么看鎖狀態(tài),接下來看看。
上面的例子里object沒有上鎖,因此應(yīng)該是無鎖狀態(tài),重點(diǎn)是找Mark Word對(duì)應(yīng)的位,上面提到過3bits確定Mark Word狀態(tài):


image.png

從這三3bits看,取值001,對(duì)應(yīng)上述的表格可知為無鎖狀態(tài)。

輕量級(jí)鎖

public class TestDemo {
    public static void main(String args[]) {
        Object object = new Object();
        //打印對(duì)象信息
        System.out.println(ClassLayout.parseInstance(object).toPrintable());
        synchronized (object) {
            System.out.println(ClassLayout.parseInstance(object).toPrintable());
        }
        System.out.println(ClassLayout.parseInstance(object).toPrintable());
    }
}

結(jié)果如下:


image.png

上鎖前后都是無鎖狀態(tài),上了鎖后是輕量級(jí)鎖

偏向鎖

說好的無鎖->偏向鎖->輕量級(jí)鎖的演變過程呢,怎么直接就到了輕量級(jí)鎖狀態(tài)?
JVM 啟動(dòng)的時(shí)候沒有立即開啟偏向鎖,而是延遲開啟。原因猜測(cè)是剛開始競(jìng)爭(zhēng)很激烈,偏向鎖撤銷會(huì)增加系統(tǒng)負(fù)擔(dān)。
延遲時(shí)間是4s,在globals.hpp里可以找到:


image.png

既然知道了原因,那么在代碼里延遲對(duì)象的創(chuàng)建。

public class TestDemo {
    public static void main(String args[]) {
        try {
            Thread.sleep(4500);
        } catch (Exception e) {

        }
        Object object = new Object();
        //打印對(duì)象信息
        System.out.println(ClassLayout.parseInstance(object).toPrintable());
        synchronized (object) {
            System.out.println(ClassLayout.parseInstance(object).toPrintable());
        }
        System.out.println(ClassLayout.parseInstance(object).toPrintable());
    }
}

注意:此處對(duì)象創(chuàng)建需要放在延遲生效的后面,因?yàn)槠蜴i啟用后對(duì)已生成的對(duì)象沒有影響。
結(jié)果如下:

image.png

可以看出,偏向鎖一旦開啟了,默認(rèn)就是偏向鎖。
當(dāng)然如果不想每次都等幾秒鐘才出結(jié)果,可以設(shè)置VM參數(shù),添加如下參數(shù):

-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0

用以禁用偏向鎖延遲生效。
此處你可能會(huì)有疑惑:

退出臨界區(qū)后,怎么還是偏向鎖?

該問題在下篇源碼分析時(shí)候會(huì)分析。

重量級(jí)鎖

public class TestDemo {
    static Object object = new Object();
    public static void main(String args[]) {
        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println("before get lock in Thread1");
                System.out.println(ClassLayout.parseInstance(object).toPrintable());
                synchronized (object) {
                    System.out.println("after get lock in Thread1");
                    System.out.println(ClassLayout.parseInstance(object).toPrintable());
                    new Thread(new Runnable() {
                        @Override
                        public void run() {
                            System.out.println("before get lock in Thread2");
                            System.out.println(ClassLayout.parseInstance(object).toPrintable());
                            synchronized (object) {
                                System.out.println("after get lock in Thread2");
                                System.out.println(ClassLayout.parseInstance(object).toPrintable());
                            }

                        }
                    }, "t2").start();

                    sleep(5000);
                }
            }
        }, "t1").start();
    }
}

以上開啟了兩個(gè)線程t1、t2,在它們獲取鎖前后打印對(duì)象。t1先執(zhí)行,然后開啟t2,t1睡眠5s。
分幾個(gè)步驟分析:
t1未獲取鎖之前:

image.png

t1獲取鎖之后:

image.png

t2獲取鎖之前:

image.png

t2獲取鎖之后:

image.png

t2嘗試獲取鎖時(shí)發(fā)現(xiàn)鎖被其它線程占用(t1),嘗試幾次還是無法獲取鎖,就由輕量級(jí)鎖膨脹為重量級(jí)鎖,掛起自己。

至此,Java 對(duì)象頭簡(jiǎn)單分析完畢。
無鎖、偏向鎖、輕量級(jí)鎖、重量級(jí)鎖源碼下篇分析。

參考:
jdk1.8
https://www.cnblogs.com/lusaisai/p/12748869.html
https://cloud.tencent.com/developer/article/1658707

您若喜歡,請(qǐng)點(diǎn)贊、關(guān)注,您的鼓勵(lì)是我前進(jìn)的動(dòng)力

持續(xù)更新中,和我一起步步為營(yíng)系統(tǒng)、深入學(xué)習(xí)Android

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容