對于信號量我們并不陌生。信號量在計算機科學中是一個很容易理解的概念。本質(zhì)上，信號量就是一個簡單的整數(shù)，對其進行的操作稱為PV操作。進入某段臨界代碼段就會調(diào)用相關(guān)信號量的P操作;如果信號量的值大于0，該值會減1，進程繼續(xù)執(zhí)行。相反，如果信號量的值等于0，該進程就會等待，直到有其它程序釋放該信號量。釋放信號量的過程就稱為V操作，通過增加信號量的值，喚醒正在等待的進程。

Linux內(nèi)核中的信號量(Semaphore)是一種用于資源管理的同步原語，它允許多個進程或線程對共享資源進行訪問控制。信號量的主要作用是限制對共享資源的并發(fā)訪問數(shù)量，從而防止系統(tǒng)過載和數(shù)據(jù)不一致的問題。

基礎(chǔ)概念

信號量本質(zhì)上是一個整型變量，其值表示可用資源的數(shù)量。當一個進程或線程需要訪問共享資源時，它會嘗試獲取信號量。如果信號量的值大于0，則表示有可用資源，進程或線程可以繼續(xù)執(zhí)行，并將信號量的值減1;如果信號量的值為0，則表示沒有可用資源，進程或線程將被阻塞，直到其他進程或線程釋放資源并增加信號量的值。

優(yōu)勢

簡單易用：信號量的API相對簡單，易于理解和使用。

靈活控制：通過調(diào)整信號量的初始值，可以靈活地控制對共享資源的并發(fā)訪問數(shù)量。

避免死鎖：合理使用信號量可以避免多個進程或線程因爭奪資源而導(dǎo)致的死鎖問題。

類型

Linux內(nèi)核中的信號量主要分為兩種類型：

計數(shù)信號量：計數(shù)信號量的值表示可用資源的數(shù)量，其取值范圍為非負整數(shù)。當計數(shù)信號量的值為0時，表示沒有可用資源。

二進制信號量：二進制信號量只有兩個狀態(tài)：0和1。它通常用于實現(xiàn)互斥鎖，確保同一時間只有一個進程或線程可以訪問共享資源。

應(yīng)用場景

信號量廣泛應(yīng)用于各種需要同步控制的場景，例如：

資源限制：當需要限制對某種資源(如數(shù)據(jù)庫連接、文件句柄等)的并發(fā)訪問數(shù)量時，可以使用信號量進行控制。

互斥訪問：當多個進程或線程需要互斥地訪問共享資源時，可以使用二進制信號量實現(xiàn)互斥鎖。

生產(chǎn)者-消費者模型：在生產(chǎn)者-消費者模型中，生產(chǎn)者線程生產(chǎn)數(shù)據(jù)并放入緩沖區(qū)，消費者線程從緩沖區(qū)中取出數(shù)據(jù)進行處理。通過使用信號量來控制緩沖區(qū)的空閑空間和已占用空間的數(shù)量，可以實現(xiàn)生產(chǎn)者和消費者之間的同步。

常見問題及解決方法

信號量死鎖：當多個進程或線程在獲取信號量時形成循環(huán)等待，就會導(dǎo)致死鎖。為了避免死鎖，可以采取以下措施：

確保所有進程或線程以相同的順序獲取信號量。

使用超時機制，當?shù)却盘柫康臅r間超過一定閾值時自動放棄。

合理設(shè)計資源分配策略，避免資源過度集中。

信號量泄漏：如果某個進程或線程在獲取信號量后沒有正確釋放，就會導(dǎo)致信號量泄漏。為了避免信號量泄漏，可以采取以下措施：

在代碼中明確釋放信號量的位置，并確保在異常情況下也能正確釋放。

使用RAII(Resource Acquisition Is Initialization)技術(shù)，在對象生命周期結(jié)束時自動釋放信號量。

