[[393949]]

本文轉載自微信公眾號「飛天小牛肉」，作者飛天小牛肉。轉載本文請聯系飛天小牛肉公眾號。

不想看解釋的小伙伴可直接翻到文末尋找答案。

1. 用戶空間和內核空間

關于內核態和用戶態我們在 了解操作系統的那些事兒，從這篇文章開始 這篇文章中已經詳細介紹過，這里不再過多贅述。

至于什么是系統空間和用戶空間也非常好理解：在操作系統中，內存通常會被分成用戶空間(User space)與內核空間(Kernel space)這兩個部分。當進程/線程運行在用戶空間時就處于用戶態，運行在內核空間時就處于內核態：

• 運行在內核態的程序可以訪問用戶空間和內核空間，或者說它可以訪問計算機的任何資源，不受限制，為所欲為，例如協調 CPU 資源，分配內存資源，提供穩定的環境供應用程序運行等
• 而應用程序基本都是運行在用戶態的，或者說用戶態就是提供應用程序運行的空間。運行在用戶態的程序只能訪問用戶空間

那為什么要區分用戶態和內核態呢?

其實早期操作系統是不區分用戶態和內核態的，也就是說應用程序可以訪問任意內存空間，如果程序不穩定常常會讓系統崩潰，比如清除了操作系統的內存數據。為此大佬們設計出了一套規則：對于那些比較危險的操作需要切到內核態才能運行，比如 CPU、內存、設備等資源管理器程序就應該在內核態運行，否則安全性沒有保證。

舉個例子，對于文件系統和數據來說，文件系統數據和管理就必須放在內核態，但是用戶的數據和管理可以放在用戶態。

用戶態的程序不能隨意操作內核地址空間，這樣有效地防止了操作系統程序受到應用程序的侵害。

那如果處于用戶態的程序想要訪問內核空間的話怎么辦呢?就需要進行系統調用從用戶態切換到內核態。

2. 操作系統線程

① 在用戶空間中實現線程

在早期的操作系統中，所有的線程都是在用戶空間下實現的，操作系統只能看到線程所屬的進程，而不能看到線程。

從我們開發者的角度來理解用戶級線程就是說：在這種模型下，我們需要自己定義線程的數據結構、創建、銷毀、調度和維護等，這些線程運行在操作系統的某個進程內，然后操作系統直接對進程進行調度。

這種方式的好處一目了然，首先第一點，就是即使操作系統原生不支持線程，我們也可以通過庫函數來支持線程;第二點，線程的調度只發生在用戶態，避免了操作系統從內核態到用戶態的轉換開銷。

當然缺點也很明顯：由于操作系統看不見線程，不知道線程的存在，而 CPU 的時間片切換是以進程為維度的，所以如果進程中某個線程進行了耗時比較長的操作，那么由于用戶空間中沒有時鐘中斷機制，就會導致此進程中的其它線程因為得不到 CPU 資源而長時間的持續等待;另外，如果某個線程進行系統調用時比如缺頁中斷而導致了線程阻塞，此時操作系統也會阻塞住整個進程，即使這個進程中其它線程還在工作。

② 在內核空間中實現線程

所謂內核級線程就是運行在內核空間的線程， 直接由內核負責，只能由內核來完成線程的調度。

幾乎所有的現代操作系統，包括 Windows、Linux、Mac OS X 和 Solaris 等，都支持內核線程。

每個內核線程可以視為內核的一個分身，這樣操作系統就有能力同時處理多件事情，支持多線程的內核就叫做多線程內核(Multi-Threads Kernel)。

從我們開發者的角度來理解內核級線程就是說：我們可以直接使用操作系統中已經內置好的線程，線程的創建、銷毀、調度和維護等，都是直接由操作系統的內核來實現，我們只需要使用系統調用就好了，不需要像用戶級線程那樣自己設計線程調度等。

上圖畫的是 1：1 的線程模型，所謂線程模型，也就是用戶線程和內核線程之間的關聯方式，線程模型當然不止 1：1 這一種，下面我們來詳細解釋以下這三種多線程模型：

下文翻譯自 https://www.cs.uic.edu/~jbell/CourseNotes/OperatingSystems/4_Threads.html

1)多對一線程模型：

