|
|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
Linux设备驱动中必须解决一个问题是多个进程对共享资源的并发访问,并发的访问会导致竞态,在当今的Linux内核中,支持SMP与内核抢占的环境下,更是充满了并发与竞态。幸运的是,Linux 提供了多钟解决竞态问题的方式,这些方式适合不同的应用场景。例如:中断屏蔽、原子操作、自旋锁、信号量等等并发控制机制。
6 M8 M% P t! t% o) s- v, I( S6 P, X7 t% E8 S
1.1 并发与竞态
$ b8 N6 C. a! i6 v+ i ]; F ?' v4 w2 J5 b' j4 H! N
并发是指多个执行单元同时、并发被执行,而并发的执行单元对共享资源(硬件资源和软件上的全局变量、静态变量等)的访问则很容易导致竞态。
$ D. p3 t' g% H) w1 j' u( C6 r& j" c6 J8 y) j- h
临界区概念是为解决竞态条件问题而产生的,一个临界区是一个不允许多路访问的受保护的代码,这段代码可以操纵共享数据或共享服务。临界区操纵坚持互斥锁原则(当一个线程处于临界区中,其他所有线程都不能进入临界区)。然而,临界区中需要解决的一个问题是死锁。; e, Y5 H9 T5 ]" Q* ? f
3 C5 F: m* j" u l
1.2 中断屏蔽+ m1 F6 o d* C6 o% V. ?2 t" a0 p
; q1 D9 i6 [ a d( \/ p 在单CPU 范围内避免竞态的一种简单而省事的方法是进入临界区之前屏蔽系统的中断。CPU 一般都具有屏蔽中断和打开中断的功能,这个功能可以保证正在执行的内核执行路径不被中断处理程序所抢占,有效的防止了某些竞态条件的发送,总之,中断屏蔽将使得中断与进程之间的并发不再发生。$ M& \) [( j, m2 P9 Z6 w! {/ L1 Q
8 b3 [$ n$ i2 ~; k1 }
中断屏蔽的使用方法:
+ n$ N7 E/ D# x3 c [local_irq_disable() /*屏蔽本地CPU 中断*/1 n9 l8 Y# n+ ]2 t
0 ? O+ p! Y: R: z& ~0 ~
.....
. ]& D m# U8 I, K
3 S I. A) m- u# N1 P5 d. T: |critical section /*临界区受保护的数据*/
& `. q6 @; S* `7 f+ ?( T' v
( ] R6 t: \3 V; }2 M.....
/ x( F2 t# [: T' _2 ~& A8 D1 T! c( |4 z$ ?7 p4 T
local_irq_enable() /*打开本地CPU 中断*/3 E8 D, K) ~5 f3 ]( Y. B x
4 m/ W- F! w8 W' s) `$ a% C8 B! ]
6 p% _; o% p; ~" P& j+ j% L
) i% h8 i$ u0 N+ g
由于Linux 的异步I/O、进程调度等很多重要操作都依赖于中断,中断对内核的运行非常重要,在屏蔽中断期间的所有中断都无法得到处理,因此长时间屏蔽中断是非常危险的,有可能造成数据的丢失,甚至系统崩溃的后果。这就要求在屏蔽了中断后,当前的内核执行路径要尽快地执行完临界区代码。3 K v4 a" l. }4 p7 U6 e7 `6 S
" ? N5 {1 x5 J 与local_irq_disable() 不同的是,local_irq_save(flags) 除了进行禁止中断的操作外,还保存当前CPU 的中断状态位信息;与local_irq_enable() 不同的是,local_irq_restore(flags) 除了打开中断的操作外,还恢复了CPU 被打断前的中断状态位信息。
3 p8 |7 X. x9 p2 [2 G: m( @6 h0 ^( E9 p! T
$ S K$ H" s- A; O/ s* ?" e; ^4 Y
: V0 s5 G! m1 ~1.3 原子操作' }- d$ U; J# i
3 i4 U k0 X- C* o- e: i
原子操作指的是在执行过程中不会被别的代码路径所中断的操作,Linux 内核提供了两类原子操作——位原子操作和整型原子操作。它们的共同点是在任何情况下都是原子的,内核代码可以安全地调用它们而不被打断。然而,位和整型变量原子操作都依赖于底层CPU 的原子操作来实现,因此这些函数的实现都与 CPU 架构密切相关。
. w, Z! ?' J+ H2 D! O7 }3 J) J8 H
. b# K \) W& k/ Z0 n& F$ q% z' @1.3.1 整型原子操作
" ~3 Q; d6 Y7 E2 Q- L
& Y( M& | @" z: B# e. u9 l2 E1、设置原子变量的值
* c X, v. J6 y( G% |4 Z: q/ E9 M0 D: R
void atomic_set(atomic *v,int i); /*设置原子变量的值为 i */
0 T: b' t! g2 c( B& c# R' L2 F$ E/ H
atomic_t v = ATOMIC_INIT(0); /*定义原子变量 v 并初始化为 0 */: k. Y" N' @0 v* H
4 [9 g' g( \8 m$ G! \3 k2、获取原子变量的值. [ Q* R9 @% X# h% ^1 o$ d) }
; d. y# O4 w. k0 D( u% N3 V( cint atomic_read(atomic_t *v) /*返回原子变量 v 的当前值*/
6 [- W2 ~ E$ _5 k4 `5 ^7 i% B* _; N( U9 X C1 h3 k9 h3 {
3、原子变量加/减
( {( `$ e; T: D. R( y
5 ?8 g! Q L1 C4 w* |6 i L0 qvoid atomic_add(int i,atomic_t *v) /*原子变量增加 i */2 h+ f F0 a0 Z. j4 n
) q, {# {( l. z
void atomic_sub(int i,atomic_t *v) /*原子变量减少 i */
) g6 R) @' l% K) B, E& I. w0 v2 [, U6 w' w* P+ Q
4、原子变量自增/自减
+ S$ Y5 Z5 L7 T4 q3 z' h% b
) e% ^' t! U: W% ?5 E5 B7 m1 ivoid atomic_inc(atomic_t *v) /*原子变量增加 1 */! {% ]$ t U* i, ]" A
: B# `( J: |- \% Svoid atomic_dec(atomic_t *v) /*原子变量减少 1 */5 E. X. n4 U$ m8 \* E
6 Y* e) p: G7 H1 W0 Q/ l F, v4 r5、操作并测试( @8 w2 q0 W( C! x' Q6 ?
! K% n! S6 Y: c8 V/ k, a
int atomic_inc_and_test(atomic_t *v);
0 ^% B2 y8 N- A- L' g% {) L. i' `5 z- i
int atomic_dec_and_test(atomic_t *v);
1 [- G, d6 E4 |* d# o/ N& U7 D0 Q# _% D8 M+ ^; Q8 G7 m
int atomic_sub_and_test(int i, atomic_t *v);6 F- s1 D4 ?, g# y) u0 c3 A- V! A
8 b6 m6 A' t6 ^7 G) S; D0 C 上述操作对原子变量执行自增、自减和减操作后测试其是否为 0 ,若为 0 返回true,否则返回false。注意:没有atomic_add_and_test(int i, atomic_t *v)。
: h1 S: X; u6 K& [( D' P/ q: G$ N, G0 V7 M6 S) k0 r, U7 T
6、操作并返回
$ Y9 y! r. S7 ^% s7 F* |% k8 c0 z' i _, p- S+ {# r, R/ K
int atomic_add_return(int i, atomic_t *v);: c5 F9 N0 b6 |, i3 [2 J7 V% `, Y
" N P/ \. b" S6 Nint atomic_sub_return(int i, atomic_t *v);) p! q7 @$ F* W! Q" h
" Z; |; ^5 K$ K: P; aint atomic_inc_return(atomic_t *v);9 I; H0 E e3 `' K4 k4 H6 Z4 L0 Y T
5 n/ a. x$ Z+ G
int atomic_dec_return(atomic_t *v);
# d9 u4 @. C* B/ F8 D$ {
& K( A+ c* b4 m6 Q3 K: c/ g 上述操作对原子变量进行加/减和自增/自减操作,并返回新的值。2 b5 H1 t" O" [& `; f& T9 D
+ X! ^* u L9 I N1 l
2 W% X4 o8 _7 I8 K
1 \6 n( z( C+ |! q9 r0 x
3 n7 V( D# T9 Q
1 o3 u; ~ T1 Y9 f1.3.2 位原子操作. h/ ~# S6 z5 E+ v0 o/ F1 \
- E$ y& W; ~$ b( }" R2 i
1、设置位- C8 |! \7 P/ ^8 a8 D) `, M
) v) } \9 T& Q& f& E7 O% M, jvoid set_bit(nr,void *addr);/*设置addr 指向的数据项的第 nr 位为1 */2 e7 e. p0 s9 u7 h+ O
, c9 |4 _2 ]: u; [- U8 W ^5 a
2、清除位
* D7 C4 M# M: o7 N: v* Q& T7 D5 f, C# M; @( j
void clear_bit(nr,void *addr)/*设置addr 指向的数据项的第 nr 位为0 */
6 @( h0 \0 |* f# Z. d$ h0 C* c; Y4 k' _
9 {, O. w- ~7 V3 y; L; F2 W# S7 |' D3、取反位
3 r9 F$ D" t8 ] u1 w2 Y/ @3 `1 ~) w6 }8 p( T
void change_bit(nr,void *addr); /*对addr 指向的数据项的第 nr 位取反操作*/! T$ C4 G# \5 m( c4 Z4 ]$ y
( M: ]; B. W3 G4 e
4、测试位
- W& j4 w5 E& ?; N% ]* Q: Q$ D! A+ j. U! Q# f3 J2 p, K! }! n7 a% Y
test_bit(nr,void *addr);/*返回addr 指向的数据项的第 nr位*/
/ O5 q. V Y" L7 Q. {2 [& c2 K7 A _1 w' ~
5、测试并操作位$ V& U% t9 W4 C" h
+ }) f3 J+ q2 z
int test_and_set_bit(nr, void *addr);* ]1 T n& B, t7 R) q
. \; q/ t' D/ `0 ~8 K6 Z" N
int test_and_clear_bit(nr,void *addr);9 [+ W1 ?% t+ b( P% E4 c
! ?2 ^% ~; L ]
int test_amd_change_bit(nr,void *addr);
; }2 z; H% z" c5 ~" s
8 F& `# f% d2 _. u/ Q
) N$ p5 J6 p- n& y( j6 p/ ?& a0 X' c, u2 M
1.4 自旋锁
: k* x2 a4 C6 R* g9 C3 ]+ I* [! j$ \* Y3 H9 }$ |* Y
自旋锁(spin lock)是一种典型的对临界资源进行互斥访问的手段。为了获得一个自旋锁,在某CPU 上运行的代码需先执行一个原子操作,该操作测试并设置某个内存变量,由于它是原子操作,所以在该操作完成之前其他执行单元不能访问这个内存变量。如果测试结果表明锁已经空闲,则程序获得这个自旋锁并继续执行;如果测试结果表明锁仍被占用,则程序将在一个小的循环里面重复这个“测试并设置” 操作,即进行所谓的“自旋”。
; a" e0 O e7 ~" v" O, M" P. G1 G1 F: M
理解自旋锁最简单的方法是把它当做一个变量看待,该变量把一个临界区标记为“我在这运行了,你们都稍等一会”,或者标记为“我当前不在运行,可以被使用”。6 }$ w) W- u3 b* j! w
5 P0 y: Q3 O7 @' x- U
1 [2 @2 }# o1 e& U7 ^0 C
( L- |3 D/ _6 [7 A
Linux中与自旋锁相关操作有:
8 j6 {: `0 _& Q) L" k; r* A
7 J" [& O+ a2 j; }1、定义自旋锁
5 T' j; ^, X1 @# ^: G3 N2 j! V/ c# o ~0 S6 ` x/ @
spinlock_t my_lock;# X2 S5 o! x, Q5 V1 O
7 d; W- k+ k! C& a: l t. ^5 V
2、初始化自旋锁
- `* Y3 o) f% m0 _' p% v" s
! c1 e' {0 w4 T" P7 i! ^spinlock_t my_lock = SPIN_LOCK_UNLOCKED; /*静态初始化自旋锁*/2 _8 `, i# E6 t
& ^" ?0 |1 R4 j. D; H* Svoid spin_lock_init(spinlock_t *lock); /*动态初始化自旋锁*/% E9 f7 x5 a; w9 c: z
- c" l4 Q1 [$ `3 Z
3、获取自旋锁
! P) k- ?/ @% M8 m' e A0 _$ c) v k$ [, Q6 u( s& n
/*若获得锁立刻返回真,否则自旋在那里直到该锁保持者释放*/
" H" F3 z D# J$ y- r0 h$ }/ e1 m# b% t6 A0 C
void spin_lock(spinlock_t *lock);' C0 J' |' p s* w) _
! ~0 R* ~4 K5 N0 F* ?0 c
/*若获得锁立刻返回真,否则立刻返回假,并不会自旋等待*/
" T' b8 J' X; b- g
0 F6 g! J2 t6 i; c- c: Tvoid spin_trylock(spinlock_t *lock)
7 e1 y2 B: F+ ~. i, N
) l2 c$ b( E# I4、释放自旋锁/ o- W# V. F% Z" Y- S( u
9 }9 K) ?' {0 v/ c9 ^6 O! M0 vvoid spin_unlock(spinlock_t *lock)- r& o! {7 Q* P1 T+ D+ {& p
/ B. V7 x- k0 X8 T* E% Y( d/ r1 R H$ m; S/ a0 |
0 C. G& H) B% l( x7 ~& V* L% T自旋锁的一般用法:% n8 m9 _- A; a1 U
( \' g* ^0 d6 ?, R: z J$ U3 I4 uspinlock_t lock; /*定义一个自旋锁*/
1 `+ }2 y3 A2 n" z
+ I9 J; m6 \# n2 ^! E6 pspin_lock_init(&lock); /*动态初始化一个自旋锁*/8 p* h- r: c! B& g' w- p. f5 {
# C, z' e* A2 h- s& C
......7 K% `6 c& E% \/ N
% p9 j4 w1 {8 L* v \- T+ H1 H
spin_lock(&lock); /*获取自旋锁,保护临界区*/
* |' i# _3 o* j' X- Q- _
9 y: y! q; j, d% q L......./*临界区*/' a$ j! m8 H* E7 ]
! S* T% p! Z. ?. X* hspin_unlock(&lock); /*解锁*/
" u4 M$ V2 E$ J# V) D$ Y6 L) G- F* B* o
自旋锁主要针对SMP 或单CPU 但内核可抢占的情况,对于单CPU 且内核不支持抢占的系统,自旋锁退化为空操作。尽管用了自旋锁可以保证临界区不受别的CPU 好本地CPU 内的抢占进程打扰,但是得到锁的代码路径在执行临界区的时候,还可能受到中断和底半部(BH)的影响,为了防止这种影响,就需要用到自旋锁的衍生。
6 w. {8 B0 ~1 i6 R* A, T' {1 O, Q) j7 @+ Y7 t! C2 J* M
获取自旋锁的衍生函数:/ z0 y# F3 O. G0 Y/ s
! c1 N7 T: P4 }! ]- K
void spin_lock_irq(spinlock_t *lock); /*获取自旋锁之前禁止中断*/
! v2 u. r: G* y# \8 l1 ~
9 q0 D! z( A7 v9 gvoid spin_lock_irqsave(spinlock_t *lock, unsigned long flags);/*获取自旋锁之前禁止中断,并且将先前的中断状态保存在flags 中*/
1 J; o# l5 }6 ?8 s2 z1 F7 R4 r2 P. k
void spin_lock_bh(spinlock_t *lock); /*在获取锁之前禁止软中断,但不禁止硬件中断*/; V; t8 e9 _% {1 S2 E9 ^
4 X+ K# N4 `" n& c( K! v$ b/ q
( A H5 O( B5 K) L6 I* m
. Z- o3 \) \5 G6 Q/ N5 J4 c, W3 h" Q/ u释放自旋锁的衍生函数:5 g4 i5 b3 R$ V$ q
void spin_unlock_irq(spinlock_t *lock)8 N! G" v0 P) C: O; t5 p$ k
! h* x. j5 H! `
void spin_unlock_irqrestore(spinlock_t *lock,unsigned long flags);* T3 u$ B+ A, }9 x- t. x; _
e' K9 S# B2 E7 J( _
void spin_unlock_bh(spinlock_t *lock);; S2 A4 b7 }, L8 K h0 I6 R& r
6 W! s: ~, m, m$ I, r2 i+ |, l
解锁的时候注意要一一对应去解锁。( ~, v: J' x2 m' R) R* n g4 J
: [2 j9 X. M. n/ K4 T自旋锁注意点:
3 N) ~7 ?( z' {! M( _# O, D(1)自旋锁实际上是忙等待,因此,只有占用锁的时间极短的情况下,使用自旋锁才是合理的。: D/ k7 Z5 V3 r5 v9 V5 S: p7 O
: X& _# Q7 o1 H. x9 }$ [" q- N
(2)自旋锁可能导致系统死锁。
% z/ O1 h, H, H, m! Q$ w5 D/ c0 b
(3)自旋锁锁定期间不能调用可能引起调度的函数。如:copy_from_user()、copy_to_user()、kmalloc()、msleep()等函数。
: l6 n8 ~8 k% \0 z0 I+ B* W# a A5 y+ H% ^& X9 v- _& [6 S- A
(4)拥有自旋锁的代码是不能休眠的。
2 p6 k/ i/ J6 B4 M+ G) N% O( c" t2 Q8 x0 O/ B1 X" N. _! @
5 C- ^, M) c+ t& a: H6 E/ R6 V3 c! k7 u# a* ~
) L4 O3 w' p5 [" u7 u
5 K2 t) ~8 n8 a, d% N- u+ t; s1.4.2 读写自旋锁8 \$ b' Z" o9 F. h7 M
# T* @ [1 `+ l9 R0 o5 j0 P! w
它允许多个读进程并发执行,但是只允许一个写进程执行临界区代码,而且读写也是不能同时进行的。. d2 }* l- h+ r8 [
- n2 w$ @ E- R2 ~ y
1、定义和初始化读写自旋锁
( O A3 _- f" N# g/ A* M8 o; N
! P; g. ^: t# W% t! N0 l% trwlock_t my_rwlock = RW_LOCK_UNLOCKED; /* 静态初始化 */
' ]3 Q2 r2 ^" @6 u5 q/ o9 g3 N$ }2 I5 p% C& U' F1 [! n
rwlock_t my_rwlock;
/ @' S r- Z. Q3 M2 L5 ]7 O! O/ p' `% k
rwlock_init(&my_rwlock); /* 动态初始化 */
% M) u; `' t6 t+ r( Y# \3 `2 ~1 Q; b' \7 M
2、读锁定& [7 x$ ^, h# s7 T* K( K
J% S, g1 F) e9 b( C* L$ H
void read_lock(rwlock_t *lock);7 J; D, H2 h3 A3 s; m
6 O+ e! z" K+ a& S( N) gvoid read_lock_irqsave(rwlock_t *lock, unsigned long flags); @8 V. A4 ?5 u- {1 m% O) u
" j( l- }/ O* }1 J; L5 R* Bvoid read_lock_irq(rwlock_t *lock);7 a! l2 R/ E6 F4 I
3 b" x" I6 w( {& X, X, m
void read_lock_bh(rwlock_t *lock);
) l) J8 b" R9 E( N: d$ y
+ m; A$ Y6 d. Z' C J; o3 K3、读解锁: Q# x- X( G) g; z0 @
5 T- B1 _; U5 l4 I4 }) _" w
void read_unlock(rwlock_t *lock);+ M& K- `5 X1 |1 [! A
3 B: s0 ?+ Y" U5 Y) v( |
void read_unlock_irqrestore(rwlock_t *lock, unsigned long flags);/ H& {9 h- g1 O8 O! A D
5 M9 P0 q* e( z/ Y' @: [6 A4 J
void read_unlock_irq(rwlock_t *lock);: k( j3 |! e" g" o @
. E! _0 b+ |/ y
void read_unlock_bh(rwlock_t *lock);) _9 J6 F7 p1 @9 n6 j$ \9 @: b
9 Q, h2 {9 }# k* b! r 在对共享资源进行读取之前,应该先调用读锁定函数,完成之后调用读解锁函数。
( g4 |( e& A+ l8 [( E
& C c6 i. A+ O8 k% w# t4、写锁定) O o3 c" ~2 B$ n2 g
' M3 T. o- s' W; S {2 d
void write_lock(rwlock_t *lock);2 j, l5 N, [9 G ^0 M) h
7 f6 y* X" D1 k# {) b
void write_lock_irqsave(rwlock_t *lock, unsigned long flags);
. t$ k( e, w. A% ^9 p( n( f$ F6 S8 R, h/ k* k y3 }
void write_lock_irq(rwlock_t *lock);
6 I \9 s0 d# N/ r. c6 X) J$ C3 p& D1 y `3 `% W$ ^
void write_lock_bh(rwlock_t *lock);
2 s# s3 z/ o0 F- y' E- D" f. h: v8 q: f" G4 B9 N( _0 w \
void write_trylock(rwlock_t *lock);- L6 S) ^3 ]* C0 M8 ~
. P, U8 B% I- L2 X/ y/ `5、写解锁2 N- ?( B2 j4 |4 E# z
2 N0 m9 m" E- _( H8 y& @+ Cvoid write_unlock(rwlock_t *lock);
' Y4 R/ E( P2 ^/ |6 G* i" B" t- G, U3 P
void write_unlock_irqrestore(rwlock_t *lock, unsigned long flags);
: @/ V, b+ Y7 c/ I% U" A# p6 {4 \1 S' i1 t: G
void write_unlock_irq(rwlock_t *lock);
4 Z6 y) |3 U% e( A. V3 N# }' R/ h" T& o* u4 g, p
void write_unlock_bh(rwlock_t *lock);( @3 A6 M! b% W" \1 @& p8 r
( J/ w9 A3 N6 w* e+ d$ u( m 在对共享资源进行写之前,应该先调用写锁定函数,完成之后应调用写解锁函数。' E" j- t- f4 |
( x: _5 B+ O/ s% |. z$ v
, C1 ~, B0 N: F( k$ Z+ Q! q
) M) G& q; F) P5 r; {9 a4 G读写自旋锁的一般用法:
3 _1 Q4 u' u4 A
; a: n# O' R: G( Y; Trwlock_t lock; /*定义一个读写自旋锁 rwlock*/0 c' w9 z" A" o0 S1 {2 Q
: ?6 b/ q7 P5 V/ n4 [8 `; S
rwlock_init(&lock); /*初始化*/9 R o3 _* M0 ~5 d8 E# e, d: T3 @& [
' [7 ?! Q, I- j$ ^
/ `6 o' B- f r0 l" A
: {- A9 c& D4 L: `- dread_lock(&lock); /*读取前先获取锁*/
" ?0 ]$ a: x" x/ K6 k3 W" D' q# u- Y9 \/ D; o& G
...../*临界区资源*/8 z2 c1 Y$ H$ ]9 T4 F, @
- Y* a* y0 V2 _" y$ F5 r I& e
read_unlock(&lock); /*读完后解锁*/5 v) Y- N7 C9 ^# W% _1 W& {) i
_# V2 }+ [/ [
7 h1 l: V2 `- _0 F% |
; J9 ^* f3 @$ ?! }" r# L; Fwrite_lock_irqsave(&lock, flags); /*写前先获取锁*/% C, h, w- {9 e4 Q' e2 S' K
( y2 R. w9 [5 s4 ~5 Q/ o...../*临界区资源*/
9 o5 g( p: _& [! _* a
. ~; @% _) F3 T7 awrite_unlock_irqrestore(&lock,flags); /*写完后解锁*/
1 V/ ]+ u% }/ r9 P- F! j% i. q/ v$ X: \: F$ G1 D
6 y( `+ D8 H# W. l
# J/ R9 p4 v7 y [* k4 {' d- Z+ Y7 C
6 _8 \% M# x* W | Z
1.4.3 顺序锁(sequence lock)
( |" L: A' R' C) N! d {6 c
" h" ]3 O- r8 l. ^& Q6 P 顺序锁是对读写锁的一种优化,读执行单元在写执行单元对被顺序锁保护的资源进行写操作时仍然可以继续读,而不必等地写执行单元完成写操作,写执行单元也不必等待所有读执行单元完成读操作才进去写操作。但是,写执行单元与写执行单元依然是互斥的。并且,在读执行单元读操作期间,写执行单元已经发生了写操作,那么读执行单元必须进行重读操作,以便确保读取的数据是完整的,这种锁对于读写同时进行概率比较小的情况,性能是非常好的。* t. L0 l- C8 ?! H& C
c' m7 u! R* N' j o
顺序锁有个限制,它必须要求被保护的共享资源不包含有指针,因为写执行单元可能使得指针失效,但读执行单元如果正要访问该指针,就会导致oops。
0 p+ {3 Y- k6 m/ E( E4 v7 \. V0 j6 O: v9 {3 `1 s F, e; @$ q- s$ U; E
1、初始化顺序锁
8 q! z6 @% V5 ^! j8 A" Y, C, ]& u7 c8 k
seqlock_t lock1 = SEQLOCK_UNLOCKED; /*静态初始化*/6 y- w/ I. E4 t& a# R
" r0 S6 w; Z, F: d
, x* [0 x; w% X+ Y# H. x
9 o- Z/ Q0 n& X5 |+ Iseqlock lock2; /*动态初始化*/" K+ X$ V. B) K! ^
5 t) O+ x% F3 e. p- eseqlock_init(&lock2)
7 C, }, v8 d, I* W2 {% O0 b
" t; i6 t. d0 B/ S* Q0 o0 b" Q9 t1 {
& J2 Y) [7 @! n' z* F {( P; F7 O2、获取顺序锁
( X4 i) c/ T& d$ I, \: T9 t; [. m/ T1 z% r5 ^% f5 R5 i% q0 F' M4 y! u
void write_seqlock(seqlock_t *s1);
8 ]4 z$ q8 e0 v6 d0 M; b1 ^! y! h& ^/ a/ M$ n5 f
void write_seqlock_irqsave(seqlock_t *lock, unsigned long flags)1 D8 N# E2 |" ?( Y: H7 ~8 Z
2 l9 `* Y% F1 C5 vvoid write_seqlock_irq(seqlock_t *lock);5 Y5 Z4 N* j& N b: B) l
5 [* G: n% X- }8 Q- kvoid write_seqlock_bh(seqlock_t *lock);
3 H1 Z7 i. R. j4 A4 X% y+ x1 ?7 K) w
int write_tryseqlock(seqlock_t *s1);
) T# W' l; q; K; `5 _4 E$ @+ s( O. a/ @( }7 p" E9 d' K. j, y
) R% A) J# W# Y: e6 E( `2 u
; k$ q! E1 H2 S+ A) F
3、释放顺序锁5 t3 s+ X. V8 I) ?) Z% [( Y4 |
+ p$ v) m. o. \) ~! fvoid write_sequnlock(seqlock_t *s1);! [* D% z, J7 p& ], p6 r; K# `
. n- ] D, K. E1 i% ~8 _5 q* x) _void write_sequnlock_irqsave(seqlock_t *lock, unsigned long flags)# a6 z* V. O& c+ ~0 a: v
" L% u6 I9 u4 l' ?
void write_sequnlock_irq(seqlock_t *lock);5 V7 z2 i8 q! P9 j: {- I
' v/ H% J* p: X; {# n6 ]void write_sequnlock_bh(seqlock_t *lock);. ~; E- r. q3 y$ y% O/ y
! `0 c. V5 S3 H) P( N$ {6 @$ \- `( Q* w& r' G8 p
% {0 K" t E5 o7 ~: B: O8 v
写执行单元使用顺序锁的模式如下:
7 [/ F5 l- p! R7 @) ^4 t
9 P8 p/ v- q4 q/ R( b7 [9 M) vwrite_seqlock(&seqlock_a);
; j: k1 l3 j. p% O8 n$ a0 O4 n+ s5 K6 z) @
/*写操作代码*/
# F7 X I# y3 e( l Z3 I7 O1 b1 I: _! F6 o) v( B7 W
........
, O" C% c! _+ k
+ i, u, l( C% M+ e( v; X: lwrite_sequnlock(&seqlock_a);
, s/ S, g. k) T$ r0 u, }$ ]- k" v9 T l, }& e0 }) y
6 p; y2 q, O; f, Q2 h( q
1 c' R3 i0 b \- W- U* Y. j8 U7 W
' Q* j0 r; {; c; \7 B5 Y+ a8 z
* U/ A; |# Y* j! e" t
4、读开始0 r9 s1 g4 E" }+ |. t8 I) ?
) d! ]0 Q: D, T1 U ~
unsigned read_seqbegin(const seqlock_t *s1);
& t$ u' Y1 a4 s. y( ^4 m1 G$ G0 Z& f M+ ^
unsigned read_seqbegin_irqsave(seqlock_t *lock, unsigned long flags);7 j+ T4 U D# R- c% ^
" F8 K- ^3 G3 J; Y: ?+ k* T: D4 G& @8 R5 V: F! [
/ `( I- j# H U! y8 B. N' W5、重读+ s. ^! P" r" G4 q( N6 [- M7 C, x/ L
" ^* f' v' O1 u5 I
int read_seqretry(const seqlock_t *s1, unsigned iv);
3 C" a [" M* C! {0 f1 g( ?; S$ C6 Z9 ]
$ |8 d$ J( S h; N0 qint read_seqretry_irqrestore(seqlock_t *lock,unsigned int seq,unsigned long flags);% g7 a; j2 F! M* X0 G, x( K$ J
; v! }' M- F( F% j读执行单元使用顺序锁的模式如下:
" `% n2 g6 H/ Z- F
/ e+ [# t8 g$ Z* |; u) `! Bunsigned int seq;4 {2 C5 o* r6 {% @7 V( ?
# ^6 d3 w& ]# m/ D! G; l2 W/ Edo{- a$ E2 {* o: u& |% V4 a
2 z; z9 |/ J& G* W4 A# t8 @
seq = read_seqbegin(&seqlock_a);
% T; Z$ k- j# ]( }1 ?& D/ n3 g$ _
$ u9 _3 O5 C, h4 ?+ i4 S/ h /*读操作代码*/6 Y% t- r0 E# f4 E, s. A8 x' S' l
) x& G* D+ }9 D$ @( q0 ~
.......- p) X1 F6 N/ C# S/ ^5 n4 g2 Y
- I' y0 ]# A( c- G. Z G$ E}while (read_seqretry(&seqlock_a, seq));
" b' r _% f" ?) ]* w
+ D. D' o2 ?! L$ x1 `
! d9 K; O# {6 V3 }/ `
# h& `! v( N# I/ |1.5 信号量4 o, m; X% d/ B' e1 a# p2 `
9 c6 |0 f; n+ @1.5.1 信号量的使用3 v$ C1 z: D0 ?2 ^4 O7 w
- M0 O: u* c, U4 q( o 信号量(semaphore)是用于保护临界区的一种最常用的办法,它的使用方法与自旋锁是类似的,但是,与自旋锁不同的是,当获取不到信号量的时候,进程不会自旋而是进入睡眠的等待状态。
@$ c; k% V* a8 b( k3 f- e
5 C+ H& L2 [$ n9 i# s* E6 F6 I* [1、定义信号量. I2 z# a0 e0 b( `
! R& Z5 y; c, v' L- j7 h3 Xstruct semaphore sem;. E/ a; Y& E4 @& l% T( n
/ g- {; b0 C3 x6 K, n- E" L, C
2、初始化信号量0 q3 l+ W0 }4 k( C& D2 O' R
- {0 B# n" M7 h' U4 T9 K
void sema_init(struct semaphore *sem, int val); /*初始化信号量的值为 val */
: K. h0 I5 p% s h3 @ x# v
6 T) f2 ~% x$ ?/ p/ Q. ]- F8 A更常用的是下面这二个宏:5 r$ V+ _8 {- Z
8 @/ T9 q4 q4 a1 r' |#define init_MUTEX(sem) sema_init(sem, 1)$ t% l3 ?) n! O0 N
, w. l! M. [' H# g7 }3 n/ w: P% f#define init_MUTEX_LOCKED(sem) sem_init(sem, 0)
5 J Z5 N- ^! U$ [/ c9 H7 x' l: _) A
然而,下面这两个宏是定义并初始化信号量的“快捷方式”
9 Q8 n" U; U$ ~5 Q2 u; u9 Y) B6 E/ u2 r$ b3 A& q8 K' s
DECLARE_MUTEX(name) /*一个称为name信号量变量被初始化为 1 */
& e+ B/ [5 j7 x0 j) d l7 z% C
2 C5 m2 s( D' Q( d i& P$ O- sDECLARE_MUTEX_LOCKED(name) /*一个称为name信号量变量被初始化为 0 */
. M& i' Q- ?. ]( t2 Q: |( \$ m5 }8 A6 }
- R+ z3 s( Q; ~6 |1 y
& T8 o! B' a* d& a- M- W' {6 v3、获得信号量
a; C$ V$ y) Q
, z( V ^+ y4 v- T4 l; h/*该函数用于获取信号量,若获取不成功则进入不可中断的睡眠状态*/
# h9 v0 l* E! }1 N
- p* j; d/ \5 V5 xvoid down(struct semaphore *sem);
, }4 b) ^! t8 N; p+ \- ~! t) J1 t4 v; g9 M
/*该函数用于获取信号量,若获取不成功则进入可中断的睡眠状态*/
, H2 _* x1 B$ P& {6 o F2 y& H! O
void down_interruptible(struct semaphore *sem);
! b0 r% y$ o" X: C% I! r
. g! H) t7 G9 U" J, Y& W/*该函数用于获取信号量,若获取不成功立刻返回 -EBUSY*/
' B9 f V0 G6 T9 d' N/ h0 w5 R& y! c6 A4 G
int down_trylock(struct sempahore *sem);$ l5 A d: A7 q$ j/ O \
) l" |8 x7 j( B. k8 g2 r
% U- W! V7 n Q0 c/ a; \
) k( n. B, ?; j6 w/ U6 [# J
4、释放信号量$ t [, X1 g. U% e3 T
# X0 ]. K) r. U# q. C) ^- @void up(struct semaphore *sem); /*释放信号量 sem ,并唤醒等待者*/ x# |* e9 _9 u, x( `2 S. l
5 r, g1 l8 V9 |, T7 [7 e' @
信号量的一般用法:8 Z0 l4 C3 q- [2 ~" L
& h k; F8 x. L* k1 u" V7 RDECLARE_MUTEX(mount_sem); /*定义一个信号量mount_sem,并初始化为 1 */
) X: q6 }4 H* L/ C5 v4 l z- O4 @! ?1 X) z! y/ p% `
down(&mount_sem); /* 获取信号量,保护临界区*/& g9 O& ^' Y2 Q. q
7 f1 T: p2 f9 d$ c, |+ h4 V
: X7 p7 K4 C! h9 u3 w8 V! Z3 N& P
1 L A: G; A- ~* ]& z; v
.....) o, `" d, s1 ~3 L* r& o) F# f2 E
0 U) d# j1 o( O8 `7 G5 Dcritical section /*临界区*/; T/ ]1 z6 q1 k& N0 R1 f) B
5 U2 w$ {# N2 P( H& q% P* i! G.....
3 T* d" R8 s$ h& M! R
. y) E9 h! `* ~5 ]9 s( j* a: B" a m& k9 J3 N2 O/ o0 C( f
9 B4 E6 |' o6 f
up(&mount_sem); /*释放信号量*/
3 c3 l' I: B9 W+ `4 N
7 D5 q8 P( f1 h
; b2 Y" Y* p) X: i3 u3 h6 M
3 {. I4 h+ a, z) `, K, t" _, L" P1.5.2 读写信号量8 ^5 Z3 ~4 L: E4 @3 S
! D* F7 G' [% R( V0 d N4 d
读写信号量可能引起进程阻塞,但是它允许多个读执行单元同时访问共享资源,但最多只能有一个写执行单元。! m+ @$ K# B- D3 ?1 I! f
f9 g; I6 G! ]% a# h% V1、定义和初始化读写信号量 [) j" C* r, z5 M8 N
) R0 L6 w2 m) I4 d$ i7 h$ u! _% N H
struct rw_semaphore my_rws; /*定义读写信号量*/
( t: T& V; D' |7 |3 X$ h. t8 a% F& Z; ]+ D
void init_rwsem(struct rw_semaphore *sem); /*初始化读写信号量*/
' s/ o( f' O* z7 S- f8 _9 f
! Z4 m4 H. V- ^2、读信号量获取
7 b/ W! S8 F. k& H2 [
: x' H7 f, D" F+ _: ~' cvoid down_read(struct rw_semaphore *sem);" |0 }: \5 ~+ O+ u6 k! d
; U' ]. t$ V/ a Mint down_read_trylock(struct rw_semaphore *sem);9 y3 @! c3 Y; ~8 X
$ A1 l) w2 Y4 g* P4 C& H5 ?
3、读信号量释放
2 O2 r( K! k8 L& r7 h% ?# J4 g
4 t8 K7 }, o" Q" ^: ?. {void up_read(struct rw_semaphore *sem);
2 D( |9 T8 M+ t6 A$ t, t
9 g" R. s' d+ y) B2 O5 z P4、写信号量获取
7 \: U4 A7 Z/ b7 L8 T' \ Y
9 C5 _* P+ h* V1 Q l& Hvoid down_write(struct rw_semaphore *sem);
5 B$ f" E! [5 t* y+ ?, L+ z' k- |' S) I
int down_write_trylock(struct rw_semaphore *sem);2 q& I4 L+ Y6 b) O% ]# S& S% C
& P3 j% M' [& m0 y- D7 `! j5、写信号量释放9 H) ^* d5 l* B. e b
. ^0 S, M/ P3 E" n8 x& u
void up_write(struct rw_semaphore *sem);
8 \" g p o8 [1 t9 A0 _ Y5 J1 H; [5 H1 g+ s
, j& A0 W4 f# v- U) ] j/ E! u, ?# N7 u6 t
1.5.3 completion! ?3 `# B& E' Z# x
# E t5 c1 C3 p1 G 完成量(completion)用于一个执行单元等待另外一个执行单元执行完某事。
8 t- X: Q. |) F e# i, B
8 E1 s6 K& E6 w+ ^7 o8 ~1、定义完成量
3 F% z+ M0 q! j6 ^" F( k
2 C! _# C7 @* Astruct completion my_completion;% `0 H; r0 \& [' }& W
3 {7 M8 K+ ^& t0 ~3 ]: c
2、初始化完成量
4 T6 I8 j: R: [( n% z7 O- s
. s! I2 `% {5 W( }2 R' j% Yinit_completion(&my_completion);7 m. D/ `: T2 o
. g0 `) |. K* h( S7 Z4 U# a# h
3、定义并初始化的“快捷方式”( O2 u# j( Q& _
# X' u8 M! d! r6 ~0 S; {DECLARE_COMPLETION(my_completion)6 V3 a) N8 a8 N
6 Y: S" [8 ~; K. y( U+ U( r
4、等待完成量& |- r, \$ Q- D }0 c: a
, ^. O0 J9 _! g2 Hvoid wait_for_completion(struct completion *c); /*等待一个 completion 被唤醒*/6 p6 {0 b5 Y* w4 _
- B7 k j( i- j/ J
5、唤醒完成量" G4 V$ K. q6 p8 x
4 t6 \+ i. w* g3 O4 ]2 qvoid complete(struct completion *c); /*只唤醒一个等待执行单元*/
! Q+ V" d, e( h( s" Y. p; \
2 M, D6 H4 @* u5 Y$ Cvoid complete(struct completion *c); /*唤醒全部等待执行单元*/
- d- K8 n/ \* l, f4 w( F
8 C3 o; t# T5 T+ l3 d; i% w5 b% O- Y( v$ U! W8 ]
& x+ f' _; r* ?9 }+ N5 x# B; x$ p
1.5.4 自旋锁VS信号量* D' y( m- @, e1 p5 W e; Y6 x
0 ~) d, A2 o s
信号量是进程级的,用于多个进程之间对资源的互斥,虽然也是在内核中,但是该内核执行路径是以进程的身份,代表进程来争夺资源的。如果竞争失败,会发送进程上下文切换,当前进程进入睡眠状态,CPU 将运行其他进程。鉴于开销比较大,只有当进程资源时间较长时,选用信号量才是比较合适的选择。然而,当所要保护的临界区访问时间比较短时,用自旋锁是比较方便的。
5 i! V/ A( h1 S% d" s2 F' `& L! ?) p
, h* n; ?0 z( I! X- N! d! f3 G# P3 I- z! o( i9 [, `: f6 S
总结:
1 e$ z- n# Q' s5 f6 c* }3 D5 S1 L) O' A4 R }
解决并发与竞态的方法有(按本文顺序):
! t* d0 E$ z4 t! t( x- L) ~9 ^0 l) U% Y5 ]' Z
(1)中断屏蔽 R" x2 y/ R% G! n I
$ S4 o( |" y8 x& h6 z
(2)原子操作(包括位和整型原子)& o' q5 D2 M+ ?# q1 K
& B% w5 f% g" v; @4 o3 x(3)自旋锁
1 B; x- j' |' }6 [' D! }7 W3 J& ], o8 W0 z0 u2 f+ H! V) B; W
(4)读写自旋锁" h5 ^. Y/ Q( R2 u
6 Q1 i1 X- |# c8 b- l7 c+ J
(5)顺序锁(读写自旋锁的进化)" ]( W9 ]8 e* _9 e$ }
# Q I( d/ M6 R7 ?- H8 w" i$ D
(6)信号量
$ O' S1 @2 t) {% }# j l7 v3 n# d# r9 C
(7)读写信号量- b. ^" ]+ U. z/ Y
- P0 j# }" B* a" r4 I
(8)完成量
H/ h5 j( I0 V1 g. I5 F& Z+ d, n5 r$ F2 M v1 e( ?- ]/ t4 p
其中,中断屏蔽很少单独被使用,原子操作只能针对整数进行,因此自旋锁和信号量应用最为广泛。自旋锁会导致死循环,锁定期间内不允许阻塞,因此要求锁定的临界区小;信号量允许临界区阻塞,可以适用于临界区大的情况。读写自旋锁和读写信号量分别是放宽了条件的自旋锁 信号量,它们允许多个执行单元对共享资源的并发读。6 F: C% D# W2 \
, s& t! k+ X- X4 ~2 `* O
6 I9 F8 Y& o+ y: e
& ~9 I. ]4 D W8 A( ~
结束语:: e) U0 d( O6 R
o& l1 `. E& N5 }$ x9 S
本文比较多的API,不过只要耐心阅读,可以发现很多是相似,其实在驱动当中运用锁机制没有想象的那么恐怖,熟悉掌握之后会发现,其实很多是可以套用的。下一篇,我们分析并发的高级字符驱动程序。最后,祝大家学习愉快。
2 q: |) a+ i0 p" j: h1 [* |$ _* M! u$ _ Q' f {1 J2 @$ L
$ `0 T# k5 v- t* ]2 U/ b2 A( p7 {2 J7 z% y9 b( R: |
|
|