計算機中正在執(zhí)行的程序稱為進程，進程中單一順序的控制流叫做線程，進程是資源管理的最小單位，線程是程序執(zhí)行的最小單位。在操作系統(tǒng)設計上，從進程演化出線程，最主要的目的就是利用線程共享同一地址空間的特點，更好的支持對稱多處理（SMP）以及減小（進程/線程）上下文切換開銷。

Solaris是Sun公司開發(fā)和發(fā)布的一種現(xiàn)代操作系統(tǒng)，是UNIX系統(tǒng)的一個重要分支，下面就其內部的線程模型做一些介紹和討論。

Solaris線程模型的設計目標：

主要有四個方面：

①．能夠描述各種情況下的線程間工作機制

②．支持代價盡可能小的線程

③．既支持單CPU實現(xiàn)，又支持多CPU實現(xiàn)

④．保持對現(xiàn)有UNIX版本的兼容性

Solaris線程模型的實現(xiàn)方法：

線程庫的高級內核具有多處理及多線程特性，因此Solaris提供了大量的用戶級線程庫，其使用了一種兩層的線程庫模型：在高層是用戶線程，而底層則是輕量級進程(LWP)。

LWP其實就是內核線程，是Solaris中真正的可調度實體。內核只關心LWP，而不關心用戶線程。

用戶線程由線程庫管理，線程庫支持用戶線程及LWP之間的一到一、多到多、多到一映射，并且用線程庫管理用戶線程與LWP池之間的映射關系及用戶線程的調度。

Solaris有兩種用戶線程: 綁定線程（bound threads）和未綁定線程(unbound threads)。一個綁定線程就是用戶線程與LWP之間的一一映射，一個未綁定線程則沒有一個固定對應的LWP。在一個進程中，線程庫在LWP池上對用戶線程進行調度。其結構圖如下：

對以上兩者進行比較，未綁定進程由線程庫來實現(xiàn)用戶線程獲得LWP的調度，而不需要內核的參與，這種方式的線程上下文切換比較快，并且更節(jié)省內核資源，solaris根據一定的策略提供一個LWP池，供上面更多的線程分享。

綁定線程和LWP是一對一關系，因此實時調度性要好，但是由于內核的加入，比較浪費資源。綁定線程比起非綁定線程的開銷要大。因為綁定線程可以改變它所在的LWP的屬性，LWP在綁定線程退出后不會被緩存，在新的綁定線程生成時，操作系統(tǒng)將提供一個新的LWP。僅僅在線程需要只有在所在的LWP內可用的資源時（例如虛擬的定時器或者一個指定的堆棧），或者為了實現(xiàn)實時調度而必須使線程對于內核可見的場合下，才需要使用綁定線程。

Solaris對線程的控制與同步：

內核根據LWP的調度類型和優(yōu)先級對它們進行調度。進程建立時有一個初始LWP被建立，并且繼承父進程的調度類型和優(yōu)先級。一般來說，綁定的用戶線程繼承底層的LWP調度類型和優(yōu)先級，而未綁定的則繼承父進程的調度類型和優(yōu)先級。

Solaris內核使用一種搶先的基于優(yōu)先級的調度機制，高優(yōu)先級的LWP比低優(yōu)先級的LWP先執(zhí)行。Solaris線程庫使用優(yōu)先級對用戶線程在LWP池上進行調度，每次選擇一個LWP執(zhí)行已經就緒的用戶線程。如果某LWP因無限等待而阻塞，線程庫則將其對應的用戶線程的上下文保存起來，并分派另一個用戶線程到該LWP上執(zhí)行。線程庫通常建立足夠多的LWP，以保證進程不發(fā)生”饑餓”。

線程的同步用于共享數據，轉換和控制線程執(zhí)行，保證程序安全。Solaris支持4種線程的同步原語,分別是互斥鎖,信號量,多讀進程單寫進程鎖,條件變量。

內核級線程和用戶級線程都具有這些原語操作。一條原語執(zhí)行時創(chuàng)建一個包含線程信息的數據結構，對每個同步對象只能執(zhí)行加鎖和解鎖兩項操作，但內核和線程庫沒有提供防死鎖機制。

總結：

Solaris作為多線程，多進程型的操作系統(tǒng)，其關于線程實現(xiàn)機制方面一直是業(yè)界領先的，了解solaris的多線程實現(xiàn)機制不但能夠幫助我們充分理解操作系統(tǒng)對多線程的控制原理，而且對多線程程序的編寫技巧的提高也有很大啟發(fā)。