揭開java線程和操作系統線程之間的神秘面紗
導語
我們知道,new一個thread,調用它的start的方法,就可以創建一個線程,並且啟動該線程,然後執行該線程需要執行的業務邏輯,
那麼run方法是怎麼被執行的呢?
Java線程和os線程
os線程
我們知道,java的一個線程實際上是對應了操作系統的一個線程;
而操作系統實現線程有三種方式:
- 內核線程實現
- 用戶線程實現
- 用戶線程加輕量級進程混合實現
具體詳細實現方式就不具體講了,參見 «深入理解 JAVA虛擬機»第二版 第12章 Java記憶體模型與線程(378頁)
Java線程
Java線程在JDK1.2之前,是基於用戶線程實現的。而在JDK1.2中,線程模型替換為基於操作系統原生線程模型來實現。
而在目前的JDK版本中,操作系統支持怎樣的線程模型,在很大程度上決定了Java虛擬機的線程是怎樣映射的,這點在不同的平臺上沒法達成一致。
對於Sun JDK來說,它的Windows版本和Linux版本都是使用一對一的線程模型實現的,一條Java線程映射到一條輕量級進程之中。
以上按個人理解摘自: «深入理解 JAVA虛擬機»第二版
Java線程創建
創建方式
Desc:我們看到,無論以哪種方式創建,最終我們都會重寫一個叫做 run 的方法,來處理我們的業務邏輯,然而我們都是調用一個start方法,來啟動一個線程;
那 start方法和run方法之間是一個什麼關係呢?從後邊的介紹我們將獲得這樣一個信息:run就是一個回調函數,和我們普通的函數沒有區別。
Java線程的實現
一個 Java 線程的創建本質上就對應了一個本地線程(native thread)的創建,兩者是一一對應的。
關鍵問題是:本地線程執行的應該是本地代碼,而 Java 線程提供的線程函數(run)是 Java 方法,編譯出的是 Java 位元組碼,
所以, Java 線程其實提供了一個統一的線程函數,該線程函數通過 Java 虛擬機調用 Java 線程方法 , 這是通過 Java 本地方法調用來實現的。
以下是 Thread#start 方法的示例:
可以看到它實際上調用了本地方法 start0, 而start0聲明如下:
private native void start0();
也就是新創建的線程啟動調用native start0方法,而這些native方法的註冊是在Thread對象初始化的時候完成的,look:
Thread 類有個 registerNatives 本地方法,該方法主要的作用就是註冊一些本地方法供 Thread 類使用,如 start0(),stop0() 等等,可以說,所有操作本地線程的本地方法都是由它註冊的。
這個方法放在一個 static 語句塊中,當該類被載入到 JVM 中的時候,它就會被調用,進而註冊相應的本地方法。
而本地方法 registerNatives 是定義在 Thread.c 文件中的。Thread.c 是個很小的文件,它定義了各個操作系統平臺都要用到的關於線程的公用數據和操作,如下:
1 JNIEXPORT void JNICALL 2 Java_Java_lang_Thread_registerNatives (JNIEnv *env, jclass cls){ //registerNatives 3 (*env)->RegisterNatives(env, cls, methods, ARRAY_LENGTH(methods)); 4 } 5 static JNINativeMethod methods[] = { 6 {"start0", "()V",(void *)&JVM_StartThread}, //start0 方法 7 {"stop0", "(" OBJ ")V", (void *)&JVM_StopThread}, 8 {"isAlive","()Z",(void *)&JVM_IsThreadAlive}, 9 {"suspend0","()V",(void *)&JVM_SuspendThread}, 10 {"resume0","()V",(void *)&JVM_ResumeThread}, 11 {"setPriority0","(I)V",(void *)&JVM_SetThreadPriority}, 12 {"yield", "()V",(void *)&JVM_Yield}, 13 {"sleep","(J)V",(void *)&JVM_Sleep}, 14 {"currentThread","()" THD,(void *)&JVM_CurrentThread}, 15 {"countStackFrames","()I",(void *)&JVM_CountStackFrames}, 16 {"interrupt0","()V",(void *)&JVM_Interrupt}, 17 {"isInterrupted","(Z)Z",(void *)&JVM_IsInterrupted}, 18 {"holdsLock","(" OBJ ")Z",(void *)&JVM_HoldsLock}, 19 {"getThreads","()[" THD,(void *)&JVM_GetAllThreads}, 20 {"dumpThreads","([" THD ")[[" STE, (void *)&JVM_DumpThreads}, 21 };
觀察上邊一小段代碼,可以容易的看出 Java 線程調用 start->start0 的方法,實際上會調用到 JVM_StartThread 方法,那這個方法又是怎麼處理的呢?
實際上,我們需要看到的是該方法最終要調用 Java 線程的 run 方法,事實的確也是這樣的。
在 jvm.cpp 中,有如下代碼段:
JVM_ENTRY(void, JVM_StartThread(JNIEnv* env, jobject jthread)){ ... native_thread = new JavaThread(&thread_entry, sz); ... }
這裡JVM_ENTRY是一個巨集,用來定義JVM_StartThread 函數,可以看到函數內創建了真正的平臺相關的本地線程,其線程函數是 thread_entry,如下:
static void thread_entry(JavaThread* thread, TRAPS) { HandleMark hm(THREAD); Handle obj(THREAD, thread->threadObj()); JavaValue result(T_VOID); JavaCalls::call_virtual(&result,obj, KlassHandle(THREAD,SystemDictionary::Thread_klass()), vmSymbolHandles::run_method_name(), //LOOK! 看這裡 vmSymbolHandles::void_method_signature(),THREAD); }
可以看到調用了 vmSymbolHandles::run_method_name 方法,而run_method_name是在 vmSymbols.hpp 用巨集定義的:
class vmSymbolHandles: AllStatic { ... template(run_method_name,"run") //LOOK!!! 這裡決定了調用的方法名稱是 “run”! ... }