访问共享资源的代码区域称为临界区,临时以某种互斥机制加以保护。中断屏蔽、原子操作

自旋锁和信号量是Linux设备驱动中可采用的互斥途径。





在单CPU范围内避免竞态的一种简单方法是在进入临界区之前屏蔽系统的中断。

CPU一般都具备屏蔽中断和打开中断的功能。





中断屏蔽的使用方法:

Local_irq_disable();  //屏蔽中断--->和它不同的是local_irq_save除了禁止中断操作以外还可以保存目前CPU的中断位信息





......

临界区

......









Local_irq_enable();   //开中断--->local_irq_restore进行的是与local_irq_save相反的操作。





要求:在屏蔽了中断之后,当前的内核执行路径应当尽快地执行完临界区的代码。

如果只是想禁止中断的底半部,应当使用local_bh_disable(),使能local_bh_disable()

禁止的底半部应该调用local_bh_enable();













原子操作:指的是在执行过程中不会被别的代码路径所中断的操作

内核中有一些函数分为两类,分别针对位和整型变量进行原子操作。共同点:在任何情况下操作都是原子的,内核代码可以安全地调用

它们而不被打断。都是依赖底层CPU的原子操作来实现的。所以这些函数都与CPU的架构密切相关。









SMP:多处理器结构的简称.

自旋锁的作用:

    自旋锁spin_lock是一种对临界资源进行互斥访问的典型手段,这个名字是由于它的工作方式。

要获得自旋锁,在CPU上运行的代码需要先执行一个原子操作,该操作测试并设置某个内存变量,

由于它是原子操作,所以在操作完成之前其它执行单元不可能访问这个内存变量。

    如果测试结果表明锁已经空闲,则程序获得这个自旋锁并继续执行;如果测试结果表明锁

仍被占用,程序将在一个小循环内重复这个"测试并设置"操作,即进行所谓的“自旋”,通俗的说

就是在原地打转,当自旋锁的持有者通过重新设置该变量释放这个自旋锁后,某个等待的"测试并设置"的操作

向其调用者报告锁已经被释放。

    自旋锁操作主要针对SMP或单CPU但内核可抢占的情况,对于单CPU和内核不支持抢占的系统,自旋锁退化为空操作。

在单CPU和内核可抢占的系统中,自旋锁持有期间内核的抢占将被禁止。由于内核抢占的单CPU兄的行为实际

很类似于SMP系统,隐私在这样的单CPU系统中使用自旋锁就十分必要。





Linux系统中与自旋锁相关的操作主要有以下4种:

定义一个自旋锁:

Spinlock_t  spin ;

初始化自旋锁:

Spin_lock_init(lock) ;

获得自旋锁:

Spin_lock(lock);

如果能立即获得锁,就马上返回,否则,它将自旋,直到该自旋锁的保持者释放。

Spin_trylock(lock);

尝试获得自旋锁lock,如果可以立即获得,获得并返回真,否则立即返回假,实际上不再原地打转.

释放锁:

Spin_unlock(lock);

与spin_trylock或spin_lock配对使用。

一般这样使用:

Spinlock_t lock ;

Spin_lock_init(&lock);

Spin_lock(&lock);//获取自旋锁,包含临界区

.....//临界区

Spin_unlock(&lock); //解锁





   使用自旋锁实际上是忙等锁,当锁不可用时,CPU一直循环执行测试并设置该锁直到可用而

取得该锁。此时CPU在等待自旋锁不做任何有用的工作,仅仅是等待。因此只有在

占用锁极短的情况下,使用自旋锁才是合理的,如果临界区有很大或者有共享设备的时候

,需要较长时间占用锁,会降低系统的性能。

自旋锁可能导致系统死锁,常见情况就是递归一个自旋锁,如果已经拥有某个自旋锁的

CPU想第二次获得这个自旋锁,则该CPU将死锁。如果进程获得自旋锁后再阻塞,也可能

导致死锁的发生。copy_from_user(),copy_to_user()和kmalloc()等函数都有可能引起阻塞。

因此自旋锁的占用期间不能调用这些函数。









读写自旋锁:是一种比自旋锁粒度更小的锁机制,它保留了自旋的概念,但是在写操作方面,

只能最多有一个写进程,在读操作方面,同事可以有多个读执行单元。当然,读和写也不能同事进行。

定义和初始化:

rwlock_t lock = RW_LOCK_LOCKED ; //静态初始化

rwloct_t lock ; 

rwlock_init(&lock);

读锁定:

read_lock(rwlock_t *lock);

read_lock_irq(rwlock_t *lock);

read_lock_irqsave(rwlock_t *lock , unsigned long flags);

read_lock_bh(rwlock_t *lock);

读解锁:

read_unlock(rwlock_t *lock);

read_unlock_irq(rwlock_t *lock);

read_unlock_irqrestore(rwlock_t *lock , unsigned long flags);

read_unlock_bh(rwlock_t *lock);









......

