Linux内核处理并发与竞争的一种方法：互斥体

一.  简介

本文学习Linux内核提供的一种处理并发与竞争的方法：互斥体，也就是互斥锁。

本文主要学习一下互斥体的理论知识与Linux内核提供的互斥体的 API函数。

二. Linux内核处理并发与竞争的一种方法：互斥体

1.  互斥体简介

在 FreeRTOS 和 UCOS 中也有互斥体，将信号量的值设置为 1 就可以使用信号量进行互斥访问了，虽然可以通过信号量实现互斥，但是 Linux 提供了一个比信号量更专业的机制来进行互斥，它就是互斥体—mutex。

什么是互斥访问？

互斥访问表示一次只有一个线程可以访问共享资源，不能递归申请互斥体。

在我们编写 Linux 驱动时，遇到需要互斥访问的地方建议使用 mutex。

2.  互斥体的结构体

Linux 内核使用 mutex 结构体表示互斥体，定义如下(省略条件编译部分)：

struct mutex {
 /* 1: unlocked, 0: locked, negative: locked, possible waiters */
 atomic_t count;
 spinlock_t wait_lock;
};

在使用 互斥体mutex 时的注意事项：

（1） mutex 可以导致休眠，因此，不能在中断中使用 mutex，中断中只能使用自旋锁。

（2）和信号量一样，mutex 保护的临界区可以调用引起阻塞的 API 函数。

（3）因为一次只有一个线程可以持有 mutex，因此，必须由 mutex 的持有者释放 mutex。并 且 mutex 不能递归上锁和解锁。

三.  互斥体 API函数

有关互斥体的 API 函数如下表所示：

函数	描述
DEFINE_MUTEX(name)	定义并初始化一个 mutex 变量。
void mutex_init(mutex *lock)	初始化 mutex。
void mutex_lock(struct mutex *lock)	获取 mutex ，也就是给 mutex 上锁。如果获取不到就进休眠。
void mutex_unlock(struct mutex *lock)	释放 mutex，也就给 mutex 解锁。
int mutex_trylock(struct mutex *lock)	尝试获取 mutex ，如果成功就返回 1 ，如果失败就返回 0 。
int mutex_is_locked(struct mutex *lock)	判断 mutex 是否被获取，如果是的话就返回 1 ，否则返回 0 。
int mutex_lock_interruptible(struct mutex *lock)	使用此函数获取互斥锁，获取失败进入休眠以后，可以被信号打断。

互斥体的使用如下所示：

struct mutex lock; /* 定义一个互斥体 */
mutex_init(&lock); /* 初始化互斥体 */

mutex_lock(&lock); /* 上锁 */
/* 临界区 */
mutex_unlock(&lock); /* 解锁 */

关于 Linux 中的并发和竞争就讲解到这里， Linux 内核还有很多其他的处理并发和竞争机制，这里我们主要讲解了常用的原子操作、自旋锁、信号量和互斥体。