Linux內(nèi)核同步機(jī)制spinlock
spin_lock是什么
在平時(shí)的工作中,作為開發(fā)人員經(jīng)常碰到這樣的問題:多線程或多進(jìn)程共享的數(shù)據(jù)如何進(jìn)行保護(hù),如果發(fā)生進(jìn)程上下文切換或中斷上下文切換都可能使共享數(shù)據(jù)發(fā)生爭搶問題。這時(shí)候就可以考慮用鎖了。如果是進(jìn)程上下文切換引起的可以考慮用信號(hào)量或mutex互斥鎖,但如果發(fā)生在中斷上下文,這時(shí)候信號(hào)量和mutex就無法使用了,因?yàn)檫@兩種鎖機(jī)制是可以睡眠的,而中斷上下文又禁止睡眠,這時(shí),spin_lock就是我們最好的選擇了。
- spin_lock是一種死等的鎖機(jī)制。當(dāng)發(fā)生資源訪問沖突的時(shí)候,可以有兩個(gè)選擇:一個(gè)是死等,一個(gè)是掛起當(dāng)前進(jìn)程,調(diào)度其他進(jìn)程執(zhí)行。
- spin_lock一次只允許一個(gè)線程進(jìn)入共享資源區(qū),信號(hào)量可以允許多個(gè)線程進(jìn)入。
- spin_lock執(zhí)行的時(shí)間要短,因?yàn)閟pin_lock是死等鎖,所以在共享資源區(qū)的執(zhí)行時(shí)間不能太長,否則會(huì)造成CPU的資源浪費(fèi)。
- spin_lock最重要的一點(diǎn)是可以在中斷上下文執(zhí)行。
資源競爭
現(xiàn)代CPU一般都是多核多CPU的SMP架構(gòu),在這種情況下就有可能出現(xiàn)多個(gè)CPU要共同訪問同一個(gè)資源的問題,此時(shí)就需要對資源進(jìn)行保護(hù),確保同一個(gè)時(shí)刻只有一個(gè)CPU正在訪問修改資源變量。鎖就是在這種背景下誕生的,鎖的種類有很多,應(yīng)用場景也不同,本篇我們主要介紹spinlock自旋鎖。
進(jìn)程上下文
如果一個(gè)全局的資源被多個(gè)進(jìn)程上下文訪問,此時(shí),內(nèi)核是如何執(zhí)行的呢?對于沒有開啟內(nèi)核可搶占
選項(xiàng)的內(nèi)核,所有的系統(tǒng)調(diào)用都是串行執(zhí)行的,并不存在資源競爭的問題。但是。對于現(xiàn)在的大部分內(nèi)核來說可搶占
選項(xiàng)是開啟的。
假如現(xiàn)在有一個(gè)共享資源S,有兩個(gè)進(jìn)程A和B,都需要訪問共享資源S
執(zhí)行流程大概是這樣的:
進(jìn)程A訪問資源S的時(shí)候發(fā)生了中斷,中斷去喚醒優(yōu)先級更高的進(jìn)程B,中斷返回的時(shí)候,發(fā)生進(jìn)程切換,優(yōu)先級更高的進(jìn)程B執(zhí)行,進(jìn)程B訪問共享資源S,如果沒有加鎖保護(hù),此時(shí)進(jìn)程A和進(jìn)程B都訪問了共享資源S,導(dǎo)致程序的執(zhí)行結(jié)果不正確。如果通過spin_lock加鎖保護(hù),進(jìn)程A訪問共享資源S前獲取spin_lock,此時(shí)發(fā)生了中斷,優(yōu)先級更高的進(jìn)程B開始執(zhí)行,進(jìn)程B會(huì)去獲取spin_lock,由于spin_lock被進(jìn)程A所持有,導(dǎo)致進(jìn)程B獲取spin_lock失敗,進(jìn)程B會(huì)死等直到進(jìn)程A釋放了spin_lock,然后進(jìn)程B就可以獲取spin_lock,訪問共享資源S。
中斷上下文
- 進(jìn)程A運(yùn)行在CPU0上訪問共享資源S
- 進(jìn)程B運(yùn)行在CPU1上訪問共享資源S
- 外部設(shè)備發(fā)生中斷訪問共享資源S 此時(shí)進(jìn)程A在CPU0上獲取spin_lock開始訪問共享資源S,這時(shí)外部設(shè)備發(fā)生了中斷,并且在CPU1上執(zhí)行,假如中斷執(zhí)行了一段時(shí)間后被調(diào)度到了CPU0上執(zhí)行,此時(shí)會(huì)怎樣呢?由于CPU0上進(jìn)程A已經(jīng)獲取了spin_lock,現(xiàn)在被中斷上下文打斷,中斷上下文也要獲取spin_lock,那么現(xiàn)在就進(jìn)入了死胡同也就是死鎖狀態(tài)。而進(jìn)程B在CPU1上也要獲取spin_lock,也會(huì)進(jìn)入死鎖狀態(tài)。所有中斷上下文的切換CPU必須禁止本CPU上的中斷。
實(shí)現(xiàn)原理
spinlock
結(jié)構(gòu)體定義在頭文件include/linux/spinlock_types.h
typedef struct spinlock {
union {
struct raw_spinlock rlock;
#ifdef CONFIG_DEBUG_LOCK_ALLOC
# define LOCK_PADSIZE (offsetof(struct raw_spinlock, dep_map))
struct {
u8 __padding[LOCK_PADSIZE];
struct lockdep_map dep_map;
};
#endif
};
} spinlock_t;
spinlock
結(jié)構(gòu)體變量的定義有兩種,一種是靜態(tài)定義,一種是動(dòng)態(tài)定義。
#define DEFINE_SPINLOCK(x) spinlock_t x = __SPIN_LOCK_UNLOCKED(x) //靜態(tài)定義
spinlock_t lock;
spin_lock_init (&lock); //動(dòng)態(tài)定義
spinlock
接口函數(shù)介紹,這些函數(shù)是驅(qū)動(dòng)編程內(nèi)核編程的時(shí)候會(huì)用到的。
位于include/linux/spinlock.h頭文件中
static __always_inline raw_spinlock_t *spinlock_check(spinlock_t *lock)
{
return &lock- >rlock;
}
#define spin_lock_init(_lock) \\
do { \\
spinlock_check(_lock); \\
raw_spin_lock_init(&(_lock)- >rlock); \\
} while (0)
static __always_inline void spin_lock(spinlock_t *lock)
{
raw_spin_lock(&lock- >rlock);
}
static __always_inline void spin_lock_bh(spinlock_t *lock)
{
raw_spin_lock_bh(&lock- >rlock);
}
static __always_inline int spin_trylock(spinlock_t *lock)
{
return raw_spin_trylock(&lock- >rlock);
}
#define spin_lock_nested(lock, subclass) \\
do { \\
raw_spin_lock_nested(spinlock_check(lock), subclass); \\
} while (0)
#define spin_lock_nest_lock(lock, nest_lock) \\
do { \\
raw_spin_lock_nest_lock(spinlock_check(lock), nest_lock); \\
} while (0)
static __always_inline void spin_lock_irq(spinlock_t *lock)
{
raw_spin_lock_irq(&lock- >rlock);
}
#define spin_lock_irqsave(lock, flags) \\
do { \\
raw_spin_lock_irqsave(spinlock_check(lock), flags); \\
} while (0)
#define spin_lock_irqsave_nested(lock, flags, subclass) \\
do { \\
raw_spin_lock_irqsave_nested(spinlock_check(lock), flags, subclass); \\
} while (0)
static __always_inline void spin_unlock(spinlock_t *lock)
{
raw_spin_unlock(&lock- >rlock);
}
static __always_inline void spin_unlock_bh(spinlock_t *lock)
{
raw_spin_unlock_bh(&lock- >rlock);
}
static __always_inline void spin_unlock_irq(spinlock_t *lock)
{
raw_spin_unlock_irq(&lock- >rlock);
}
static __always_inline void spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags)
{
raw_spin_unlock_irqrestore(&lock- >rlock, flags);
}
static __always_inline int spin_trylock_bh(spinlock_t *lock)
{
return raw_spin_trylock_bh(&lock- >rlock);
}
static __always_inline int spin_trylock_irq(spinlock_t *lock)
{
return raw_spin_trylock_irq(&lock- >rlock);
}
#define spin_trylock_irqsave(lock, flags) \\
({ \\
raw_spin_trylock_irqsave(spinlock_check(lock), flags); \\
})
static __always_inline int spin_is_locked(spinlock_t *lock)
{
return raw_spin_is_locked(&lock- >rlock);
}
static __always_inline int spin_is_contended(spinlock_t *lock