spinlock自旋锁de使用
Linux内核中最常见的锁是自旋锁。一个自旋锁就是一个互斥设备,它只能有两个值:"锁定"和"解锁"。如果锁可用,则"锁定"位被设置,而代码继续进入临界区;相反,如果锁被其他进程争用,则代码进入忙循环并重复检查这个锁,直到锁可用为止。这个循环就是自旋锁的"自旋"。自旋锁最多只能被一个可执行的线程持有。如果一个执行线程试图获得一个被争用的自旋锁,那么该线程就会一直进行忙循环-旋转-等待锁重新可用。注意,同一个锁可以用在多个位置。缺点:一个被争用的自旋锁使得请求它的线程在等待锁重新可用时自旋(特别浪费处理器时间)。所以,自旋锁不应该被长时间持有。当然,可以采用另外的方式处理对锁的争用:让请求线程睡眠,直到锁重新可用时在唤醒它。但是,这里有两次明显的上下文切换,被阻塞的线程要换入或换出。因此,持有自旋锁的时间最好小于完成两次上下文切换的耗时。
注意:
1) 如果禁止内核被抢占,那么在编译时自旋锁会被完成剔除出内核。
2) Linux内核实现的自旋锁是不可递归的。小心自加锁。
3) 调试自旋锁, 加上配置选项CONFIG_DEBUG_SPINLOCK。
4)自旋锁可以使用在中断处理程序中(此处不能使用信号量,因为它们会导致睡眠),在中断处理程序中使用自旋锁时,一定要在获取锁之前,首先禁止本地中断(在当前处理器上的中断请求),否则中断处理程序就会打断正持有锁的内核代码,有可能试图去争用这个已经被持有的自旋锁。
5) 加锁是对数据不是对代码。
6) 所有自旋锁的等待在本质上都是不可中断的。
3.1. 自旋锁API介绍
自旋锁实现与体系结构密切相关,定义在<linux/spinlock.h>中。在编译时对自旋锁的初始化:
spinlock_t my_lock=SPIN_LOCK_UNLOCKED;
或者在运行时:
void spin_lock_init(spinlock_t *lock);
进入临界区:
spin_lock(&my_lock);
/*访问数据*/
spin_unlock(&my_lock);
内核提供禁止中断同时请求锁的接口:
spinlock_t my_lock=SPIN_LOCK_UNLOCKED;
unsigned long flags;
spin_lock_irqsave(&my_lock, flags);
/*访问数据*/
spin_unlock_irqrestore(&my_lock, flags);
函数spin_lock_irqsave保存了中断的当前状态,并禁止了本地中断,然后在获取指定的锁;函数spin_unlock_irqrestore对指定的锁解锁,然后让中断恢复到加锁前的状态。
内核提供的自旋锁的接口:
void spin_lock_irq (spinlock_t *lock);
void spin_unlock_irq (spinlock_t *lock);
void spin_lock_bh (spinlock_t *lock);
void spin_unlock_bh (spinlock_t *lock);
如果能够确保没有任何其他代码禁止本地处理器的中断,也就是说,能够确保在释放自旋锁时应该启用中断,这可以使用spin_lock_irq函数,而无需跟踪标志。函数spin_lock_bh在获得锁之前禁止软件中断,但是会让硬件中断保持打开。
int spin_trylock (spinlock_t *lock);
int spin_trylock_bh (spinlock_t *lock);
这两个函数是非阻塞性的,成功获取自旋锁返回非零值,否则返回零。
3.2. 自旋锁和下半部
适用于自旋锁的核心规则是:任何拥有自旋锁的代码都必须是原子的。它不能被休眠,事实上,它不能因为任何原因放弃处理器,除了服务中断以外(这个中断服务没有访问已经获取自旋锁的数据)。内核抢占的情况由自旋锁代码本身处理,任何时候,只要内核代码拥有自旋锁,在相关处理器上的抢占就会被禁止。
函数spin_lock_bh用于获取指定锁,同时它会禁止所有下半部的执行。由于下半部会抢占进程上下文中的代码,所以当下半部与进程上下文共享数据时,必须对进程上下文中的共享数据进行保护,所以需要加锁的同时还有禁止下半部的执行。
同类的tasklet不可能同时运行,所以对于同类的tasklet的共享数据不需要保护。但是当数据被两个不同种类的tasklet共享时,就需要在访问下半部中的数据前先获得一个普通的自旋锁。这里不需要禁止下半部,因为在同一个处理器上决不会有tasklet相互抢占的情况。
对于软中断,无论是否同种类型,如果数据被软中断共享,那么它必须得到锁的保护。因为即使是同种类型的两个软中断也可以同时运行在一个系统的多个处理器上。但是,同一个处理器上的一个软中断决不会抢占另一个软中断,因此,不需要禁止下半部。
3.3. 读-写自旋锁
当对某个数据结构的操作可以清晰化为读/写两种类型时,读/写自旋锁就派上了用场。一个或多个读任务可以并发的持有读锁;相反,写锁只能被一个写任务所持有,而且此时不能有并发的读操作。多个读任务可以安全地获得同一个读锁,事实上,即使一个线程递归地获取同一读锁也是安全的。
初始化读/写锁:
rwlock_t my_rwlock=RW_LOCK_UNLOCKED;
在读任务的代码分支上:
read_lock(&my_rwlock);
/*读数据*/
read_unlock(&my_rwlock);
在写任务的代码分支上:
write_lock(&my_rwlock);
/*读数据*/
write_unlock(&my_rwlock);
注意:不能把一个读锁升级为一个写锁:
read_lock(&my_rwlock);
write_lock(&my_rwlock);
这将会带来死锁,因为写锁会不断自旋,等待所有的读锁被释放,其中包括自己。
内核实现的读锁和写锁接口在<linux/spinlock.h>中有定义。
在使用Linux读-写自旋锁时,需要考虑一点事这种机制照顾读比照顾写要多一点。当读锁被持有时,写操作为了互斥访问只能等待,但是读任务却可以继续成功的占用读锁,而且自旋等待的写任务在所有读任务释放锁之前是无法获得写锁的。
spinlock自旋锁de使用的更多相关文章
- SpinLock 自旋锁, CAS操作(Compare & Set) ABA Problem
SpinLock 自旋锁 spinlock 用于CPU同步, 它的实现是基于CPU锁定数据总线的指令. 当某个CPU锁住数据总线后, 它读一个内存单元(spinlock_t)来判断这个spinlock ...
- SpinLock(自旋锁)
SpinLock(自旋锁) SpinLock 结构是一个低级别的互斥同步基元,它在等待获取锁时进行旋转. 在多核计算机上,当等待时间预计较短且极少出现争用情况时,SpinLock 的性能将高于其他类型 ...
- LiteOS:SpinLock自旋锁及LockDep死锁检测
摘要:除了多核的自旋锁机制,本文会介绍下LiteOS 5.0引入的LockDep死锁检测特性. 2020年12月发布的LiteOS 5.0推出了全新的内核,支持SMP多核调度功能.想学习SMP多核调度 ...
- Pthread spinlock自旋锁
锁机制(lock) 是多线程编程中最常用的同步机制,用来对多线程间共享的临界区(Critical Section) 进行保护. Pthreads提供了多种锁机制,常见的有:1) Mutex(互斥量): ...
- 鸿蒙内核源码分析(自旋锁篇) | 当立贞节牌坊的好同志 | 百篇博客分析OpenHarmony源码 | v26.02
百篇博客系列篇.本篇为: v26.xx 鸿蒙内核源码分析(自旋锁篇) | 当立贞节牌坊的好同志 | 51.c.h .o 进程通讯相关篇为: v26.xx 鸿蒙内核源码分析(自旋锁篇) | 当立贞节牌坊 ...
- 自旋锁-SpinLock(.NET 4.0+)
短时间锁定的情况下,自旋锁(spinlock)更快.(因为自旋锁本质上不会让线程休眠,而是一直循环尝试对资源访问,直到可用.所以自旋锁线程被阻塞时,不进行线程上下文切换,而是空转等待.对于多核CPU而 ...
- .NET 同步与异步 之 原子操作和自旋锁(Interlocked、SpinLock)(九)
本随笔续接:.NET 同步与异步之锁(ReaderWriterLockSlim)(八) 之前的随笔已经说过.加锁虽然能很好的解决竞争条件,但也带来了负面影响:性能方面的负面影响.那有没有更好的解决方案 ...
- 抢占式内核与非抢占式内核中的自旋锁(spinlock)的差别
一.概括 (1)自旋锁适用于SMP系统,UP系统用spinlock是作死. (2)保护模式下禁止内核抢占的方法:1.运行终端服务例程时2.运行软中断和tasklet时3.设置本地CPU计数器preem ...
- 自旋锁spinlock
1 在单处理器上的实现 单核系统上,不存在严格的并发,因此对资源的共享主要是多个任务分时运行造成的. 只要在某一时段,停止任务切换,并且关中断(对于用户态应用程序,不大可能与中断处理程序抢临界区资源) ...
随机推荐
- C语言基础学习
汇编语言又叫符号语言 出来机器语言和汇编语言外其他语言必须经过翻译(编译,和解释行)才可以执行 .c --> 编译(翻译成二进制代码 .obj) 链接 把目标程序和库函数以及其他目标程序链接起来 ...
- 论Collision Detection的作用
今天有空就仔细研究了一下Collision Detection的问题,以前总是弄不明白Continuous和Continuous Dynamic到底有什么区别,今天算是彻底弄明白了,官方文档说的太晦涩 ...
- qt上用opencv显示摄像头视频
参考:http://blog.csdn.net/augusdi/article/details/8865541 代码如下: 注意,要在ui界面上放置一个“Vertical Layout”控件,调整到合 ...
- Think in UML笔记第1章--为什么要UML
1.1 面向过程还是面向对象 面向过程和面向对象都是一种软件技术.例如把面向过程归纳为结构化程序设计.DFD图.ER模型.UC矩阵等,而面向对象则被归纳为继承.封装.多态.复用等具体的技术.事实上,上 ...
- eclipse导出jar包
第一种:普通类导出jar包,我说的普通类就是指此类包含main方法,并且没有用到别的jar包. 1.在eclipse中选择你要导出的类或者package,右击,选择Export子选项: 2.在弹出的对 ...
- android之Spinner控件用法
用法1: <LinearLayout xmlns:android="http://schemas.android.com/apk/res/android" xmlns:too ...
- StateMachine
Create State Machine Create either a passive or an active state machine: ? 1 var fsm = new PassiveSt ...
- English Notes
1. Thanks for stopping by.慢走不送. 2. I don't like to judge a book by it's cover.我不喜欢以貌取人. 3. Rush hour ...
- sql工作问题总结
1. sql排序:1. order by ……2. row_number() over(partition by …… order by ……) 使用说明:此函数适合做分组.排序,而不能在使用它分组的 ...
- Rspec中describe和context不同
转自 http://lmws.net/describe-vs-context-in-rspec 学习rspec,不太理解describe和context.google了一下,找到这篇文章,感觉说的有 ...