Linux内核同步方法之互斥体

本文详细介绍了Linux内核中的互斥体(Mutex),包括其定义、使用方法、接口函数以及特性。互斥体是保护临界区的机制,允许一个进程进入,适合长时间持有和需要睡眠的场景。文章通过实例展示了如何初始化、加锁、解锁以及避免死锁,对比了互斥体与自旋锁的区别。
摘要由CSDN通过智能技术生成


前言

软硬件环境:
硬件: PC
软件: ubuntu18.04
本文主要介绍内核中用于保护临界区的一种机制——互斥体(又叫互斥锁),它只允许一个进程进入临界区,适合保护比较长的临界区,因为竞争互斥锁时进程可能睡眠和再次唤醒,代价很高。

一、什么是互斥体

互斥体(Mutex)是在内核原子操作API的基础上实现的信号量行为,其行为和使用计数为1的信号量类似,但操作接口更简单,实现也更高效,并且是一种特定的睡眠锁。
使用方法同自旋锁等一样,在访问共享资源之前对进行加锁操作,在访问完成之后进行解锁操作;加锁后,任何其他试图再次加锁的线程会被阻塞,直到当前进程解锁;如果解锁时有一个以上的线程因等待获取该锁而阻塞,那么所有该锁上的线程都会被切换为就绪状态(唤醒操作),并且第一个变为就绪状态的线程又执行加锁操作,那么其他的线程又会进入等待状态(睡眠)。

二、如何使用互斥体

1. 互斥体的相关接口函数

  1. DEFINE_MUTEX(mutexname)
    初始化静态互斥锁的方法

  2. mutex_init(struct mutex *lock)
    动态初始化互斥锁的方法

  3. void mutex_lock(struct mutex *lock)
    申请互斥锁,如果无法获得锁时,睡眠等待,不会被信号中断。

  4. int mutex_lock_interruptible(struct mutex *lock)
    和mutex_lock()一样,也是获取互斥锁。在获得了互斥锁或进入睡眠直到获得互斥锁之后会返回0。如果在等待获取锁的时候进入睡眠状态收到一个信号(被信号打断睡眠),则返回_EINIR。

  5. int mutex_trylock(struct mutex *lock)
    此函数是 mutex_lock()的非阻塞版本,成功返回1,失败返回0。

  6. int mutex_is_locked(struct mutex *lock)
    此函数用来判断锁是否已经被争用,如果锁已被争用,则返回1,否则返回0。

  7. void mutex_unlock(struct mutex *lock)
    解锁,之后会唤醒其他等待该锁的其他线程

2. 互斥体的调用流程

互斥体的调用流程,基本就是如下4步:

  1. 初始化mutex (动态或静态均可) mutex_init()
  2. 加锁 mutex_lock()
  3. 临界区代码
  4. 解锁 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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值