主頁 > 軟體設計 > Java--??深入jdk和hotspot原始碼??‍研究Thread底層執行run()、start()方法的程序?

Java--??深入jdk和hotspot原始碼??‍研究Thread底層執行run()、start()方法的程序?

2021-09-27 09:49:11 軟體設計

【學習背景】

今天主要是來了解Java執行緒Thread中的run()start()兩個方法的執行有哪些區別,會給出一個簡單的測驗代碼樣例,快速理解兩者的區別,再從原始碼層面去追溯start()底層是如何最終呼叫Thread#run()方法的,個人覺得這樣的學習不論對面試,還是實際編程來說都是比較有幫助的,

進入正文~


學習目錄

  • 一、代碼測驗
  • 二、原始碼分析
    • 2.1 run()方法
    • 2.2 start()方法
  • 三、使用總結

一、代碼測驗

執行Thread的run()、start()方法的測驗代碼如下:

public class MyThread {
    public static void print() {
        System.out.println("print...");
        System.out.println(Thread.currentThread().getName());
    }

    public static void main(String[] args) throws InterruptedException {
        Thread thread1 = new Thread() {
            @Override
            public void run() {
                System.out.println("執行print()方法的執行緒是:" + Thread.currentThread().getName());
                print();
            }
        };
        System.out.println("一、呼叫run()方法的執行緒是:" + Thread.currentThread().getName());
        thread1.run();

        Thread.sleep(1000);

        System.out.println("二、呼叫start()方法的執行緒是:" + Thread.currentThread().getName());
        thread1.start();
    }
}

測驗結果:

一、呼叫run()方法的執行緒是:main
執行print()方法的執行緒是:main
print...
main
二、呼叫start()方法的執行緒是:main
執行print()方法的執行緒是:Thread-0
print...
Thread-0

簡單總結:

  • run()方法呼叫和執行重寫的代碼塊都是由main主執行緒來完成的;
  • start()方法呼叫是有main()主執行緒來呼叫,但是重寫的代碼塊是由非main主執行緒來執行的,

二、原始碼分析

2.1 run()方法

通過執行緒呼叫run()方法,這個其實很簡單,比如前面測驗代碼執行run方法:

thread1.run();

Ctrl + 滑鼠左鍵,進入到java.lang.Threadrun()方法的原始碼:

    @Override
    public void run() {
        if (target != null) {
            target.run();
        }
    }

再Ctrl + Alt + 滑鼠左鍵,定位前面測驗類MyThread中重寫的run()方法
在這里插入圖片描述
可以發現,直接就呼叫到重寫的run()方法了,并且,你可以重復呼叫多次,而且每一次都是由main主執行緒呼叫run()方法,然后非main主執行緒,執行run()方法代碼塊
在這里插入圖片描述
雖然run()方法也可以直接執行到重寫的代碼塊,不過實際當中,按規范來說,不會直接呼叫run()執行,而是通過start()方法來開啟執行緒,start()方法底層會判斷執行緒的狀態,開啟執行緒,最終呼叫run()方法并結束執行緒狀態,往后了解,

2.2 start()方法

Oracle JDK原始碼stat()方法:

public class Thread implements Runnable {
   ...
   private ThreadGroup group;
   private volatile int threadStatus = 0;
   ...   
   public synchronized void start() {
        //如果執行緒狀態不是0-新建,則拋例外
        if (threadStatus != 0)
            throw new IllegalThreadStateException();

        //將當前執行緒添加到執行緒組
        group.add(this);
		
		//執行緒是否開啟,默認false-未開啟
        boolean started = false;
        try {
            //呼叫native本地方法(最終呼叫run()方法的核心入口)
            start0();
            //執行完start0,說明執行緒已正常啟動
            started = true;
        } finally {
            try {
                if (!started) {
                    //執行緒啟動失敗,則從執行緒組中將該執行緒洗掉
                    group.threadStartFailed(this);
                }
            } catch (Throwable ignore) {
                ...
            }
        }
    }

難點和重點是呼叫的start0()方法,這是一個native(本地方法/底層方法),原始碼:

//native本地方法,底層開啟異步執行緒,由JVM創建并啟動執行緒,并最終呼叫run()方法
private native void start0();

由于Oracle JDK對于native本地方法的原始碼隱藏了具體實作,可以去Open JDK官方或Github下載原始碼

以下載open jdk8最新的原始碼版本jdk8u60為例,需要下載jdkhotspot兩種原始碼來研究

