目录
第2关:读写锁
任务描述
当有一个数据即可以被读取,又可以被修改时,为了保证数据的一致性,最简单的方法是通过互斥锁对数据进行加锁操作。但是互斥锁的缺点是一旦数据被加锁后,只能有一个读线程或写线程来执行,而我们实际想要的效果是,同一时刻只能有一个线程对数据进行修改,而同一时刻可以有多个线程对其进行读取操作。那么互斥锁就无法满足我们的需求。Linux 系统中存在另一个锁可以实现以上需求,那就是读写锁。
本关任务:学会使用读写锁
来实现线程间的同步。
相关知识
读写锁与互斥量类似,不过读写锁允许更改的并行性。互斥量要么是锁住状态,要么就是不加锁状态,而且一次只有一个线程可以对其加锁。因此,读写锁允许更高的并行性。
读写锁对共享资源的访问者划分成读者和写者,读者只对共享资源进行读访问,写者则需要对共享资源进行写操作。读写锁允许同时有多个读者来访问共享资源,而只允许同时有一个写则来访问共享资源,并且读写锁同时只能有一个写者或多个读者来访问共享资源。因此,读写锁具有的 写独占 和 读共享 的特性。
读写锁的规则如下所示:
- 如果某线程申请了读锁,其它线程可以再申请读锁,但不能申请写锁;
- 如果某线程申请了写锁,其它线程不能申请读锁,也不能申请写锁;
Linux 系统中提供了如下几个函数来操作读写锁:
函数 | 功能 |
---|---|
pthread_rwlock_init | 初始化一个读写锁 |
pthread_rwlock_destroy | 注销一个读写锁 |
pthread_rwlock_rdlock | 以阻塞的方式申请读锁 |
pthread_rwlock_tryrdlock | 以非阻塞的方式申请读锁 |
pthread_rwlock_wrlock | 以阻塞的方式申请写锁 |
pthread_rwlock_trywrlock | 以非阻塞的方式申请写锁 |
pthread_rwlock_unlock | 解锁操作 |
以上函数我们可以使用man
命令来查询该函数的使用方法。具体的查询命令为:man 3 函数名
。
初始化读写锁
使用读写锁前必须先进行初始化操作。在 Linux 中初始化读写锁有两种方式,分别是:(1)静态赋值法;(2)使用初始化函数。
-
静态赋值法 静态赋值法是直接将宏结构常量直接赋值给互斥锁,例如使用静态赋值法来初始化一个读写锁变量:
pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;
-
函数赋值法 Linux 系统提供一个
pthread_rwlock_init
库函数来对读写锁进行初始化。pthread_rwlock_init
函数的具体的说明如下:
-
需要的头文件如下:
#include <pthread.h>
-
函数格式如下:
int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr);
参数说明:1. rwlock:读写锁变量; 2. attr:读写锁属性,通常设置为NULL;
-
函数返回值说明: 调用成功,返回值为
0
,否则返回值为非零的错误代码。
加锁操作
读写锁的加锁操作分为两个,分别是:读加锁和写加锁。对于读加锁 Linux 提供了两个库函数,分别是:pthread_rwlock_rdlock
和pthread_rwlock_tryrdlock
。对于写加锁 Linux 提供了两个库函数,分别是:pthread_rwlock_wrlock
和pthread_rwlock_trywrlock
。这些函数的具体的说明如下:
-
需要的头文件如下:
#include <pthread.h>
-
函数格式如下:
1. int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock); 2. int pthread_rwlock_tryrdlock(pthread_rwlock_t *rwlock); 3. int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock); 4. int pthread_rwlock_trywrlock(pthread_rwlock_t *rwlock);
参数说明:
rwlock:要被执行加锁操作的读写锁变量
-
函数返回值说明: 调用成功,返回值为
0
,否则返回一个非零的错误码。 -
pthread_rwlock_rdlock
和pthread_rwlock_tryrdlock
区别: 用pthread_rwlock_rdlock
加锁时,如果rwlock
已经被写线程所锁住,当前尝试加读锁的线程就会被阻塞,直到写线程将rwlock
释放。而pthread_rwlock_tryrdlock
函数则不同,如果rwlock
已经被写线程所锁住,它将立即返回,返回的错误码为EBUSY
,而不是阻塞等待。 -
pthread_rwlock_wrlock
和pthread_rwlock_trywrlock
区别: 用pthread_rwlock_wrlock
加锁时,如果rwlock
已经被读线程所锁住,当前尝试加写锁的线程就会被阻塞,直到读线程将rwlock
释放。而pthread_rwlock_trywrlock
函数则不同,如果rwlock
已经被读线程所锁住,它将立即返回,返回的错误码为EBUSY
,而不是阻塞等待。
解锁操作
有加锁操作就相对应的有解锁操作。Linux 提供了一个pthread_rwlock_unlock
函数来解锁操作,包括了解读锁和解写锁,这个函数的具体的说明如下:
-
需要的头文件如下:
#include <pthread.h>
-
函数格式如下:
int pthread_rwlock_unlock(pthread_rwlock_t *rwlock);
参数说明:rwlock:要被执行解锁操作的读写锁变量
-
函数返回值说明: 调用成功,返回值为
0
,否则返回一个非零的错误码。
注销锁操作
当一个读写锁使用完毕后,必须进行清除。Linux 提供了一个pthread_rwlock_destroy
函数来注销一个读写锁,这个函数的具体的说明如下:
-
需要的头文件如下:
#include <pthread.h>
-
函数格式如下:
int pthread_rwlock_destroy(pthread_rwlock_t *rwlock);
参数说明:rwlock:要被执行注销操作的读写变量
-
函数返回值说明: 调用成功,返回值为
0
,否则返回一个非零的错误码。
注意:如果使用静态初始化来初始化一个读写锁,则无需使用pthread_rwlock_destroy
对其注销。
编程要求
本关的编程任务是补全右侧代码片段中Begin
至End
中间的代码,具体要求如下:
- 补全
ReadHandler
和WriteHandler
函数中代码,使用读写锁
对position
和buffer
变量加锁; - 使同一时刻只能有一个线程执行
WriteHandler
函数,并且没有线程执行ReadHandler
函数; - 当没有线程执行
WriteHandler
函数时,允许有多个线程同时执行ReadHandler
函数。 - 测试用例:存在
3
个线程来执行WriteHandler
函数,存在2
个线程来执行ReadHandler
函数; - 提示:执行
WriteHandler
函数的线程优先级高于执行ReadHandler
函数的线程,并且buffer
变量的默认为a
;
#include <stdio.h>
#include <pthread.h>
//全局读写锁
extern pthread_rwlock_t rwlock;
//全局共享变量
extern char buffer[3];
extern int position;
/************************
* 参数arg: 是线程函数的参数
*************************/
void *ReadHandler(void *arg)
{
int i;
for(i = 0; i < 3; i++)
{
/********** BEGIN **********/
pthread_rwlock_rdlock(&rwlock);
/********** END **********/
printf("%c\n", buffer[i]);
/********** BEGIN **********/
pthread_rwlock_unlock(&rwlock);
/********** END **********/
usleep(800);
}
pthread_exit(NULL);
}
/************************
* 参数arg: 是线程函数的参数
*************************/
void *WriteHandler(void *arg)
{
/********** BEGIN **********/
pthread_rwlock_wrlock(&rwlock);
/********** END **********/
buffer[position] = *(char*)arg;
sleep(1);
position++;
/********** BEGIN **********/
pthread_rwlock_unlock(&rwlock);
/********** END **********/
pthread_exit(NULL);
}