文章目录
前言
软硬件环境:
硬件: PC
软件: ubuntu18.04
本文主要介绍内核中用于保护临界区的一种机制——互斥体(又叫互斥锁),它只允许一个进程进入临界区,适合保护比较长的临界区,因为竞争互斥锁时进程可能睡眠和再次唤醒,代价很高。
一、什么是互斥体
互斥体(Mutex)是在内核原子操作API的基础上实现的信号量行为,其行为和使用计数为1的信号量类似,但操作接口更简单,实现也更高效,并且是一种特定的睡眠锁。
使用方法同自旋锁等一样,在访问共享资源之前对进行加锁操作,在访问完成之后进行解锁操作;加锁后,任何其他试图再次加锁的线程会被阻塞,直到当前进程解锁;如果解锁时有一个以上的线程因等待获取该锁而阻塞,那么所有该锁上的线程都会被切换为就绪状态(唤醒操作),并且第一个变为就绪状态的线程又执行加锁操作,那么其他的线程又会进入等待状态(睡眠)。
二、如何使用互斥体
1. 互斥体的相关接口函数
-
DEFINE_MUTEX(mutexname)
初始化静态互斥锁的方法 -
mutex_init(struct mutex *lock)
动态初始化互斥锁的方法 -
void mutex_lock(struct mutex *lock)
申请互斥锁,如果无法获得锁时,睡眠等待,不会被信号中断。 -
int mutex_lock_interruptible(struct mutex *lock)
和mutex_lock()一样,也是获取互斥锁。在获得了互斥锁或进入睡眠直到获得互斥锁之后会返回0。如果在等待获取锁的时候进入睡眠状态收到一个信号(被信号打断睡眠),则返回_EINIR。 -
int mutex_trylock(struct mutex *lock)
此函数是 mutex_lock()的非阻塞版本,成功返回1,失败返回0。 -
int mutex_is_locked(struct mutex *lock)
此函数用来判断锁是否已经被争用,如果锁已被争用,则返回1,否则返回0。 -
void mutex_unlock(struct mutex *lock)
解锁,之后会唤醒其他等待该锁的其他线程
2. 互斥体的调用流程
互斥体的调用流程,基本就是如下4步:
- 初始化mutex (动态或静态均可) mutex_init()
- 加锁 mutex_lock()
- 临界区代码
- 解锁 mutex_unlock()
3. 互斥体的使用实例
如下图所示,是一个最简的互斥体使用实例(mutex_demo.c)
#include <linux/init.h>
#include <linux/module.h>
#include <linux/slab.h>
#include <linux/mutex.h> //mutex 头文件
struct mutex_test {
int num