• 在多對一模型中，多個用戶級線程映射到某一個內核線程上
• 線程管理由用戶空間中的線程庫處理，這非常有效
• 但是，如果進行了阻塞系統調用，那么即使其他用戶線程能夠繼續，整個進程也會阻塞
• 由于單個內核線程只能在單個 CPU 上運行，因此多對一模型不允許在多個 CPU 之間拆分單個進程

從并發性角度來總結下，雖然多對一模型允許開發人員創建任意多的用戶線程，但是由于內核只能一次調度一個線程，所以并未增加并發性。現在已經幾乎沒有操作系統來使用這個模型了，因為它無法利用多個處理核。

2)一對一線程模型：

• 一對一模型克服了多對一模型的問題
• 一對一模型創建一個單獨的內核線程來處理每個用戶線程
• 但是，管理一對一模型的開銷更大，涉及更多開銷和減慢系統速度
• 此模型的大多數實現都限制了可以創建的線程數

從并發性角度來總結下，雖然一對一模型提供了更大的并發性，但是開發人員應注意不要在應用程序內創建太多線程(有時系統可能會限制創建線程的數量)，因為管理一對一模型的開銷更大。Windows (從 Win95 開始) 和 Linux 都實現了線程的一對一模型。

3)多對多線程模型：

• 多對多模型將任意數量的用戶線程復用到相同或更少數量的內核線程上，結合了一對一和多對一模型的最佳特性
• 用戶對創建的線程數沒有限制
• 阻止內核系統調用不會阻止整個進程
• 進程可以分布在多個處理器上
• 可以為各個進程分配可變數量的內核線程，具體取決于存在的 CPU 數量和其他因素

3. Java 線程

在進入 Java 線程主題之前，有必要講解一下線程庫 Thread library 的概念。

在上面的模型介紹中，我們提到了通過線程庫來創建、管理線程，那么什么是線程庫呢?

線程庫就是為開發人員提供創建和管理線程的一套 API。

當然，線程庫不僅可以在用戶空間中實現，還可以在內核空間中實現。前者涉及僅在用戶空間內實現的 API 函數，沒有內核支持。后者涉及系統調用，也就是說調用庫中的一個 API 函數將會導致對內核的系統調用，并且需要具有線程庫支持的內核。

下面簡單介紹下三個主要的線程庫：

1)POSIX Pthreads：可以作為用戶或內核庫提供，作為 POSIX 標準的擴展

2)Win32 線程：用于 Window 操作系統的內核級線程庫

3)Java 線程：Java 線程 API 通常采用宿主系統的線程庫來實現，也就是說在 Win 系統上，Java 線程 API 通常采用 Win API 來實現，在 UNIX 類系統上，采用 Pthread 來實現。

下面我們來詳細講解 Java 線程：

事實上，在 JDK 1.2 之前，Java 線程是基于稱為 "綠色線程"(Green Threads)的用戶級線程實現的，也就是說程序員大佬們為 JVM 開發了自己的一套線程庫或者說線程管理機制。

而在 JDK 1.2 及以后，JVM 選擇了更加穩定且方便使用的操作系統原生的內核級線程，通過系統調用，將線程的調度交給了操作系統內核。而對于不同的操作系統來說，它們本身的設計思路基本上是完全不一樣的，因此它們各自對于線程的設計也存在種種差異，所以 JVM 中明確聲明了：虛擬機中的線程狀態，不反應任何操作系統中的線程狀態。

也就是說，在 JDK 1.2 及之后的版本中，Java 的線程很大程度上依賴于操作系統采用什么樣的線程模型，這點在不同的平臺上沒有辦法達成一致，JVM 規范中也并未限定 Java 線程需要使用哪種線程模型來實現，可能是一對一，也可能是多對多或多對一。

總結來說，回答下文題，現今 Java 中線程的本質，其實就是操作系統中的線程，其線程庫和線程模型很大程度上依賴于操作系統(宿主系統)的具體實現，比如在 Windows 中 Java 就是基于 Wind32 線程庫來管理線程，且 Windows 采用的是一對一的線程模型。

References

Operating Systems - Threads：https://www.cs.uic.edu/~jbell/CourseNotes/OperatingSystems/4_Threads.html

Java 線程和操作系統線程的關系：https://blog.csdn.net/CringKong/article/details/79994511?utm_medium