  • 下載jdk8u60原始碼
    http://hg.openjdk.java.net/jdk8u/jdk8u60/jdk/file/935758609767
    在這里插入圖片描述
  • 下載jdk8u60的hotspot原始碼
    http://hg.openjdk.java.net/jdk8u/jdk8u60/hotspot/file/37240c1019fd
    在這里插入圖片描述
    最后發現Open JDK官網下載實在是太慢了,而且還需要分別下載jdk8u60和jdk8u60_hotspot的原始碼
    在這里插入圖片描述

不過現在OpenJDK的原始碼已經放到GitHub,可以直接去GitHub下載,而且jdk原始碼和hotspot原始碼直接放一起了,省事,這里以下載jdk8-b60示例,下載地址:

https://github.com/openjdk/jdk/releases/tag/jdk8-b60

下載完解壓,主要關注jdk和hotspot這兩個原始碼目錄:
在這里插入圖片描述
使用相關工具,比如Scource Insight查看底層方法native stat0具體原始碼實作
(教程)安裝Scource Insight
(教程)使用Scource Insight打開OpenJDK原始碼
在這里插入圖片描述

接下來通過Scource Insight查看底層方法start0是如何一步步,最終由主執行緒呼叫Thread#run()方法的原始碼分析程序

首先查看
原始碼檔案:\jdk-jdk8-b60\jdk\src\share\native\java\lang\ Thread.c
關鍵原始碼:JVM_StartThread

static JNINativeMethod methods[] = {
    {"start0",           "()V",        (void *)&JVM_StartThread},//JVM開啟執行緒的主入口
    {"stop0",            "(" OBJ ")V", (void *)&JVM_StopThread},
    {"isAlive",          "()Z",        (void *)&JVM_IsThreadAlive},
    {"suspend0",         "()V",        (void *)&JVM_SuspendThread},
    {"resume0",          "()V",        (void *)&JVM_ResumeThread},
    {"setPriority0",     "(I)V",       (void *)&JVM_SetThreadPriority},
    {"yield",            "()V",        (void *)&JVM_Yield},
    {"sleep",            "(J)V",       (void *)&JVM_Sleep},
    {"currentThread",    "()" THD,     (void *)&JVM_CurrentThread},
    {"countStackFrames", "()I",        (void *)&JVM_CountStackFrames},
    {"interrupt0",       "()V",        (void *)&JVM_Interrupt},
    {"isInterrupted",    "(Z)Z",       (void *)&JVM_IsInterrupted},
    {"holdsLock",        "(" OBJ ")Z", (void *)&JVM_HoldsLock},
    {"getThreads",        "()[" THD,   (void *)&JVM_GetAllThreads},
    {"dumpThreads",      "([" THD ")[[" STE, (void *)&JVM_DumpThreads},
    {"setNativeName",    "(" STR ")V", (void *)&JVM_SetNativeThreadName},
};

原始碼檔案:\jdk-jdk8-b60\hotspot\src\share\vm\prims\ jvm.cpp
關鍵原始碼:new JavaThread

JVM_ENTRY(void, JVM_StartThread(JNIEnv* env, jobject jthread))
  JVMWrapper("JVM_StartThread");
  JavaThread *native_thread = NULL;
  bool throw_illegal_thread_state = false;

  {
    MutexLocker mu(Threads_lock);

    if (java_lang_Thread::thread(JNIHandles::resolve_non_null(jthread)) != NULL) {
      throw_illegal_thread_state = true;
    } else {

      jlong size =
             java_lang_Thread::stackSize(JNIHandles::resolve_non_null(jthread));
      size_t sz = size > 0 ? (size_t) size : 0;
      native_thread = new JavaThread(&thread_entry, sz);

      if (native_thread->osthread() != NULL) {
        native_thread->prepare(jthread);
      }
    }
  }

  if (throw_illegal_thread_state) {
    THROW(vmSymbols::java_lang_IllegalThreadStateException());
  }

  assert(native_thread != NULL, "Starting null thread?");

  if (native_thread->osthread() == NULL) {
    delete native_thread;
    if (JvmtiExport::should_post_resource_exhausted()) {
      JvmtiExport::post_resource_exhausted(
        JVMTI_RESOURCE_EXHAUSTED_OOM_ERROR | JVMTI_RESOURCE_EXHAUSTED_THREADS,
        "unable to create new native thread");
    }
    THROW_MSG(vmSymbols::java_lang_OutOfMemoryError(),
              "unable to create new native thread");
  }

  Thread::start(native_thread);

JVM_END

原始碼檔案:\jdk-jdk8-b60\hotspot\src\share\vm\prims\ jvm.cpp
關鍵原始碼:set_thread_status*RUNNABLE**

void Thread::start(Thread* thread) {
  trace("start", thread);
  if (!DisableStartThread) {
    if (thread->is_Java_thread()) {
      java_lang_Thread::set_thread_status(((JavaThread*)thread)->threadObj(),
                                          java_lang_Thread::RUNNABLE);//設定執行緒狀態為RUNNABLE-運行狀態
    }
    os::start_thread(thread);
  }
}

原始碼檔案:\jdk-jdk8-b60\hotspot\src\share\vm\runtime\ os.cpp
關鍵原始碼:osthread->set_state(RUNNABLE)

void os::start_thread(Thread* thread) {
  // guard suspend/resume
  MutexLockerEx ml(thread->SR_lock(), Mutex::_no_safepoint_check_flag);
  OSThread* osthread = thread->osthread();
  osthread->set_state(RUNNABLE);//設定執行緒狀態為RUNNABLE-運行狀態, 子執行緒可以開始執行thread->run()
  pd_start_thread(thread);
}

原始碼檔案:\jdk-jdk8-b60\hotspot\src\os\linux\vm\ os_linux.cpp
關鍵原始碼:sync_with_child->notify()

void os::pd_start_thread(Thread* thread) {
  OSThread * osthread = thread->osthread();
  assert(osthread->get_state() != INITIALIZED, "just checking");
  Monitor* sync_with_child = osthread->startThread_lock();
  MutexLockerEx ml(sync_with_child, Mutex::_no_safepoint_check_flag);
  //這里就是最終父執行緒呼叫thread->run()方法的主入口
  sync_with_child->notify();
}

所以呼叫執行緒的start()方法,底層主要執行程序為:
在這里插入圖片描述

三、使用總結

run()和start()方法的區別?

  • 呼叫run()方法和執行重寫run()方法的代碼塊都是由main主執行緒來完成的;
  • 呼叫start()方法是由main主執行緒來呼叫,但是重寫的run()方法代碼塊是由非main主執行緒來執行的,
  • 除此之外,start()方法JDK底層Thread原始碼的start()方法中,會判斷執行緒狀態是否是新建狀態,如果不是則拋例外IllegalThreadStateException-執行緒狀態不合法例外
  • 并且后續會呼叫一個native start0()本地方法,本地方法是底層方法,Oracle JDK原始碼隱藏了native的具體實作,通過Open JDK的jdk原始碼和hotspot原始碼,查看native start0的底層原始碼,可以看到主要由c和c++實作的,start0會通過JVM_StartThread開啟執行緒,并new JavaThread一個native_thread本地執行緒,然后設定執行緒狀態為RUNNABLE運行狀態,最后通過一個notify()方法實作主執行緒呼叫Thread#run()方法,程式結束后,執行緒狀態會變成終止狀態
  • 因此實際開發當中,應該規范的通過執行緒呼叫start()方法來開啟執行緒,

???原創不易,覺得有用的小伙伴點亮(點贊+收藏?),支持一下吧!???

在這里插入圖片描述

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/303348.html

標籤:其他

上一篇:企業級springboot落地:連接內外網郵箱,實作郵件提醒功能

下一篇:硬體工程師其實拼的是細節

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more