linux内核中访问共享资源的更多相关文章

  1. Linux内核中锁机制之RCU、大内核锁

    在上篇博文中笔者分析了关于完成量和互斥量的使用以及一些经典的问题,下面笔者将在本篇博文中重点分析有关RCU机制的相关内容以及介绍目前已被淘汰出内核的大内核锁(BKL).文章的最后对<大话Linu ...

  2. Linux内核中锁机制之信号量、读写信号量

    在上一篇博文中笔者分析了关于内存屏障.读写自旋锁以及顺序锁的相关内容,本篇博文将着重讨论有关信号量.读写信号量的内容. 六.信号量 关于信号量的内容,实际上它是与自旋锁类似的概念,只有得到信号量的进程 ...

  3. 大话Linux内核中锁机制之RCU、大内核锁

    大话Linux内核中锁机制之RCU.大内核锁 在上篇博文中笔者分析了关于完成量和互斥量的使用以及一些经典的问题,下面笔者将在本篇博文中重点分析有关RCU机制的相关内容以及介绍目前已被淘汰出内核的大内核 ...

  4. 大话Linux内核中锁机制之信号量、读写信号量

    大话Linux内核中锁机制之信号量.读写信号量 在上一篇博文中笔者分析了关于内存屏障.读写自旋锁以及顺序锁的相关内容,本篇博文将着重讨论有关信号量.读写信号量的内容. 六.信号量 关于信号量的内容,实 ...

  5. Linux内核中的并发与竞态概述

    1.前言 众所周知,Linux系统是一个多任务的操作系统,当多个任务同时访问同一片内存区域的时候,这些任务可能会相互覆盖内存中数据,从而造成内存中的数据混乱,问题严重的话,还可能会导致系统崩溃. 2. ...

  6. Linux 内核中的 Device Mapper 机制

    本文结合具体代码对 Linux 内核中的 device mapper 映射机制进行了介绍.Device mapper 是 Linux 2.6 内核中提供的一种从逻辑设备到物理设备的映射框架机制,在该机 ...

  7. Linux内核中的GPIO系统之(3):pin controller driver代码分析

    一.前言 对于一个嵌入式软件工程师,我们的软件模块经常和硬件打交道,pin control subsystem也不例外,被它驱动的硬件叫做pin controller(一般ARM soc的datash ...

  8. Apparmor——Linux内核中的强制访问控制系统

      AppArmor 因为最近在研究OJ(oline judge)后台的安全模块的实现,所以一直在研究Linux下沙箱的东西,同时发现了Apparmor可以提供访问控制. AppArmor(Appli ...

  9. KSM剖析——Linux 内核中的内存去耦合

    简介: 作为一个系统管理程序(hypervisor),Linux® 有几个创新,2.6.32 内核中一个有趣的变化是 KSM(Kernel Samepage Merging)  允许这个系统管理程序通 ...

随机推荐

  1. 前端面试题-----js和jquery的区别是什么?

    最近我有一个朋友问我js和jquery的区别是什么,于是我打算写一篇文章说下到底有什么区别. 首先你要知道: 1.js是网页的脚本语言,记住哈,js是语言! 2.jquery是用js语言写出来的一个框 ...

  2. Linux--DNS服务器

     DNS是Internet上使用最普遍,也是最重要的服务之一,通过DNS我们才可以访 问丰富多彩的网络,而DNS服务器就是为了实现域名解析功能而搭建的. 域名系统采用层次结构,按地理区域或机构区域 ...

  3. 【美工设计 - Adobe Illustrator】基本设置 (图像显示 | 图像缩放 | 置入导出 | 标尺 | 网格 | 参考线 | 画板)

    作者 : 韩曙亮 转载请注明出处 : http://blog.csdn.net/shulianghan/article/details/50232767 一. 基础操作 1. 设置图像显示效果 (1) ...

  4. 如何使用excel画甘特图

    甘特图小伙伴们都非常的熟悉,首先小编简单的向各位小伙伴介绍一下什么是甘特图,甘特图内在思想简单,即以图示的方式通过活动列表和时间刻度形象地表示出任何特定项目的活动顺序与持续时间.基本是一条线条图,横轴 ...

  5. GDAL1.11版本对SHP文件索引加速测试

    GDAL库中对于矢量数据的读取中可以设置一些过滤器来对矢量图形进行筛选,对于Shapefile格式来说,如果数据量太大,设置这个过滤器时间慢的简直无法忍受.好在GDAL1.10版本开始支持读取Shap ...

  6. 【一天一道LeetCode】#263. Ugly Number

    一天一道LeetCode 本系列文章已全部上传至我的github,地址:ZeeCoder's Github 欢迎大家关注我的新浪微博,我的新浪微博 欢迎转载,转载请注明出处 (一)题目 Write a ...

  7. python 访问 zookeeper

    python 访问 zookeeper zookeeper 分布式服务框架是 Apache Hadoop 的一个子项目,它主要是用来解决分布式应用中经常遇到的一些数据管理问题,如:统一命名服务.状态同 ...

  8. CMake设置FOLDER失败及解决

    CMake可以设置FOLDER属性,用来分目录组织VC中的多个工程. FOLDER: Set the folder name. Use to organize targets in an IDE. T ...

  9. Hibernate3 Criteria对象详解

    1.序言 Hibernate框架是目前JavaEE软件开发的企业主流框架,学习Hibernate必然要掌握ORM(对象关系映射Object/Relation Mapping)的概念思想, Hibern ...

  10. Gradle笔记——依赖管理基础

    1. 什么是依赖管理 依赖管理可以分为两部分:一是依赖,即项目构建或运行时所需要的一些文件:二是发布,即构建完成后上传到某个地方. 1.1 依赖 大部分的项目都需要第三方库类或项目文件,这些文件就是项 ...