相關(guān)閱讀:
Fedora下內(nèi)核編譯
谷歌Android被Linux內(nèi)核除名
Linux內(nèi)核十個(gè)版本性能對(duì)比
舊的信號(hào)量接口
互斥體接口代替了舊的信號(hào)量接口(semaphore)。互斥體接口是從-rt樹演化而來的,在2.6.16內(nèi)核中被融入主線內(nèi)核。
盡管如此,但是舊的信號(hào)量仍然在內(nèi)核和驅(qū)動(dòng)程序中廣泛使用。信號(hào)量接口的基本用法如下:
#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:進(jìn)程上下文,單CPU,非搶占內(nèi)核
這種情況最為簡單,不需要加鎖,因此不再贅述。
2. 案例2:進(jìn)程和中斷上下文,單CPU,非搶占內(nèi)核
在這種情況下,為了保護(hù)臨界區(qū),僅僅需要禁止中斷。如圖2-4所示,假定進(jìn)程上下文的執(zhí)行單元A、B以及中斷上下文的執(zhí)行單元C都企圖進(jìn)入相同的臨界區(qū)。
由于執(zhí)行單元C總是在中斷上下文執(zhí)行,它會(huì)優(yōu)先于執(zhí)行單元A和B,因此,它不用擔(dān)心保護(hù)的問題。執(zhí)行單元A和B也不必關(guān)心彼此會(huì)被互相打斷,因?yàn)閮?nèi)核是非搶占的。因此,執(zhí)行單元A和B僅僅需要擔(dān)心C會(huì)在它們進(jìn)入臨界區(qū)的時(shí)候強(qiáng)行進(jìn)入。為了實(shí)現(xiàn)此目的,它們會(huì)在進(jì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的時(shí)候已經(jīng)被禁止,local_irq_enable()將產(chǎn)生副作用,它會(huì)重新使能中斷,而不是恢復(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 */
不論P(yáng)oint A的中斷處于什么狀態(tài),上述代碼都將正確執(zhí)行。
相關(guān)閱讀:
Fedora下內(nèi)核編譯
谷歌Android被Linux內(nèi)核除名
Linux內(nèi)核十個(gè)版本性能對(duì)比
3. 案例3:進(jìn)程和中斷上下文,單CPU,搶占內(nèi)核
如果內(nèi)核使能了搶占,僅僅禁止中斷將無法確保對(duì)臨界區(qū)的保護(hù),因?yàn)榱硪粋(gè)處于進(jìn)程上下文的執(zhí)行單元可能會(huì)進(jìn)入臨界區(qū)。重新回到圖2-4,現(xiàn)在,除了C以外,執(zhí)行單元A和B必須提防彼此。顯而易見,解決該問題的方法是在進(jìn)入臨界區(qū)之前禁止內(nèi)核搶占、中斷,并在退出臨界區(qū)的時(shí)候恢復(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),因?yàn)閮?nèi)核自身會(huì)通過一個(gè)名叫搶占計(jì)數(shù)器的變量維護(hù)它。在搶占被禁止時(shí)(通過調(diào)用preempt_disable()),計(jì)數(shù)器值會(huì)增加;在搶占被使能時(shí)(通過調(diào)用preempt_enable()),計(jì)數(shù)器值會(huì)減少。只有在計(jì)數(shù)器值為0的時(shí)候,搶占才發(fā)揮作用。
4. 案例4:進(jìn)程和中斷上下文,SMP機(jī)器,搶占內(nèi)核
現(xiàn)在假設(shè)臨界區(qū)執(zhí)行于SMP機(jī)器上,而且你的內(nèi)核配置了CONFIG_SMP和CONFIG_PREEMPT。
到目前為止討論的場景中,自旋鎖原語發(fā)揮的作用僅限于使能和禁止搶占和中斷,時(shí)間的鎖功能并未被完全編譯進(jìn)來。在SMP機(jī)器內(nèi),鎖邏輯被編譯進(jìn)來,而且自旋鎖原語確保了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)上,獲取自旋鎖時(shí),僅僅本CPU上的中斷被禁止。因此,一個(gè)進(jìn)程上下文的執(zhí)行單元(圖2-4中的執(zhí)行單元A)在一個(gè)CPU上運(yùn)行的同時(shí),一個(gè)中斷處理函數(shù)(圖2-4中的執(zhí)行單元C)可能運(yùn)行在另一個(gè)CPU上。非本CPU上的中斷處理函數(shù)必須自旋等待本CPU上的進(jìn)程上下文代碼退出臨界區(qū)。中斷上下文需要調(diào)用spin_lock()/spin_unlock():
spin_lock(&mylock);
/* ... Critical Section ... */
spin_unlock(&mylock);
除了有irq變體以外,自旋鎖也有底半部(BH)變體。在鎖被獲取的時(shí)候,spin_lock_bh()會(huì)禁止底半部,而spin_unlock_bh()則會(huì)在鎖被釋放時(shí)重新使能底半部。我們將在第4章討論底半部。
-rt樹
實(shí)時(shí)(-rt)樹,也被稱作CONFIG_PREEMPT_RT補(bǔ)丁集,實(shí)現(xiàn)了內(nèi)核中一些針對(duì)低延時(shí)的修改。該補(bǔ)丁集可以從www.kernel.org/pub/linux/kernel/projects/rt下載,它允許內(nèi)核的大部分位置可被搶占,但是用自旋鎖代替了一些互斥體。它也合并了一些高精度的定時(shí)器。數(shù)個(gè)-rt功能已經(jīng)被融入了主線內(nèi)核。詳細(xì)的文檔見http://rt.wiki.kernel.org/。
為了提高性能,內(nèi)核也定義了一些針對(duì)特定環(huán)境的特定的鎖原語。使能適用于代碼執(zhí)行場景的互斥機(jī)制將使代碼更高效。下面來看一下這些特定的互斥機(jī)制。