相關(guān)閱讀:
Fedora下內(nèi)核編譯
谷歌Android被Linux內(nèi)核除名
Linux內(nèi)核十個版本性能對比
舊的信號量接口
互斥體接口代替了舊的信號量接口(semaphore)。互斥體接口是從-rt樹演化而來的,在2.6.16內(nèi)核中被融入主線內(nèi)核。
盡管如此,但是舊的信號量仍然在內(nèi)核和驅(qū)動程序中廣泛使用。信號量接口的基本用法如下:
#include <asm/semaphore.h> /* Architecture dependent header */
/* Statically declare a semaphore. To dynamically
create a semaphore, use init_MUTEX() */
static DECLARE_MUTEX(mysem);
down(&mysem); /* Acquire the semaphore */
/* ... Critical Section code ... */
up(&mysem); /* Release the semaphore */
1. 案例1:進程上下文,單CPU,非搶占內(nèi)核
這種情況最為簡單,不需要加鎖,因此不再贅述。
2. 案例2:進程和中斷上下文,單CPU,非搶占內(nèi)核
在這種情況下,為了保護臨界區(qū),僅僅需要禁止中斷。如圖2-4所示,假定進程上下文的執(zhí)行單元A、B以及中斷上下文的執(zhí)行單元C都企圖進入相同的臨界區(qū)。
由于執(zhí)行單元C總是在中斷上下文執(zhí)行,它會優(yōu)先于執(zhí)行單元A和B,因此,它不用擔(dān)心保護的問題。執(zhí)行單元A和B也不必關(guān)心彼此會被互相打斷,因為內(nèi)核是非搶占的。因此,執(zhí)行單元A和B僅僅需要擔(dān)心C會在它們進入臨界區(qū)的時候強行進入。為了實現(xiàn)此目的,它們會在進入臨界區(qū)之前禁止中斷:
Point A:
local_irq_disable(); /* Disable Interrupts in local CPU */
/* ... Critical Section ... */
local_irq_enable(); /* Enable Interrupts in local CPU */
但是,如果當(dāng)執(zhí)行到Point A的時候已經(jīng)被禁止,local_irq_enable()將產(chǎn)生副作用,它會重新使能中斷,而不是恢復(fù)之前的中斷狀態(tài)。可以這樣修復(fù)它:
unsigned long flags;
Point A:
local_irq_save(flags); /* Disable Interrupts */
/* ... Critical Section ... */
local_irq_restore(flags); /* Restore state to what it was at Point A */
不論Point A的中斷處于什么狀態(tài),上述代碼都將正確執(zhí)行。
相關(guān)閱讀:
Fedora下內(nèi)核編譯
谷歌Android被Linux內(nèi)核除名
Linux內(nèi)核十個版本性能對比
3. 案例3:進程和中斷上下文,單CPU,搶占內(nèi)核
如果內(nèi)核使能了搶占,僅僅禁止中斷將無法確保對臨界區(qū)的保護,因為另一個處于進程上下文的執(zhí)行單元可能會進入臨界區(qū)。重新回到圖2-4,現(xiàn)在,除了C以外,執(zhí)行單元A和B必須提防彼此。顯而易見,解決該問題的方法是在進入臨界區(qū)之前禁止內(nèi)核搶占、中斷,并在退出臨界區(qū)的時候恢復(fù)內(nèi)核搶占和中斷。因此,執(zhí)行單元A和B使用了自旋鎖API的irq變體:
unsigned long flags;
Point A:
/* Save interrupt state.
* Disable interrupts - this implicitly disables preemption */
spin_lock_irqsave(&mylock, flags);
/* ... Critical Section ... */
/* Restore interrupt state to what it was at Point A */
spin_unlock_irqrestore(&mylock, flags);
我們不需要在最后顯示地恢復(fù)Point A的搶占狀態(tài),因為內(nèi)核自身會通過一個名叫搶占計數(shù)器的變量維護它。在搶占被禁止時(通過調(diào)用preempt_disable()),計數(shù)器值會增加;在搶占被使能時(通過調(diào)用preempt_enable()),計數(shù)器值會減少。只有在計數(shù)器值為0的時候,搶占才發(fā)揮作用。
4. 案例4:進程和中斷上下文,SMP機器,搶占內(nèi)核
現(xiàn)在假設(shè)臨界區(qū)執(zhí)行于SMP機器上,而且你的內(nèi)核配置了CONFIG_SMP和CONFIG_PREEMPT。
到目前為止討論的場景中,自旋鎖原語發(fā)揮的作用僅限于使能和禁止搶占和中斷,時間的鎖功能并未被完全編譯進來。在SMP機器內(nèi),鎖邏輯被編譯進來,而且自旋鎖原語確保了SMP安全性。SMP使能的含義如下:
unsigned long flags;
Point A:
/*
- Save interrupt state on the local CPU
- Disable interrupts on the local CPU. This implicitly disables preemption.
- Lock the section to regulate access by other CPUs
*/
spin_lock_irqsave(&mylock, flags);
/* ... Critical Section ... */
/*
- Restore interrupt state and preemption to what it
was at Point A for the local CPU
- Release the lock
*/
spin_unlock_irqrestore(&mylock, flags);
在SMP系統(tǒng)上,獲取自旋鎖時,僅僅本CPU上的中斷被禁止。因此,一個進程上下文的執(zhí)行單元(圖2-4中的執(zhí)行單元A)在一個CPU上運行的同時,一個中斷處理函數(shù)(圖2-4中的執(zhí)行單元C)可能運行在另一個CPU上。非本CPU上的中斷處理函數(shù)必須自旋等待本CPU上的進程上下文代碼退出臨界區(qū)。中斷上下文需要調(diào)用spin_lock()/spin_unlock():
spin_lock(&mylock);
/* ... Critical Section ... */
spin_unlock(&mylock);
除了有irq變體以外,自旋鎖也有底半部(BH)變體。在鎖被獲取的時候,spin_lock_bh()會禁止底半部,而spin_unlock_bh()則會在鎖被釋放時重新使能底半部。我們將在第4章討論底半部。
-rt樹
實時(-rt)樹,也被稱作CONFIG_PREEMPT_RT補丁集,實現(xiàn)了內(nèi)核中一些針對低延時的修改。該補丁集可以從www.kernel.org/pub/linux/kernel/projects/rt下載,它允許內(nèi)核的大部分位置可被搶占,但是用自旋鎖代替了一些互斥體。它也合并了一些高精度的定時器。數(shù)個-rt功能已經(jīng)被融入了主線內(nèi)核。詳細(xì)的文檔見http://rt.wiki.kernel.org/。
為了提高性能,內(nèi)核也定義了一些針對特定環(huán)境的特定的鎖原語。使能適用于代碼執(zhí)行場景的互斥機制將使代碼更高效。下面來看一下這些特定的互斥機制。