信號量本質(zhì)上是一個整型變量，其值表示可用資源的數(shù)量。當一個進程或線程需要訪問共享資源時，它會嘗試獲取信號量。如果信號量的值大于0，則表示有可用資源，進程或線程可以繼續(xù)執(zhí)行，并將信號量的值減1;如果信號量的值為0，則表示沒有可用資源，進程或線程將被阻塞，直到其他進程或線程釋放資源并增加信號量的值。

優(yōu)勢

簡單易用：信號量的API相對簡單，易于理解和使用。

靈活控制：通過調(diào)整信號量的初始值，可以靈活地控制對共享資源的并發(fā)訪問數(shù)量。

避免死鎖：合理使用信號量可以避免多個進程或線程因爭奪資源而導(dǎo)致的死鎖問題。

類型

Linux內(nèi)核中的信號量主要分為兩種類型：

計數(shù)信號量：計數(shù)信號量的值表示可用資源的數(shù)量，其取值范圍為非負整數(shù)。當計數(shù)信號量的值為0時，表示沒有可用資源。

二進制信號量：二進制信號量只有兩個狀態(tài)：0和1。它通常用于實現(xiàn)互斥鎖，確保同一時間只有一個進程或線程可以訪問共享資源。

應(yīng)用場景

信號量廣泛應(yīng)用于各種需要同步控制的場景，例如：

資源限制：當需要限制對某種資源(如數(shù)據(jù)庫連接、文件句柄等)的并發(fā)訪問數(shù)量時，可以使用信號量進行控制。

互斥訪問：當多個進程或線程需要互斥地訪問共享資源時，可以使用二進制信號量實現(xiàn)互斥鎖。

生產(chǎn)者-消費者模型：在生產(chǎn)者-消費者模型中，生產(chǎn)者線程生產(chǎn)數(shù)據(jù)并放入緩沖區(qū)，消費者線程從緩沖區(qū)中取出數(shù)據(jù)進行處理。通過使用信號量來控制緩沖區(qū)的空閑空間和已占用空間的數(shù)量，可以實現(xiàn)生產(chǎn)者和消費者之間的同步。

常見問題及解決方法

信號量死鎖：當多個進程或線程在獲取信號量時形成循環(huán)等待，就會導(dǎo)致死鎖。為了避免死鎖，可以采取以下措施：

確保所有進程或線程以相同的順序獲取信號量。

使用超時機制，當?shù)却盘柫康臅r間超過一定閾值時自動放棄。

合理設(shè)計資源分配策略，避免資源過度集中。

信號量泄漏：如果某個進程或線程在獲取信號量后沒有正確釋放，就會導(dǎo)致信號量泄漏。為了避免信號量泄漏，可以采取以下措施：

在代碼中明確釋放信號量的位置，并確保在異常情況下也能正確釋放。

使用RAII(Resource Acquisition Is Initialization)技術(shù)，在對象生命周期結(jié)束時自動釋放信號量。

信號量基礎(chǔ)概念△ 信號量簡介

信號量是一種同步機制，在計算機科學中占據(jù)著重要的地位。它本質(zhì)上是一個簡單的整數(shù)，其操作被稱為PV操作。當進程試圖進入某段臨界代碼時，會調(diào)用相關(guān)信號量的P操作。如果信號量的值大于0，該值會減1，進程得以繼續(xù)執(zhí)行。然而，若信號量的值為0，則該進程必須等待，直至其他進程釋放該信號量。此時，V操作便派上了用場，它通過增加信號量的值來喚醒正在等待的進程。

信號量這一命名源于狄克斯特拉在荷蘭文中的定義：通過叫passeren(意為通過)和vrijgeven(意為釋放)。這一命名方式在計算機術(shù)語中實屬罕見，為數(shù)不多。

△ Linux信號量類別

在Linux系統(tǒng)中，存在兩類信號量：內(nèi)核使用的信號量以及用戶態(tài)使用的信號量(遵循System V IPC信號量要求)。本文將主要聚焦于內(nèi)核信號量的研究，而進程間通信所涉及的信號量將在后續(xù)進行分析。因此，下文中提及的信號量均指內(nèi)核信號量。

△ 信號量與自旋鎖比較

與自旋鎖相比，信號量的使用方式有所不同。自旋鎖在獲取失敗時會進入忙等待狀態(tài)，持續(xù)自旋;而信號量則允許獲取失敗的進程被掛起，直至資源釋放后繼續(xù)運行。值得注意的是，信號量僅適用于允許休眠的程序，如中斷處理程序和可延時函數(shù)等則無法使用。

02信號量實現(xiàn)細節(jié)△ 信號量結(jié)構(gòu)體

信號量的結(jié)構(gòu)體為semaphore，其中包含以下成員：

count：這是一個原子變量，其類型為atomic_t。當count的值大于0時，表示信號量處于釋放狀態(tài)，即可以被使用。若count等于0，則表示信號量已被占用，但無其他進程在等待受信號量保護的資源。而當count為負值時，意味著受保護的資源不可用，且至少有一個進程在等待該資源。

wait：此成員存儲休眠進程等待隊列的地址，這些進程都試圖訪問由該信號量保護的資源。顯然，如果count大于0，則該等待隊列為空。

sleepers：此標志用于指示是否有進程正在等待該信號量。

△ 信號量初始化變革

值得注意的是，盡管信號量可以支持較大的count值，但在Linux內(nèi)核中，互斥信號量(MUTEX)是信號量的一種特殊且常用的形式。因此，在早期的內(nèi)核版本(2.6.37之前)，提供了專門的函數(shù)來初始化互斥信號量，如init\_MUTEX()將互斥信號量的count設(shè)為1，允許進程加鎖訪問資源，而init\_MUTEX\_LOCKED()則將count設(shè)為0，表示資源已被鎖定，進程需等待解鎖后方可訪問。此外，還有靜態(tài)初始化方法DECLARE\_MUTEX和DECLARE\_MUTEX\_LOCKED，它們的作用與上述初始化函數(shù)相似，但適用于靜態(tài)分配的信號量變量。同時，count也可以被初始化為大于1的整數(shù)，以允許多個進程并發(fā)訪問資源。

然而，自Linux內(nèi)核2.6.37版本起，先前的一系列函數(shù)和宏定義已被廢棄。這背后的原因何在?原來，隨著Linux內(nèi)核設(shè)計的演變，互斥信號量已成為主流，而傳統(tǒng)的信號量使用逐漸減少。既然如此，為何不直接采用自旋鎖與一個int型整數(shù)來簡化信號量的設(shè)計呢?這樣的做法不僅使得自旋鎖的互斥性得以充分利用，還能讓代碼更為精簡。

△ 信號量獲取釋放過程

在Linux內(nèi)核的發(fā)展過程中，信號量的實現(xiàn)方式已經(jīng)發(fā)生了變化，因此其獲取和釋放的過程也必然隨之調(diào)整。為了深入理解信號量，并探究內(nèi)核設(shè)計的思想和機制，我們首先來了解一下早期版本內(nèi)核中獲取和釋放信號量的具體流程。

在信號量的釋放方面，其過程相較于獲取要更為簡潔。當進程需要釋放內(nèi)核信號量時，會調(diào)用up()函數(shù)。這個函數(shù)的核心操作是增加信號量的計數(shù)，即通過一系列匯編指令來實現(xiàn)。

而獲取信號量的過程則相對復(fù)雜，涉及到等待隊列、自旋鎖等多方面的機制。

接下來，我們將深入分析信號量的釋放過程。當一個進程想要釋放信號量時，它會執(zhí)行up()函數(shù)。這個函數(shù)首先將信號量的計數(shù)加一，然后根據(jù)計數(shù)的情況決定是否需要調(diào)用__up()函數(shù)。如果計數(shù)達到某個閾值，就會觸發(fā)特定的處理邏輯。此外，為了確保操作的原子性，整個過程中涉及到自旋鎖的獲取和釋放，以及寄存器的保存和恢復(fù)等操作。