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

Linux内核中的锁

不同的锁,作用对象是不一样的,也就是作用域不一样
下面分别是作用于临界区CPU内存cache 的各种锁的归纳:
补充:cache是一种缓存,包含硬件缓存(CPU缓存)以及软件缓存(网页缓存,数据缓存)
补充:临界区用于描述一段只能被单个线程或进程在同一时间访问的代码区域。通常,这些代码区域涉及对共享资源的访问
临界区 -> semaphore信号量、Mutex互斥锁、rw-lock读写锁、preempt抢占
CPU -> atomic原子变量、spinlock自旋锁
内存 -> RCU 、Memory Barrier
cache -> Per-CPU

一、atomic原子变量/spinlock自旋锁 — —CPU

既然是锁CPU那就都是针对多核处理器或多CPU处理器。单核的话,只有发生中断会使任务被抢占,那么可以进入临界区之前先关中断,但是对多核CPU光关中断就不够了,因为对当前CPU关了中断只能使得当前CPU不会运行其它要进入临界区的程序,但其它CPU还是可能执行进入临界区的程序。

(1) atomic原子变量:
所谓原子操作, 就是该操作绝不会在执行完毕前被任何其他任务或事件打断
, 也就说, 它是最小的执行单位, 不可能有比它更小的执行单位, 因此这里的原子实际是使用了物理学里的物质微粒的概念。原子操作需要硬件的支持, 因此是架构相关的, 其 API 和原子类型的定义都定义在内核源码树的 include/asm/atomic.h 文件中, 它们都使用汇编语言实现, 因为 C 语言并不能实现这样的操作。原子操作主要用于实现资源计数, 很多引用计数 (refcnt) 就是通过原子操作实现的。
(2) spinlock自旋锁:

当一个线程在获取锁的时候,如果锁已经被其它线程获取,那么该线程将循环等待然后不断的判断锁是否能够被成功获取

#include <linux/spinlock.h>
// 定义自旋锁
spinlock_t my_lock;
void my_function(void)
{spin_lock(&my_lock);// 访问共享资源的操作spin_unlock(&my_lock);
}

ps:针对上述进行一些重要问题的阐述,如下所示

互斥锁中,要是当前线程没拿到锁,就会出让CPU;而自旋锁中,要是当前线程没有拿到锁,当前线程在CPU上忙等待直到锁可用,这是为了保证响应速度更快。但是这种线程多了,那意味着多个CPU核都在忙等待,使得系统性能下降。

因此一定不能自旋太久,所以用户态编程里用自旋锁保护临界区的话,这个临界区一定要尽可能小,锁的粒度得尽可能小。

为什么自旋锁的响应速度会比互斥锁更快?

我觉得主要还是作用域的问题 spinlock 主要针对CPU 互斥锁针对作用域 前者直接CPU操作 后者需要内核协助 在小林coding中说到,自旋锁是通过 CPU 提供的 CAS 函数(Compare And Swap),在「用户态」完成加锁和解锁操作,不会主动产生线程上下文切换,所以相比互斥锁来说,会快一些,开销也小一些。 而互斥锁则不是,前面说互斥锁加锁失败,线程会出让CPU,这个过程其实是由内核来完成线程切换的,因此加锁失败时,1)首先从用户态切换至内核态,内核会把线程的状态从「运行」状态设置为「睡眠」状态,然后把 CPU 切换给其他线程运行;2)当互斥锁可用时,之前「睡眠」状态的线程会变为「就绪」状态(要进入就绪队列了),之后内核会在合适的时间,把 CPU 切换给该线程运行。 然后返回用户态。这个过程中,不仅有用户态到内核态的切换开销,还有两次线程上下文切换的开销。 线程的上下文切换主要是线程栈、寄存器、线程局部变量等。 而自旋锁在当前线程获取锁失败时不会进行线程的切换,而是一直循环等待直到获取锁成功。因此,自旋锁不会切换至内核态,也没有线程切换开销。 所以如果这个锁被占有的时间很短,或者说各个线程对临界区是快进快出,那么用自旋锁是开销最小的! 自旋锁的缺点前面也说了,就是如果自旋久了或者自旋的线程数量多了,CPU的利用率就下降了,因为上面执行的每个线程都在忙等待— —占用了CPU但什么事都没做。

二、信号量/互斥锁 读写锁/抢占 — —临界区

(1) semaphore信号量

其实跟FreeRTOS的信号量很像很像!!但是RTOS得信号量是队列的变种,而linux下的信号量是利用spinlock的保护

信号量(信号灯)本质是一个计数器,是描述临界区中可用资源数目的计数器。

信号量进行多线程通信编程的时候,往往初始化信号量为0,然后用两个函数做线程间同步: sem_wait():等待信号量,如果信号量的值大于0,将信号量的值减1,立即返回。 如果信号量的值为0,则线程阻塞。 sem_post():释放资源,信号量+1 ,相当于unlock,这样执行了sem_wait()的线程就不阻塞了。

要注意:信号量本身也是个共享资源,它的++操作(释放资源)和--操作(获取资源)也需要保护。其实就是用的自旋锁保护的。如果有中断的话,会把中断保存到eflags寄存器,待操作完成,就去该寄存器上读取,然后执行中断。

(2) Mutex互斥锁

互斥锁中,要是当前线程没拿到锁,就会出让CPU;而自旋锁中,要是当前线程没有拿到锁,当前线程在CPU上忙等待直到锁可用

信号量的话表示可用资源的数量,是允许多个进程/线程在临界区的。但是互斥锁不是,它的目的就是只让一个线程进入临界区,其余线程没拿到锁,就只能阻塞等待。线程互斥的进入临界区,这就是互斥锁名字由来。

另外提一下std::timed_mutex睡眠锁,它和互斥锁的区别是: 互斥锁中,没拿到锁的线程就一直阻塞等待,而睡眠锁则是设置一定的睡眠时间比如2s,线程睡眠2s,如果过了之后还没拿到锁,那就放弃拿锁(可以输出获取锁失败),如果拿到了,那就继续做事。比如 用成员函数try_lock_for()

std::timed_mutex g_mutex;
//先睡2s再去抢锁
if(g_mutex.try_lock_for(std::chrono::seconds(2)))){// do something
}
else{// 没抢到std::cout<<"获取锁失败";
}

(3) rw-lock读写锁

用于读操作比写操作更频繁的场景,让读和写分开加锁,这样可以减小锁的粒度,提高程序的性能。 它允许多个线程同时读取共享资源,但只允许一个线程写入共享资源。这可以提高并发性能,因为读操作通常比写操作频繁得多。读写锁这种就属于高阶锁了,它的实现就可以用自旋锁。

(4) preempt抢占

抢占必须涉及进程上下文的切换,而中断则是涉及中断上下文的切换。 内核从2.6开始就支持内核抢占,之前的内核不支持抢占,只要进程在占用CPU且时间片没用完,除非有中断,否则它就能一直占用CPU; 抢占的情况: 比如某个优先级高的任务(进程),因为需要等待资源,就主动让出CPU(又或者因为中断被打断了),然后低优先级的任务先占用CPU,当资源到了,内核就让该优先级高的任务抢占那个正在CPU上跑的任务。也就是说,当前的优先级低的进程跑着跑着,时间片没用完,也没发生中断,但是自己被踢掉了。 为了支持内核抢占,内核引入了preempt_count字段,该计数初始值为0,每当使用锁时+1,释放锁时-1。当preempt_count为0时,表示内核可以安全的抢占,大于0时,则禁止内核抢占

Per-CPU— —作用于cache per-cpu变量用于解决各个CPU里L2 cache和内存间的数据不一致性。

相关文章:

  • 判断QT程序是否重复运行
  • Qt自定义日志输出
  • 【MySQL】索引(上)
  • 如何连接达梦数据库?
  • java框架技术xml文件存档
  • CSS语言笔记
  • 目标检测数据集 - 零售食品LOGO检测数据集下载「包含VOC、COCO、YOLO三种格式」
  • 华为Atlas 300I 推理卡显卡安装
  • 面试专区|【41道Django高频题整理(附答案背诵版)】
  • springboot集成shardingsphere-分库分表
  • nlp学习笔记
  • MyBatis 参数传递详解
  • Java中的JVM是什么?如何调优JVM的性能?
  • Android采用Scroller实现底部二楼效果
  • ndk-build
  • [nginx文档翻译系列] 控制nginx
  • [rust! #004] [译] Rust 的内置 Traits, 使用场景, 方式, 和原因
  • 4. 路由到控制器 - Laravel从零开始教程
  • C++类的相互关联
  • dva中组件的懒加载
  • egg(89)--egg之redis的发布和订阅
  • Java 多线程编程之:notify 和 wait 用法
  • JavaScript对象详解
  • java小心机(3)| 浅析finalize()
  • JS题目及答案整理
  • MQ框架的比较
  • Mysql5.6主从复制
  • nfs客户端进程变D,延伸linux的lock
  • PHP那些事儿
  • tweak 支持第三方库
  • WebSocket使用
  • 动态魔术使用DBMS_SQL
  • 如何优雅的使用vue+Dcloud(Hbuild)开发混合app
  • 正则与JS中的正则
  • Nginx惊现漏洞 百万网站面临“拖库”风险
  • 如何在 Intellij IDEA 更高效地将应用部署到容器服务 Kubernetes ...
  • #pragam once 和 #ifndef 预编译头
  • (1) caustics\
  • (14)Hive调优——合并小文件
  • (zt)基于Facebook和Flash平台的应用架构解析
  • (博弈 sg入门)kiki's game -- hdu -- 2147
  • (附源码)小程序儿童艺术培训机构教育管理小程序 毕业设计 201740
  • (含笔试题)深度解析数据在内存中的存储
  • (精确度,召回率,真阳性,假阳性)ACC、敏感性、特异性等 ROC指标
  • (推荐)叮当——中文语音对话机器人
  • (详细版)Vary: Scaling up the Vision Vocabulary for Large Vision-Language Models
  • . NET自动找可写目录
  • .NET 直连SAP HANA数据库
  • .NET/C# 推荐一个我设计的缓存类型(适合缓存反射等耗性能的操作,附用法)
  • .net6Api后台+uniapp导出Excel
  • .NET性能优化(文摘)
  • @Conditional注解详解
  • [ Algorithm ] N次方算法 N Square 动态规划解决
  • []Telit UC864E 拨号上网
  • [3D基础]理解计算机3D图形学中的坐标系变换