JVM內置函數Intrinsics介紹

1.什麼是內置?

內置函數是由我們的編程語言的編譯器或解釋器進行特殊處理的函數。更具體地說,這是一種特殊情況,因為各種原因,編譯器或解釋器可以用替代實現替換函數。

編程語言通常通過理解一個特定的方法調用是特殊的來處理這個問題,無論何時我們調用這個方法,結果都是不同的。這樣一來,我們的代碼看起來與正常代碼沒有什麼不同,但編程語言的實現可以在特殊情況下進行幹預,以提供額外的好處。

它的具體工作方式因編程語言、操作系統和硬件而異。然而,由於這些都是為我們處理的,我們通常不需要知道這些細節中的任何一個。

本質可以帶來各種好處。用本機代碼替換特定算法可以使它們性能更好,甚至可以利用操作系統的特定功能或底層硬件。

2.JVM上的內置函數

JVM通過用替代版本替換精確類上的精確方法調用來實現內置函數。JVM自己處理這個問題,所以它隻適用於核心類和特定的體系結構。它還隻允許交換某些方法,而不是整個類。

具體的工作方式在JVM之間會有所不同。這不僅包括JVM的不同版本,例如Java 8和Java 11。這還包括不同的JVM目標——例如Linux和Windows——尤其是JVM供應商——Oracle和IBM。在某些情況下,傳遞給JVM的某些命令行標志可能會影響它們。

這種多樣性意味著無法僅基於應用程序來確定哪些方法將被內置方法替換,哪些不會。這將根據運行應用程序的JVM而有所不同。但在某些情況下,這可能會導致令人驚訝的結果——包括通過簡單地更改所使用的JVM而獲得的顯著性能優勢。

3.性能收益

intrinsic通常用於實現同一代碼的更高效版本,例如,通過利用正在運行的OS或CPU的實現細節。有時這是因為它可以使用更高效的實現,而有時它可以使用特定於硬件的功能。

例如:HotSpot JDK對java中的許多方法都有一個內在的實現java.lang.Math。根據具體的JVM,它們可能使用CPU指令來實現,以完成所需的精確計算。

一個簡單的測試將證明這一點。例如,以java.lang.Math.sqrt()為例。

我們可以編寫一個測試:

for (int a = 0; a < 100000; ++a) {
    double result = Math.sqrt(a);
}

此測試將執行100000次平方根運算,大約需要123ms。但是,如果我們用Math實現的副本替換這段代碼。Math.sqrt():

double result = StrictMath.sqrt(a);

這段代碼執行同樣的操作,但執行時間為166ms。通過復制實現,而不是允許JVM用內部版本替換它,這將增加35%。

4.不可能的實現

在其他情況下,intrinsic用於代碼無法在Java中實現的情況。這些通常是為非常低級的情況保留的。

例如,讓我們看看java.lang.Thread線程類中的onSpinWait()方法。此方法表示此線程當前未執行任何工作,並且可以將CPU時間分配給另一個線程。為瞭實現這一點,它需要在盡可能低的水平上工作。

HotSpot JDK for x86體系結構使用PAUSE操作碼直接在CPU上實現這一點。實現這一點的唯一其他方法是使用對本機代碼的JNI調用,而這其中涉及的開銷首先會抵消調用的好處。

5.識別Java中的Intrinsics語言

不幸的是,沒有確定的方法來識別可能被內在版本取代的方法。這是因為不同的JVM,甚至是不同平臺上的同一個JVM,會為不同的方法實現這一點。

但是,從Java 9開始使用HotSpotJVM時,所有可能被替換的方法都會使用@HotSpotInTrensicAndidate註釋。添加此註釋不會自動導致方法被替換。實際上,這種情況發生在底層JVM中。相反,JVM開發人員知道這些方法是特殊的,需要小心使用。

如果其他JVM被識別出來,它們可能會以不同的方式處理這個問題。這包括Java8或更早版本中的Hotspot JVM。

6.總結

我們無法編寫依賴於內置函數存在的程序,因為無法知道它們是否在運行時JVM上可用。然而,它們是JVM可以用來改進程序工作方式的一種引人註目的方法。

這些內在特性可以——而且經常被——添加到新版本的JVM中。因此,隻需升級我們正在運行的JVM,就可以改進我們已經運行的代碼,所以這是確保我們保持依賴項和運行時最新的另一個原因。

到此這篇關於JVM內置函數Intrinsics介紹的文章就介紹到這瞭,更多相關JVM內置函數Intrinsics內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet!

推薦閱讀: