0

0

什么是并发编程中的自旋锁与互斥锁的权衡_从锁持有时间看系统开销

P粉602998670

P粉602998670

发布时间:2026-03-14 15:57:31

|

525人浏览过

|

来源于php中文网

原创

自旋锁适合锁持有时间极短的场景;因其忙等待特性,仅适用于临界区执行迅速、无睡眠可能且CPU资源充足的多核环境。

什么是并发编程中的自旋锁与互斥锁的权衡_从锁持有时间看系统开销

自旋锁适合什么场景?spin_lock 不是“更快”的代名词

自旋锁只在锁持有时间极短(通常 while (!try_acquire()) { cpu_relax(); },CPU 一直跑空循环,不交出调度权。

常见错误现象:在可能触发页缺失、系统调用或内存分配的临界区里用 spin_lock —— 这会导致 CPU 白白烧着,还拖慢其他核上的任务。

  • 适用场景:中断上下文、内核中已禁用抢占的原子路径、纯 CPU 计算型临界区(如更新一个计数器)
  • 不适用场景:任何可能调用 kmalloc(GFP_KERNEL)、访问用户内存、等待 I/O 或调用 schedule() 的地方
  • 参数差异:spin_lock(&lock) 会禁用本地中断(防止中断 handler 抢占并死锁),而 spin_lock_bh() 只禁用 softirq/bh,选错会引发隐性竞态

互斥锁为什么默认更安全?mutex_lock 的代价藏在哪

mutex_lock 是睡眠锁,拿不到就主动让出 CPU,调度器换别的线程跑。这避免了 CPU 浪费,但引入了上下文切换开销和调度延迟。

容易踩的坑:在中断上下文或禁止睡眠的区域(比如 atomic 上下文、RCU read-side)调用 mutex_lock,会直接触发 BUG: scheduling while atomic 错误。

  • 适用场景:进程上下文、临界区可能较长(微秒到毫秒级)、需要做内存分配或文件 I/O 的逻辑
  • 性能影响:单次 mutex_lock 在无竞争时约 20–50 纳秒;有竞争时,一次唤醒+调度可能耗时几十微秒甚至更多
  • 注意 mutex_trylock():它不睡眠,但失败后你得自己处理重试或降级逻辑,别当成 spin_trylock() 的平替

别硬选 —— Linux 内核里怎么动态切换?rwsemrcu_read_lock 是替代选项

当读多写少,或者临界区语义允许延迟可见,硬套 spin_lockmutex_lock 都是过杀。这时候得看数据访问模式,而不是只盯“锁快不快”。

PixVerse
PixVerse

PixVerse是一款强大的AI视频生成工具,可以轻松地将多种输入转化为令人惊叹的视频。

下载

典型误判:为保护一个被频繁读取的配置结构体,用 spin_lock —— 实际上 struct rw_semaphore 的读端几乎无开销,写端才阻塞,整体吞吐反而更高。

  • rwsem:读并发安全,写独占;比 mutex 多一点元数据,但读路径不进内核调度器
  • rcu_read_lock():零锁开销,但要求写端用 call_rcu() 延迟释放旧数据,适用于指针替换类操作(如路由表、模块列表)
  • 混合策略:小粒度用 spin_lock,大块逻辑外包给 mutex,中间状态用 atomic_tlockless ringbuffer

实测前先问自己三个问题

很多开销争议其实源于没看清真实瓶颈。不是锁类型决定性能,而是锁保护的那段代码本身是否合理。

  • 这段临界区平均执行多久?用 kprobe + perf record -e sched:sched_stat_sleep,sched:sched_stat_runtime 看实际阻塞/运行时间分布
  • 锁竞争频率高吗?/proc/lock_stat(需开启 CONFIG_LOCK_STAT)能暴露 spin_lock 的等待次数和总纳秒数
  • 有没有办法把锁粒度变细、挪出慢路径、或用 per-CPU 变量避开争抢?例如把全局计数器换成 struct this_cpu_counter

真正难的从来不是选 spin_lock 还是 mutex_lock,而是确认你锁住的那几行代码,是不是真的需要被锁住。

编程速学教程(入门课程)
编程速学教程(入门课程)

编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

107

2023.09.25

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

490

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

202

2025.07.04

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

766

2023.08.10

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

1564

2023.06.21

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

716

2023.06.29

linux find
linux find

find是linux命令,它将档案系统内符合 expression 的档案列出来。可以指要档案的名称、类别、时间、大小、权限等不同资讯的组合,只有完全相符的才会被列出来。find根据下列规则判断 path 和 expression,在命令列上第一个 - ( ) , ! 之前的部分为 path,之后的是 expression。还有指DOS 命令 find,Excel 函数 find等。本站专题提供linux find相关教程文章,还有相关

300

2023.06.30

linux修改文件名
linux修改文件名

本专题为大家提供linux修改文件名相关的文章,这些文章可以帮助用户快速轻松地完成文件名的修改工作,大家可以免费体验。

801

2023.07.05

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号