2016年Java虛擬機語言峰會：展望JVM的未來

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

模塊化：Project Jigsaw

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

值類型：Project Valhalla

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

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

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

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

虛擬機未來

John Rose談到了吸引虛擬機走向未來的幾個方向：

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

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

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

總結(jié)

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

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

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