看看 JVM 是怎樣消化字節(jié)碼指令的
寫文章,標(biāo)題真是個頭疼的事兒。寫的偏技術(shù)點(diǎn),可能被認(rèn)為太生硬。寫的吸引點(diǎn)兒,可能被認(rèn)為是「廣告」,看著每次閱讀量都不到 3%,不由得「老淚縱橫」...
如果本文對你有幫助,轉(zhuǎn)發(fā)到朋友圈和「在看」支持一下啊。
扯遠(yuǎn)了,回到我們的正題。不知道你有沒有覺得, JVM 也像我們?nèi)嘶蛘呱镆粯樱瑘?zhí)行的過程一如咱們吃東西。只不過他吃的是 .class 文件,把其中認(rèn)為有營養(yǎng)的常量池、字節(jié)碼指令等消化吸收,同時(shí)一邊把垃圾處理掉,在最后不用的時(shí)候,再把全部的垃圾unload。
整個 .class 文件中, 字節(jié)碼指令是很重要的一個部分,所有方法內(nèi)的邏輯,都是通過這些指令來完成操作。
今天咱就一起來看看指令。
指令
我們前面說過,指令集(ISA)的實(shí)現(xiàn),一般有兩種形式
- 基于寄存器實(shí)現(xiàn)
- 基于棧的實(shí)現(xiàn)
兩者各有優(yōu)劣,但對于 JVM 來說,設(shè)計(jì)者在初期就已經(jīng)明確了場景和目標(biāo),所以JVM實(shí)現(xiàn)的指令集是基于棧實(shí)現(xiàn)的,具有指令數(shù)量少,格式簡單,操作數(shù)少,易于理解和實(shí)現(xiàn)等等特點(diǎn)。
一般一個典型的指令集系統(tǒng)中,需要實(shí)現(xiàn)的操作分為以下幾類:
- 數(shù)據(jù)傳送
- 運(yùn)算:包括算術(shù)運(yùn)算、邏輯運(yùn)算和移位運(yùn)算等
- 流程控制:控制轉(zhuǎn)移、條件轉(zhuǎn)移、無條件轉(zhuǎn)移以及復(fù)合條件轉(zhuǎn)移
- 中斷、同步、圖形處理(硬件)等
用通俗的語言描述的話,JVM 這些指令,按革命分工不同,大概干的事兒有:
1.像搬運(yùn)工一樣,來回在局部變量區(qū)和操作數(shù)棧這兩個地方來回挪動數(shù)據(jù)。比如從局部變量區(qū)加載到操作數(shù)棧,計(jì)算一下,再保存回局部變量區(qū)。
- 這類的命令又根據(jù)搬運(yùn)方向的不同,分為從局部變量表 到 操作數(shù)棧的load指令:iload_n、lload_n、aload_n等,分別又對應(yīng)到不同的操作數(shù)類型上,第一個字母基本都代表類型,i -> int, l -> long, a -> 引用。后面的n是數(shù)字。
- 以及分為從 操作數(shù)棧到局部變量表 的store指令:istore_n、lstore_n、astore_n等等,類型同上。
- 還有一些是從常量池直接加載到棧頂?shù)模駆dc、bipush、iconst_i等。
2.像手藝人一樣,做些打磨加工的工作,把石頭做成雕塑類似的類型轉(zhuǎn)換。比如把int 轉(zhuǎn)成long,把double 轉(zhuǎn)成int這些,對應(yīng)的JVM 指令是i2l和d2i 2前面是源類型,后面是目標(biāo)類型。
3.新的生命的孕育,像對象的創(chuàng)建、數(shù)組的創(chuàng)建等,以及對類型的操作。創(chuàng)建一個新的類實(shí)例 new, 新建一個數(shù)組 newarray比如getstatic 是訪問類的static 域 、getfield 獲取類的實(shí)例域 判斷對象是否屬于特定類型的instanceof
4.像紅綠燈一樣,指導(dǎo)道路的通行方向,來控制程序流程。有條件的轉(zhuǎn)移:像咱們常用的 if (x == 1) 這種,到了字節(jié)碼的時(shí)候,就變成了if_icmpne還有像try-catch字節(jié)碼里??吹降? goto,做無條件的跳轉(zhuǎn)。還有一些復(fù)合條件的轉(zhuǎn)移,像tableswitch 來支持 switch 語法。而對于 switch 能支持 String ,則是通過編譯的時(shí)候,把 String 對應(yīng)的 hashCode取出來,做為int 值來使用,通過 lookupswitch 來處理 case 不連續(xù)的情形。
5.像你我程序員一樣 :-),在 PM 提過來需求之后, 負(fù)責(zé)把它實(shí)現(xiàn)出來,在JVM里這些是運(yùn)算指令的活兒。比如int 加法iadd, int 減法isub, 遞增iinc這些。
6.還有些函數(shù)的調(diào)用,執(zhí)行的返回等等,對于靜態(tài)和非靜態(tài)方法,對應(yīng)的指令稍有差別。像 invokevirtual是調(diào)用普通實(shí)例方法的,invokestatic 是調(diào)用類的靜態(tài)方法的。以及類的初始化方法init,是通過 invokespecial調(diào)用的。方法調(diào)用完,一般通過 return結(jié)束調(diào)用,返回 void, 如果是返回類型數(shù)據(jù),則是return,這里的T 和咱們前面說的各種代表數(shù)據(jù)類型的一樣,比如返回int類型的值,對應(yīng)的指令是 ireturn。
7.異常的情況,通過 athrow指令,拋出去。異常的處理原理,可以參考上一篇文章:你寫下的try-catch-finally,在JVM看來不過是...
用來學(xué)習(xí)的工具
如果對這一部分感興趣,日常開發(fā)中,有幾個小工具可以使用。
1.像Java 自帶的javap 開箱即用。
2.一個圖形界面的工具jclasslib
- 下載地址:https://github.com/ingokegel/jclasslib/releases
3.IDEA 里面可以安裝工具 jclasslib 對應(yīng)的插件。
相比 javap,圖形界面工具除了使用方便,不用命令行,可以方便查看自己編寫的代碼生成的字節(jié)碼到底是哪些外,同時(shí)各個方法內(nèi)對應(yīng)的字節(jié)碼指令,只要點(diǎn)擊一下就能跳轉(zhuǎn)到指令的官方說明,也方便理解和學(xué)習(xí)。
比如上面的 iconst_2 指令,會跳轉(zhuǎn)到 Oracle 的這個說明頁面