当前位置: 首页 > news >正文

内核中的互斥量

在前面呢,我们已经讲过了自旋锁以及信号量了,那么今天呢,我们来看看互斥量:

互斥量mutex的实现:

mutex的内核结构体:

初始化mutex之后,就可以使用mutex_lock函数或其他衍生版本来获取信号量,使用mutex_unlock函数释放信号量。我们只分析mutex_lock、mutex_unlock函数的实现。

这里要堪误一下:前面我们说mutex中的owner是用来记录获得mutex的进程,以后必须由它来释放mutex。这是错的!

从上面的代码可知,owner并不一定存在!

owner有2个用途:debug(CONFIG_DEBUG_MUTEXES)或spin_on_owner(CONFIG_MUTEX_SPIN_ON_OWNER)。

什么叫spin on owner?

我们使用mutex的目的一般是用来保护一小段代码,这段代码运行的时间很快。这意味着一个获得mutex的进程,可能很快就会释放掉mutex。

针对这点可以进行优化,特别是当前获得mutex的进程是在别的CPU上运行、并且“”是唯一等待这个mutex的进程。在这种情况下,那“”就原地spin等待吧:懒得去休眠了,休眠又唤醒就太慢了。

所以,mutex是做了特殊的优化,比semaphore效率更高。但是在代码上,并没有要求“谁获得mutex,就必须由谁释放mutex”,只是在使用惯例上是“谁获得mutex,就必须由谁释放mutex”。

下面的话,我们来看看内核给mutex提供的函数:

mutex_lock函数的实现:

fastpath:

mutex的设计非常精巧,比semaphore复杂,但是更高效。

首先要知道mutex的操作函数中有fastpath、slowpath两条路径(快速、慢速):如果fastpath成功,就不必使用slowpath。

怎么理解?

这需要把metex中的count值再扩展一下,之前说它只有1、0两个取值,1表示unlocked,0表示locked,还有一类值“负数”表示“locked,并且可能有其他程序在等待”。

代码如下:

先看看fastpath的函数:__mutex_fastpath_lock,这个函数在下面2个文件中都有定义:

所以,对于ARMv6以下的架构,使用include/asm-generic/mutex-xchg.h中的__mutex_fastpath_lock函数;对于ARMv6及以上的架构,使用include/asm-generic/mutex-dec.h中的__mutex_fastpath_lock函数。这2个文件中的__mutex_fastpath_lock函数是类似的,mutex-dec.h中的代码如下:

大部分情况下,mutex当前值都是1,所以通过fastpath函数可以非常快速地获得mutex。

slowpath:

如果mutex当前值是0或负数,则需要调用__mutex_lock_slowpath慢慢处理:可能会休眠等待。

① 分析第一段代码:

② 分析第二段代码:

③ 分析第三段代码:

这个wait_list是FIFO(Firt In Firs Out),谁先排队,谁就可以先得到mutex。

④ 分析第四段代码:for循环,这是重点

⑤ 分析第五段代码:收尾工作

mutex_unlock函数的实现:

mutex_unlock函数中也有fastpath、slowpath两条路径(快速、慢速):如果fastpath成功,就不必使用slowpath。

代码如下:

fastpath:

所以,对于ARMv6以下的架构,使用include/asm-generic/mutex-xchg.h中的__mutex_fastpath_lock函数;对于ARMv6及以上的架构,使用include/asm-generic/mutex-dec.h中的__mutex_fastpath_lock函数。这2个文件中的__mutex_fastpath_lock函数是类似的,mutex-dec.h中的代码如下:

大部分情况下,加1后mutex的值都是1,表示无人等待mutex,所以通过fastpath函数直接增加mutex的count值为1就可以了。

如果mutex的值加1后还是小于等于0,就表示有人在等待mutex,需要去wait_list把它取出唤醒,这需要用到slowpath的函数:__mutex_unlock_slowpath。

slowpath:

如果mutex当前值是0或负数,则需要调用__mutex_unlock_slowpath慢慢处理:需要唤醒其他进程。

__mutex_unlock_common_slowpath函数代码如下,主要工作就是从wait_list中取出并唤醒第1个进程:

那么到这里,我们互斥量就讲完啦,完结,撒花(doge.)

相关文章:

  • 产品经理六题汇总
  • 图解AUTOSAR_CP_LargeDataCOM
  • PPT 转高精度图片 API 接口
  • 低代码平台中的原子组件
  • 再读强化学习24March
  • 深入解析Linux网络、安全与容器技术
  • 动态规划(01背包恰好装满型详解):和为目标值的最长子序列长度
  • An Easy Problem(信息学奥赛一本通-1223)
  • 第2.2节:运行AWK脚本方式
  • overleaf中会议参考文献使用什么标签:inproceedings
  • 脚对齐调研学习笔记
  • 【多线程】synchronized底层实现的方式
  • GPU 模型部署实战以 Llama3 70B、Qwen 与 DeepSeek 为例
  • 算法方法快速回顾
  • mysql入门操作
  • 交易在规则框架下运作,反而能强化自身纪律
  • JavaScript 在 Chrome 中运行详解
  • Buildroot 增加系统启动项并解决后台无法获取输入(串口)
  • PV操作指南
  • 【漏洞复现】Next.js中间件权限绕过漏洞 CVE-2025-29927
  • “犍陀罗艺术与亚洲文明”在浙大对外展出
  • 著名蒙古族音乐学者马•斯尔古愣逝世,享年86岁
  • 体验中国传统文化、采购非遗文创,波兰游客走进上海市群艺馆
  • 2025年4月份CPI环比由降转涨,核心CPI涨幅稳定
  • 李在明正式登记参选下届韩国总统
  • 外交部:习近平主席同普京总统达成许多新的重要共识