第1篇-關於Java虛擬機HotSpot,開篇說的簡單點


開講Java運行時,這一篇講一些簡單的內容。我們寫的主類中的main()方法是如何被Java虛擬機調用到的?在Java類中的一些方法會被由C/C++編寫的HotSpot虛擬機的C/C++函數調用,不過由於Java方法與C/C++函數的調用約定不同,所以並不能直接調用,需要JavaCalls::call()這個函數輔助調用。(我把由C/C++編寫的叫函數,把Java編寫的叫方法,后續也會延用這樣的叫法)如下圖所示。

從C/C++函數中調用的一些Java方法主要有:

(1)Java主類中的main()方法;

(2)Java主類裝載時,調用JavaCalls::call()函數執行checkAndLoadMain()方法;

(3)類的初始化過程中,調用JavaCalls::call()函數執行的Java類初始化方法 ,可以查看JavaCalls::call_default_constructor()函數,有對 方法的調用邏輯;

(4)我們先省略main方法的執行流程(其實main方法的執行也是先啟動一個JavaMain線程,套路都是一樣的),單看某個JavaThread的啟動過程。JavaThread的啟動最終都要通過一個native方法java.lang.Thread#start0()方法完成的,這個方法經過解釋器的native_entry入口,調用到了JVM_StartThread()函數。其中的static void thread_entry(JavaThread* thread, TRAPS)函數中會調用JavaCalls::call_virtual()函數。JavaThread最終會通過JavaCalls::call_virtual()函數來調用字節碼中的run()方法;

(5)在SystemDictionary::load_instance_class()這個能體現雙親委派的函數中,如果類加載器對象不為空,則會調用這個類加載器的loadClass()函數(通過call_virtual()函數來調用)來加載類。

當然還會有其它方法,這里就不一一列舉了。通過JavaCalls::call()、JavaCalls::call_helper()等函數調用Java方法,這些函數定義在JavaCalls類中,這個類的定義如下:

從C/C++函數中調用的一些Java方法主要有:

(1)Java主類中的main()方法;

(2)Java主類裝載時,調用JavaCalls::call()函數執行checkAndLoadMain()方法;

(3)類的初始化過程中,調用JavaCalls::call()函數執行的Java類初始化方法 ,可以查看JavaCalls::call_default_constructor()函數,有對 方法的調用邏輯;

(4)我們先省略main方法的執行流程(其實main方法的執行也是先啟動一個JavaMain線程,套路都是一樣的),單看某個JavaThread的啟動過程。JavaThread的啟動最終都要通過一個native方法java.lang.Thread#start0()方法完成的,這個方法經過解釋器的native_entry入口,調用到了JVM_StartThread()函數。其中的static void thread_entry(JavaThread* thread, TRAPS)函數中會調用JavaCalls::call_virtual()函數。JavaThread最終會通過JavaCalls::call_virtual()函數來調用字節碼中的run()方法;

(5)在SystemDictionary::load_instance_class()這個能體現雙親委派的函數中,如果類加載器對象不為空,則會調用這個類加載器的loadClass()函數(通過call_virtual()函數來調用)來加載類。

當然還會有其它方法,這里就不一一列舉了。通過JavaCalls::call()、JavaCalls::call_helper()等函數調用Java方法,這些函數定義在JavaCalls類中,這個類的定義如下:

源代碼位置:openjdk/hotspot/src/share/vm/runtime/javaCalls.hpp
 
class JavaCalls: AllStatic {
  static void call_helper(JavaValue* result, methodHandle* method, JavaCallArguments* args, TRAPS);
 public:
  
  static void call_default_constructor(JavaThread* thread, methodHandle method, Handle receiver, TRAPS);
 
  // 使用如下函數調用Java中一些特殊的方法,如類初始化方法<clinit>等
  // receiver表示方法的接收者,如A.main()調用中,A就是方法的接收者
  static void call_special(JavaValue* result, KlassHandle klass, Symbol* name,Symbol* signature, JavaCallArguments* args, TRAPS);
  static void call_special(JavaValue* result, Handle receiver, KlassHandle klass,Symbol* name, Symbol* signature, TRAPS); 
  static void call_special(JavaValue* result, Handle receiver, KlassHandle klass,Symbol* name, Symbol* signature, Handle arg1, TRAPS);
  static void call_special(JavaValue* result, Handle receiver, KlassHandle klass,Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
 
  // 使用如下函數調用動態分派的一些方法
  static void call_virtual(JavaValue* result, KlassHandle spec_klass, Symbol* name,Symbol* signature, JavaCallArguments* args, TRAPS);
  static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass,Symbol* name, Symbol* signature, TRAPS); 
  static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass,Symbol* name, Symbol* signature, Handle arg1, TRAPS);
  static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass,Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
 
  // 使用如下函數調用Java靜態方法
  static void call_static(JavaValue* result, KlassHandle klass,Symbol* name, Symbol* signature, JavaCallArguments* args, TRAPS);
   static void call_static(JavaValue* result, KlassHandle klass,Symbol* name, Symbol* signature, TRAPS);
  static void call_static(JavaValue* result, KlassHandle klass,Symbol* name, Symbol* signature, Handle arg1, TRAPS);
  static void call_static(JavaValue* result, KlassHandle klass,Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
 
  // 更低一層的接口,如上的一些函數可能會最終調用到如下這個函數
  static void call(JavaValue* result, methodHandle method, JavaCallArguments* args, TRAPS);
};

