2016年Java虛擬機(jī)語(yǔ)言峰會(huì)：展望JVM的未來(lái)

2016年Java虛擬機(jī)語(yǔ)言峰會(huì)(JVMLS)匯聚了語(yǔ)言設(shè)計(jì)師和JVM工程師，共同探討JVM的未來(lái)發(fā)展及其對(duì)Java語(yǔ)言的影響。本次峰會(huì)重點(diǎn)關(guān)注了Project Jigsaw、Project Valhalla和虛擬機(jī)未來(lái)等關(guān)鍵議題。

模塊化：Project Jigsaw

Project Jigsaw是Java 9的核心特性，它為Java語(yǔ)言引入了模塊化機(jī)制。開(kāi)發(fā)者可以創(chuàng)建模塊，實(shí)現(xiàn)可靠的配置、強(qiáng)大的封裝以及改進(jìn)的可擴(kuò)展性、安全性與性能。Java 9將允許創(chuàng)建模塊（本質(zhì)上是包含新結(jié)構(gòu)——模塊描述符的JAR包）。模塊描述符通過(guò)指定模塊名稱、列出所需模塊以及導(dǎo)出的包來(lái)描述模塊。在運(yùn)行時(shí)，模塊主要只能看到其依賴的模塊（可讀性），并且只有在讀取該模塊且該模塊導(dǎo)出包含該類型的包時(shí)才能訪問(wèn)其他模塊中的類型（可訪問(wèn)性）。這意味著編譯器和JVM最終放棄了以往將所有代碼和依賴項(xiàng)整合到一起的大泥球模式，取而代之的是一個(gè)更貼近我們對(duì)軟件結(jié)構(gòu)認(rèn)知的真實(shí)圖譜。編譯器和JVM都能理解這個(gè)圖譜，從而在編譯或啟動(dòng)時(shí)檢測(cè)到缺失的模塊、相同模塊的多個(gè)版本或多個(gè)模塊導(dǎo)出相同包等問(wèn)題，避免運(yùn)行時(shí)錯(cuò)誤或難以察覺(jué)的細(xì)微錯(cuò)誤。

值類型：Project Valhalla

Project Valhalla旨在引入值類型，可以將其概括為用戶自定義的原始類型。值類型與原始類型一樣，不會(huì)產(chǎn)生內(nèi)存開(kāi)銷或間接尋址。一個(gè)包含兩個(gè)int字段x和y的自定義點(diǎn)將被內(nèi)聯(lián)到其使用位置，只需要兩個(gè)int所需的內(nèi)存，而點(diǎn)的數(shù)組本質(zhì)上就是一個(gè)x/y對(duì)的數(shù)組。與原始類型一樣，這樣的點(diǎn)沒(méi)有標(biāo)識(shí)——雖然可以有兩個(gè)值為5的不同Integer對(duì)象，但不能有兩個(gè)不同的int值5。與類一樣，值類型可以具有方法和字段，并實(shí)現(xiàn)接口。因此，其口號(hào)是：“像類一樣編碼，像int一樣工作”。這將使我們不再需要在首選的抽象和所需的性能之間權(quán)衡。

然而，該項(xiàng)目很快偏離了軌道。眾所周知，泛型不適用于原始類型——無(wú)法創(chuàng)建ArrayList。對(duì)于八種原始類型（參見(jiàn)Stream或Trove等庫(kù)的原始類型特化），這已經(jīng)很痛苦了，但當(dāng)開(kāi)發(fā)者可以定義更多類型時(shí)，這將變得難以忍受。如果值類型必須被裝箱才能與泛型交互（就像今天的原始類型一樣），那么它們的使用將非常有限，并且將無(wú)法啟動(dòng)。

因此，我們需要能夠?qū)⒎盒团c值類型一起使用——原始類型也可以一起使用。最終，我們不僅希望實(shí)例化ArrayList或ArrayList，還希望它分別由int[]或point[]支持。這被稱為特化，它打開(kāi)了一個(gè)全新的難題。

如果幸運(yùn)的話，部分甚至全部?jī)?nèi)容都將包含在Java 10中。

虛擬機(jī)未來(lái)

John Rose談到了吸引虛擬機(jī)走向未來(lái)的幾個(gè)方向：

• 對(duì)象、值、數(shù)組、方法等的統(tǒng)一模型
• 持續(xù)改進(jìn)性能，例如通過(guò)提高密度和共享來(lái)提高內(nèi)存效率，以及持續(xù)優(yōu)化熱點(diǎn)路徑
• 使用超越線程作為核心抽象的纖程實(shí)現(xiàn)細(xì)粒度并發(fā)
• 變得更加有用、兼容和互操作——對(duì)于在其上運(yùn)行的語(yǔ)言以及原生語(yǔ)言，從而彌合它們之間的差距
• 堆棧具體化，其中堆棧將類和方法作為真正的對(duì)象來(lái)保存，而不僅僅是作為字符串，并且每個(gè)幀的完整上下文（局部變量、監(jiān)視器等）都是可見(jiàn)的，并且運(yùn)行程序可以編輯堆棧

許多內(nèi)容都超出了我的理解范圍，但聆聽(tīng)他的演講仍然受益匪淺，即使只是為了感受他的熱情。

與Rose的展望精神相符的是Project Panama（Mikel Vidstedt和Tobi Ajila在“Going Native”中進(jìn)行了討論），Ian Graves補(bǔ)充了“Java向量API”。Christian Wimmer關(guān)于“One Compiler”的演示也旨在彌合差距。

總結(jié)

JVM是一個(gè)強(qiáng)大的工具，許多聰明的人正在努力使其更強(qiáng)大，同時(shí)控制其復(fù)雜性。

關(guān)于2016年JVM語(yǔ)言峰會(huì)的常見(jiàn)問(wèn)題解答 (此部分內(nèi)容與原文相同，略)

以上是JVMLS 2016：Java虛擬機(jī)器語(yǔ)言峰會(huì)的回顧的詳細(xì)內(nèi)容。更多信息請(qǐng)關(guān)注PHP中文網(wǎng)其他相關(guān)文章！