EDA365电子论坛网

标题: linux的读写锁 [打印本页]

作者: thinkfunny    时间: 2020-12-21 18:48
标题: linux的读写锁

; Q. n' B. t! S. T& I- d! D7 d读写锁和互斥量(互斥锁)很类似,是另一种线程同步机制,但不属于POSIX标准,可以用来同步同一进程中的各个线程。当然如果一个读写锁存放在多个进程共享的某个内存区中,那么还可以用来进行进程间的同步,
' H) `: E# ]; O* B* C2 k0 J3 _% Q; M6 a
和互斥量不同的是:互斥量会把试图进入已保护的临界区的线程都阻塞;然而读写锁会视当前进入临界区的线程和请求进入临界区的线程的属性来判断是否允许线程进入。4 e# p0 P8 J) \0 h; O

3 n# g( l& d/ O0 ?相对互斥量只有加锁和不加锁两种状态,读写锁有三种状态:读模式下的加锁,写模式下的加锁,不加锁。
6 Y$ J/ ]0 l7 R% R6 ?8 m+ B: W3 D, k7 B. Z( x$ `6 ^% O
读写锁的使用规则:" O+ V$ Z1 z" C& t+ d3 W
6 V6 |8 n; t7 R7 p2 G
只要没有写模式下的加锁,任意线程都可以进行读模式下的加锁;
, A  z; x+ n" d7 p& y只有读写锁处于不加锁状态时,才能进行写模式下的加锁;
2 w" D2 ~: C4 O读写锁也称为共享-独占(shared-exclusive)锁,当读写锁以读模式加锁时,它是以共享模式锁住,当以写模式加锁时,它是以独占模式锁住。读写锁非常适合读数据的频率远大于写数据的频率从的应用中。这样可以在任何时刻运行多个读线程并发的执行,给程序带来了更高的并发度。+ P  D/ K6 ]% e' S. H+ N# }
6 V9 x4 Z9 c% v: S! a) h! W0 |
需要提到的是:读写锁到目前为止仍然不是属于POSIX标准,本文讨论的读写锁函数都是有Open Group定义的的。例如下面是在我机器上,编译器是gcc version 4.4.6,关于读写锁的定义是包含在预处理命令中的:9 m$ F" x3 C, h9 U$ \0 s

8 V  d8 I" A  G# L8 H+ D* Y7 a#if defined __USE_UNIX98 || defined __USE_XOPEN2K6 G! g0 I: o5 q
2 {8 e" w6 e3 a5 |2 b' h6 I+ I: e' i
... 读写锁相关函数声明...2 N: c# c4 m, E) H7 f7 n5 S# }

! P* {8 I8 c6 `8 B# m#endif
8 P" M; p# h0 c+ F- Z1读写锁的初始化和销毁% L5 l0 ?. \( N) g* d2 z; S* H
: R* ?8 r6 \/ x& `4 [' u
/* Initialize read-write lock  */
7 P6 N5 t1 M9 F$ W( ^2 t int pthread_rwlock_init (pthread_rwlock_t *__restrict __rwlock,
: {1 @  ^. b; D% V: Z                                __const pthread_rwlockattr_t *__restrict __attr);! e& P9 K& l) F# n! ]" R& d
9 A% [: H5 `) x/ ~* f* `
/* Destroy read-write lock */# m: C) G4 \+ f# y' {- y" p
extern int pthread_rwlock_destroy (pthread_rwlock_t *__rwlock);- v& A8 U: c% _
/ M1 u5 d; K& S8 |
                                               返回值:成功返回0,否则返回错误代码, ?- A7 A% H2 [/ d
上面两个函数分别由于读写锁的初始化和销毁。和互斥量,条件变量一样,如果读写锁是静态分配的,可以通过常量进行初始化,如下:3 W1 |+ R; _7 {; v, r
8 `4 ~' D, f" e6 b
2 J. Z6 c  N, D& `8 z% [/ C3 s" H  n2 l
pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;- Y8 o9 M, k3 D5 ~$ \" G% y
也可以通过pthread_rwlock_init()进行初始化。对于动态分配的读写锁由于不能直接赋值进行初始化,只能通过这种方式进行初始化。pthread_rwlock_init()第二个参数是读写锁的属性,如果采用默认属性,可以传入空指针NULL。3 q$ Q, f% i/ m; A; ~8 z. x
% A7 }8 _" {; L7 o, [' R
那么当不在需要使用时及释放(自动或者手动)读写锁占用的内存之前,需要调用pthread_rwlock_destroy()进行销毁读写锁占用的资源。
8 d; T& w1 e. q- ]. t' p. Y- ?
  B" u3 b2 _( x1 z2读写锁的属性设置1 W( c' Q8 r: h* R# s0 L9 l5 f- P

0 R* _* C  m! g1 @3 F5 F2 J( }/* 初始化读写锁属性对象 */% j! W! A6 v; n/ M& v+ g1 b  ^
int pthread_rwlockattr_init (pthread_rwlockattr_t *__attr);- y& m+ j' t- i- _3 V" p3 f

7 G- A% o7 [, r% Z% A6 j3 p/* 销毁读写锁属性对象 */
2 \0 X5 J) p  bint pthread_rwlockattr_destroy (pthread_rwlockattr_t *__attr);
7 _" n- _) s8 s; y# {   i. e7 T% J2 P! m/ i  E4 H% G/ B
/* 获取读写锁属性对象在进程间共享与否的标识*/# u( `% O& ~1 z7 b/ T! }$ i& U
int pthread_rwlockattr_getpshared (__const pthread_rwlockattr_t * __restrict __attr,
3 ]4 T) D8 M$ m7 F                                          int *__restrict __pshared);+ e" |9 |/ A2 T' H
" t0 {% Z* x3 f5 ]+ n" q
/* 设置读写锁属性对象,标识在进程间共享与否  */
6 o+ \2 \/ m9 R) C. E; ?int pthread_rwlockattr_setpshared (pthread_rwlockattr_t *__attr, int __pshared);7 u. D! Y1 @  j& {1 |) m

8 C5 o1 S2 d+ u* l+ r                                                    返回值:成功返回0,否则返回错误代码
$ j1 M0 z+ h3 m0 J; {: c* r这个属性设置和互斥量的基本一样,具体可以参考互斥量的设置互斥量的属性设置$ U5 c% m* W+ h% O% T5 U
3读写锁的使用
6 z  o0 k2 T$ D0 L: `; ?2 D# X; E1 a& Y) K/ }# ~+ r# i
/* 读模式下加锁  */# C  S7 x9 Z  u1 w
int pthread_rwlock_rdlock (pthread_rwlock_t *__rwlock);
- z/ ?& k3 y. w8 a 7 o, D5 G1 ^7 ]8 ~$ _  c( q1 u  H
/* 非阻塞的读模式下加锁  */3 d/ `5 {- Q" e. W
int pthread_rwlock_tryrdlock (pthread_rwlock_t *__rwlock);
4 ~& G1 R2 g& L; a4 x6 q. f
* V" |" E  i: V/ p# X$ M3 `# ifdef __USE_XOPEN2K
* ]0 t2 E& m0 C& v" P2 }! J8 w/ K$ j/*  限时等待的读模式加锁 */- ?+ Q# g4 H& W; p
int pthread_rwlock_timedrdlock (pthread_rwlock_t *__restrict __rwlock,+ c9 v0 h; H& ]0 L) t
                                       __const struct timespec *__restrict __abstime);$ x& Z* e$ M) K, y) u+ Z' N5 v
# endif1 o9 b4 p, w2 s: \1 x  h& a

% y! [* D% }9 a8 q- q# G1 l; _6 T/* 写模式下加锁  */
: L+ T; d7 e% f8 Qint pthread_rwlock_wrlock (pthread_rwlock_t *__rwlock);) O7 N8 {  t- K$ z1 Y0 l+ j
/ ]  `; w1 h. I3 S
/* 非阻塞的写模式下加锁 */7 o  x1 M$ t. @  A$ y% B9 e2 s3 {' K
int pthread_rwlock_trywrlock (pthread_rwlock_t *__rwlock);
8 O7 @/ F% C3 ~( V
% w3 Y& Z) \) z9 g( ^' |1 u# ifdef __USE_XOPEN2K: d+ Z; {8 H7 g+ b: N3 j9 W. ~
/* 限时等待的写模式加锁 */8 l+ [+ m* {8 {9 ]6 d( _& j0 l9 }9 ?
int pthread_rwlock_timedwrlock (pthread_rwlock_t *__restrict __rwlock,7 T2 r2 Z: f) U( V9 c
                                       __const struct timespec *__restrict __abstime);$ @4 O1 H' `+ n: C8 w
# endif( x, h  t6 C3 `2 Q& P! D

: ]2 H3 ]1 v( X4 V; w, ]/* 解锁 */
3 \# U1 i, E3 R2 oint pthread_rwlock_unlock (pthread_rwlock_t *__rwlock);
) `# g2 P- ?3 n1 g
4 Z& v. {& A! S- i3 ~! R. W1 z                                                   返回值:成功返回0,否则返回错误代码
' D5 w+ _0 v- s- ~8 g(1)pthread_rwlock_rdlock()系列函数
4 q' Z# f& w9 P/ O+ P% O* }, V& _: h: p+ ~3 v% @4 C
pthread_rwlock_rdlock()用于以读模式即共享模式获取读写锁,如果读写锁已经被某个线程以写模式占用,那么调用线程就被阻塞。在实现读写锁的时候可以对共享模式下锁的数量进行限制(目前不知如何限制)。
7 j% P1 P% m7 Y) ]1 W- Q$ F0 D' g  M9 H5 x/ H; u
pthread_rwlock_tryrdlock()和pthread_rwlock_rdlock()的唯一区别就是,在无法获取读写锁的时候,调用线程不会阻塞,会立即返回,并返回错误代码EBUSY。
; k! y3 j) g- }$ `7 B. m( t& M0 J$ u2 L. @9 X
pthread_rwlock_timedrdlock()是限时等待读模式加锁,时间参数struct timespec * __restrict __abstime也是绝对时间,和条件变量的pthread_cond_timedwait()使用基本一致,具体可以参考pthread_cond_timedwait() 3条件变量的使用
; ]5 u( b. y0 x; |+ G) i) Z. X$ c3 o( @+ G8 A
(2)pthread_rwlock_wrlock()系列函数
/ e. I: P4 G% ~/ z8 k2 D
  Y) D0 v) v  cpthread_rwlock_wrlock()用于写模式即独占模式获取读写锁,如果读写锁已经被其他线程占用,不论是以共享模式还是独占模式占用,调用线程都会进入阻塞状态。5 h7 q1 Z' |8 i' n" r9 h

& S" l4 _# D2 lpthread_rwlock_trywrlock()在无法获取读写锁的时候,调用线程不会进入睡眠,会立即返回,并返回错误代码EBUSY。3 N0 U' x/ {  v$ s- H" E/ ?

% Q/ k4 w# D  T% }' ypthread_rwlock_timedwrlock()是限时等待写模式加锁,也和条件变量的pthread_cond_timedwait()使用基本一致,具体可以参考pthread_cond_timedwait()3条件变量的使用。$ a7 e% {$ H! C  o
7 a8 n! R3 H6 v3 a5 b' f! u* f+ n
(3)pthread_rwlock_unlock()( {0 d( T8 o4 Z! D9 F( q: F3 \

* ?8 C1 \/ u2 A$ y4 ]7 t$ O* w2 U无论以共享模式还是独占模式获得的读写锁,都可以通过调用pthread_rwlock_unlock()函数进行释放该读写锁。
' b7 N( q$ h* h4 }) h+ C- y# t$ R1 q
下面是测试代码:
- @" r' W  y; O( U5 ]" ~4 I; S: L2 J( e: \; i6 [! x% E
#include <iostream>
( I) M: w+ H. j4 ]' w/ I7 M#include <cstdlib>: W) }" Z  N' X  e

9 }+ l0 _- L! s' ]#include <unistd.h>- z* E+ j: L+ n% w2 i
#include <pthread.h>
' j" F1 Z  ^; K& J5 }2 V
2 S( b, P5 ]& J+ Rusing namespace std;
/ R2 P& u: C& Y2 K) }( \, M" Z* p1 L
- H( o6 s2 K& Xstruct{* y2 j6 S! ^& `  L. X+ D3 H# T
    pthread_rwlock_t rwlock;) ]: m+ [  V( Y' b8 m% p
    int product;
+ F' e# m5 r$ w+ C8 D! J8 b}sharedData = {PTHREAD_RWLOCK_INITIALIZER, 0};; M  N9 X. C1 ^* ]
0 y4 L9 U" q0 Y4 L  Z2 B
void * produce(void *ptr)& p" @3 X& c& Z/ t" Q  d
{* V7 B0 e$ I% U& W+ C' ]
    for (int i = 0; i < 5; ++i)
$ t+ k8 q4 d1 S/ E8 g    {9 y1 O* {4 a: M' m6 Q/ m
        pthread_rwlock_wrlock(&sharedData.rwlock);
: ?7 Q, M2 q0 U3 ~7 }3 n% Y        sharedData.product = i;
0 D+ J6 o7 n+ n# g        pthread_rwlock_unlock(&sharedData.rwlock);: r5 G$ s  {( h. {

/ x. N! z$ U* U' U        sleep(1);" j5 f" D- g" q: w$ ]1 A# e. P& b+ o
    }! l3 H% u+ E4 P3 I# f
}7 H! ?. J$ c9 q& {3 z0 ]
) i2 X/ N1 V! o9 X! p2 s! p
void * consume1(void *ptr)$ s6 c0 I9 ?$ ^6 m
{
7 u5 I  A- v: s3 v( h    for (int i = 0; i < 5;)& M5 G% w* k8 x) H
    {2 u1 e" ~8 D( r6 O
        pthread_rwlock_rdlock(&sharedData.rwlock);7 V2 A% r1 Z  S* A$ h9 I
        cout<<"consume1:"<<sharedData.product<<endl;
- |; T+ {; s6 X+ K9 Y. `        pthread_rwlock_unlock(&sharedData.rwlock);
1 ?9 m2 Q- p3 j& _6 W0 `; Z
$ e' p3 ]. p/ y7 l% P+ G7 J        ++i;2 Y( v. p' ~" {
        sleep(1);! `9 R2 p6 q: t3 G0 ]/ R
    }4 o: }; K! H# R9 S1 y
}
- C; k6 m& o& f0 Q3 ^- H& U1 h
1 f4 B2 y8 S/ O4 y# F" Mvoid * consume2(void *ptr)% t- h  z: X$ U2 k5 e+ `
{
. }1 P/ k: y0 S) `* D' G    for (int i = 0; i < 5;)
: {) M% k! q& {% h4 L    {
& b+ N+ `% u# H' l2 N        pthread_rwlock_rdlock(&sharedData.rwlock);8 ^0 d9 {5 ?- _' U9 h# y
        cout<<"consume2:"<<sharedData.product<<endl;) [' }3 e$ o- I# ]3 ?* }
        pthread_rwlock_unlock(&sharedData.rwlock);+ x) S+ X' `8 b
+ @6 C  R/ ]6 c! g( j& m
        ++i;
( }1 k" T  k, ~$ @1 X" i8 J        sleep(1);; O  X/ v- P6 @2 p1 d
    }
7 R8 s! U; ~6 o" n. ~; n, g5 j}. _2 v8 ^0 i/ w& `, {, ~; B: ~
; U9 c% I/ u3 j6 {
int main()
$ N' {$ W$ v8 ^! \7 l# k$ R- T{# B" }, r  ?5 n' f
    pthread_t tid1, tid2, tid3;/ W4 l8 y! R. v0 X

% f5 C# n% D% m; L: t& {5 V; t" r    pthread_create(&tid1, NULL, produce, NULL);( F: P+ t% V1 P- x4 v
    pthread_create(&tid2, NULL, consume1, NULL);
7 I4 i- u) [! A3 X: h3 P    pthread_create(&tid3, NULL, consume2, NULL);- ^- ]; E2 V# N2 Z) i) ?2 G" E
7 V  R- W% Z/ q/ n
    void *retVal;# Q# m2 y- h% M$ I

) p' q/ u/ ~+ i1 j. v    pthread_join(tid1, &retVal);
' A6 J( f# o5 f, t    pthread_join(tid2, &retVal);% C1 s2 S! k$ k+ e4 c' Z& H
    pthread_join(tid3, &retVal);
8 ]5 b! F; z" n8 r/ a* _: s ( H$ o6 j+ P4 O' n8 q; W
    return 0;
: f% M7 l3 l( [. D  ^/ ^' N}* ?4 |- r/ m, M0 r5 t: L
测试结果如下:7 K' Y; S; y- I/ H( R, W% I5 V. C

& I% `! Y$ `5 Y6 c, d4 ^( r2 xconsume1:0
& x# ~8 R  `" Z1 P# H" pconsume2:0
- |* I6 C, G+ C2 ^consume2:0
& c6 r5 o6 c' w3 e& `consume1:1
) g5 @) [: u) k1 `2 wconsume2:1
# u& D! w) W+ n& |) _4 l$ ]consume1:2
! m6 E* o: K6 R8 R( U6 b1 Aconsume2:21 U4 l& R- N0 p5 ?; N$ L2 Q
consume1:3
5 k% C2 G% {! }( g* Econsume2:3
: r% x( P, b) [1 uconsume1:4
4 d7 M* f; _4 Y- O如果把consume1的解锁注释掉,如下:* K, p8 Z7 Y) |7 _0 p# k

% x* S: i3 ?4 Y- M+ C  I' W. pvoid * consume1(void *ptr)
# P3 H' o5 [3 _{
- l) L; k  Y# Q0 h( Q    for (int i = 0; i < 5;)
) X- I2 X9 [, c2 a" Z    {
) C5 u5 k! B2 Y* h' Q        pthread_rwlock_rdlock(&sharedData.rwlock);
, O2 A; R- Q$ x  O0 U6 A) t        cout<<"consume1:"<<sharedData.product<<endl;4 b4 O3 }5 [& x" u9 P
        //pthread_rwlock_unlock(&sharedData.rwlock);
! w' [  Z( t. F: K6 h5 O $ x+ ^/ O0 K: V( U. E) f0 w% m
        ++i;0 E8 G9 b& B5 b
        sleep(1);
, x* X# T1 N; \! \1 \- s. {    }* X' e% V3 Y+ j9 E8 W
}
# E5 t- N7 r- O( x$ n5 y程序的执行结果如下:
, G$ s7 {! i" r; ^; _
, l1 B1 p0 u/ {9 Cconsume1:0
+ h1 h( D; U+ rconsume2:0' Q7 Q( N% M4 V( |$ T2 [: c" P
consume2:0( D- d4 s3 P- w
consume1:0
2 N' g1 A7 A5 r2 c9 aconsume2:04 X9 k3 p) h3 K# u6 @
consume1:0
0 _) F$ }/ D/ S' l0 M1 B% yconsume2:0
# [/ }6 k  g8 F8 a0 S- ^9 f+ dconsume1:0
4 v  q2 t  w5 e9 c; F$ oconsume2:0
/ {2 ]( l; k; o0 n/ y, E# Iconsume1:0
8 u# o0 x4 o7 L# B' U" R从执行结果可以看出Linux 2.6.18提供的读写锁函数是优先考虑等待读模式占用锁的线程,这种实现的一个很大缺陷就是出现写入线程饿死的情况。
作者: regngfpcb    时间: 2020-12-21 18:59
linux的读写锁




欢迎光临 EDA365电子论坛网 (https://bbs.eda365.com/) Powered by Discuz! X3.2