如上的函數都是自解釋的,通過名稱我們就能看出這些函數的作用。其中JavaCalls::call()函數是更低一層的通用接口。Java虛擬機規范定義的字節碼指令共有5個,分別為invokestatic、invokedynamic、invokestatic、invokespecial、invokevirtual幾種方法調用指令。這些call_static()、call_virtual()函數內部調用了call()函數。這一節我們先不介紹各個方法的具體實現。下一篇將詳細介紹。  

我們選一個重要的main()方法來查看具體的調用邏輯。如下基本照搬R大的內容,不過我略做了一些修改,如下:

假設我們的Java主類的類名為JavaMainClass,下面為了區分java launcher里C/C++的main()與Java層程序里的main(),把后者寫作JavaMainClass.main()方法。
從剛進入C/C++的main()函數開始:

啟動並調用HotSpot虛擬機的main()函數的線程執行的主要邏輯如下:

main()
-> //... 做一些參數檢查
-> //... 開啟新線程作為main線程,讓它從JavaMain()函數開始執行;該線程等待main線程執行結束

在如上線程中會啟動另外一個線程執行JavaMain()函數,如下:

JavaMain()
-> //... 找到指定的JVM
-> //... 加載並初始化JVM
-> //... 根據Main-Class指定的類名加載JavaMainClass
-> //... 在JavaMainClass類里找到名為"main"的方法,簽名為"([Ljava/lang/String;)V",修飾符是public的靜態方法
-> (*env)->CallStaticVoidMethod(env, mainClass, mainID, mainArgs); // 通過JNI調用JavaMainClass.main()方法

以上步驟都還在java launcher的控制下;當控制權轉移到JavaMainClass.main()方法之后就沒java launcher什么事了,等JavaMainClass.main()方法返回之后java launcher才接手過來清理和關閉JVM。

下面看一下調用Java主類main()方法時會經過的主要方法及執行的主要邏輯,如下:

// HotSpot VM里對JNI的CallStaticVoidMethod的實現。留意要傳給Java方法的參數
// 以C的可變長度參數傳入,這個函數將其收集打包為JNI_ArgumentPusherVaArg對象
-> jni_CallStaticVoidMethod()  
 
     // 這里進一步將要傳給Java的參數轉換為JavaCallArguments對象傳下去    
     -> jni_invoke_static()  
       
        // 真正底層實現的開始。這個方法只是層皮,把JavaCalls::call_helper()
        // 用os::os_exception_wrapper()包裝起來,目的是設置HotSpot VM的C++層面的異常處理
        -> JavaCalls::call()   
     
           -> JavaCalls::call_helper()
              -> //... 檢查目標方法是否為空方法,是的話直接返回
              -> //... 檢查目標方法是否“首次執行前就必須被編譯”,是的話調用JIT編譯器去編譯目標方法
              -> //... 獲取目標方法的解釋模式入口from_interpreted_entry,下面將其稱為entry_point
              -> //... 確保Java棧溢出檢查機制正確啟動
              -> //... 創建一個JavaCallWrapper,用於管理JNIHandleBlock的分配與釋放,
                 // 以及在調用Java方法前后保存和恢復Java的frame pointer/stack pointer

              //... StubRoutines::call_stub()返回一個指向call stub的函數指針,
              // 緊接着調用這個call stub,傳入前面獲取的entry_point和要傳給Java方法的參數等信息
              -> StubRoutines::call_stub()(...) 
                 // call stub是在VM初始化時生成的。對應的代碼在
                 // StubGenerator::generate_call_stub()函數中
                 -> //... 把相關寄存器的狀態調整到解釋器所需的狀態
                 -> //... 把要傳給Java方法的參數從JavaCallArguments對象解包展開到解釋模
                    // 式calling convention所要求的位置
                 -> //... 跳轉到前面傳入的entry_point,也就是目標方法的from_interpreted_entry

                    -> //... 在-Xcomp模式下,實際跳入的是i2c adapter stub,將解釋模式calling convention
                       // 傳入的參數挪到編譯模式calling convention所要求的位置
                           -> //... 跳轉到目標方法被JIT編譯后的代碼里,也就是跳到 nmethod 的 VEP 所指向的位置
                                -> //... 正式開始執行目標方法被JIT編譯好的代碼 <- 這里就是"main()方法的真正入口"

后面3個步驟是在編譯執行的模式下,不過后續我們從解釋執行開始研究,所以需要為虛擬機配置-Xint選項,有了這個選項后,Java主類的main()方法就會解釋執行了。

在調用Java主類main()方法的過程中,我們看到了虛擬機是通過JavaCalls::call()函數來間接調用main()方法的,下一篇我們研究一下具體的調用邏輯。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM