Linux驱动开发——(三)并发与竞争

目录

一、并发与竞争简介

二、原子操作

2.1 原子操作简介

2.2 原子整形操作API

2.3 原子位操作API

2.4 原子操作驱动代码

三、自旋锁 

3.1 自旋锁简介

3.2 自旋锁API

3.3 自旋锁驱动代码

四、信号量

4.1 信号量简介

4.2 信号量API

4.3 信号量驱动代码 


一、并发与竞争简介

Linux系统是个多线程操作系统,会存在多个线程同时访问同一片内存区域,这些任务可能会相互覆盖这段内存中的数据,造成内存数据混乱,重者可能会导致系统崩溃。Linux系统并发访问产生的原因很复杂,总结有以下原因:

①多线程并发访问,这是最基本的原因。

②抢占式并发访问。

③中断程序并发访问。

④SMP/多核核间并发访问。

并发访问导致竞争,对于临界区(共享数据段)必须保证一次只有一个线程访问,也就是要保证临界区是原子访问(原子即是不可再分的基本微粒原子访问就表示这一个访问是一个步骤,不能再进行拆分)的。如果多个线程同时操作临界区就表示存在竞争,编写驱动的时候一定要注意避免并发和防止竞争访问!


二、原子操作

2.1 原子操作简介

原子操作指不能再进一步分割的操作,一般原子操作用于变量或者位操作。

假如现在要对无符号整形变量a赋值为3,对于C语言就是:

a = 3

但在C语言编译为汇编指令后,因为ARM架构不支持直接对寄存器进行读写操作,要借助寄存器 R0、 R1等来完成赋值操作,所以编译后的汇编指令:

ldr r0, =0X30000000 /* 变量a地址 */ 
ldr r1, = 3 /* 要写入的值 */ 
str r1, [r0] /* 将3写入到a变量中 */

假设现在线程A要向a变量写入10这个值,而线程B也要向a变量写入20这个值,我们理想中的执行顺序如图:

上图确实可以实现线程A将a变量设置为10,线程B将a变量设置为20。但是实际上的执行流程可能如图: 

线程A最终将变量a设置为了20,而并不是要求的10。 要解决这个问题就要保证三行汇编指令作为一个整体运行,也就是作为一个原子存在。

2.2 原子整形操作API

Linux内核定义了叫做atomic_t的结构体来完成整形数据的原子操作,在使用中用原子变量来代替整形变量,此结构体定义在include/linux/types.h文件中,定义如下:

typedef struct {
    int counter; 
} atomic_t;

如果要使用原子操作API函数,首先要先定义一个atomic_t 的变量:

atomic_t a; //定义a

也可以在定义原子变量的时候给原子变量赋初值:

atomic_t b = ATOMIC_INIT(0); //定义原子变量b 并赋初值为0

还有读、写、增加、减少等等:

函数描述
ATOMIC_INIT(int i)定义原子变量的时候对其初始化。
int atomic_read(atomic_t *v)读取v的值,并且返回。
void atomic_set(atomic_t *v, int i)向v写入i值。
void atomic_add(int i, atomic_t *v)给v加上i值。
void atomic_sub(int i, atomic_t *v)从v减去i值。
void atomic_inc(atomic_t *v)给v加1,也就是自增。
void atomic_dec(atomic_t *v)从v减1,也就是自减。
int atomic_dec_return(atomic_t *v)从v减1,并且返回v的值。
int atomic_inc_return(atomic_t *v)给v加1,并且返回v的值。
int atomic_sub_and_test(int i, atomic_t *v)从v减i,如果结果为0就返回真,否则返回假
int atomic_dec_and_test(atomic_t *v)从v减1,如果结果为0就返回真,否则返回假
int atomic_inc_and_test(atomic_t *v)给v加 1,如果结果为0就返回真,否则返回假
int atomic_add_negative(int i, atomic_t *v)给v加i,如果结果为负就返回真,否则返回假

2.3 原子位操作API

位操作也是很常用的操作,它不像原子整形变量那样有个atomic_t的数据结构,而是直接对内存进行操作:

函数描述
void set_bit(int nr, void *p)将p地址的第nr位置1。
void clear_bit(int nr,void *p)将p地址的第nr位清零。
void change_bit(int nr, void *p)将p地址的第nr位进行翻转。
int test_bit(int nr, void *p)获取p地址的第nr位的值。
int test_and_set_bit(int nr, void *p)将p地址的第nr位置1,并且返回nr位原来的值。
int test_and_clear_bit(int nr, void *p)将p地址的第nr位清零,并且返回nr位原来的值。
int test_and_change_bit(int nr, void *p)将p地址的第nr位翻转,并且返回nr位原来的值。

2.4 原子操作驱动代码

先定义全局变量:

atomic_t lock;

open操作函数里添加以下代码:

/* 通过判断原子变量的值来检查有没有被别的应用使用 */ 
if (!atomic_dec_and_test(&gpioled.lock)) { 
    atomic_inc(&gpioled.lock);/* 小于0的话就加1,使其原子变量等于0 */ 
    return -EBUSY; /* LED被使用,返回忙 */ 
}

release操作函数里添加以下代码:

/* 关闭驱动文件的时候释放原子变量 */
atomic_inc(&dev->lock);

驱动入口函数里添加以下代码:

/* 初始化原子变量 */
atomic_set(&gpioled.lock, 1); /* 原子变量初始值为1 */

三、自旋锁 

3.1 自旋锁简介

原子操作只能对整形变量或者位进行保护,但事实上临界区不止有这些类型,比如还有设备结构体变量——自旋锁便可胜任。

当一个线程要访问某个共享资源的时候首先要先获取相应的锁,锁只能被一个线程持有,只要此线程不释放持有的锁,那么其他的线程就不能获取此锁。对于自旋锁而言,如果自旋锁正在被线A持有,线程B想要获取自旋锁,那么线程B就会处于忙循环-旋转-等待状态,线程B不会进入休眠状态或者说去做其他的处理,而是会一直等待锁。

3.2 自旋锁API

Linux内核使用结构体spinlock_t表示自旋锁:

typedef struct spinlock { 
    union { 
        struct raw_spinlock rlock; 

#ifdef CONFIG_DEBUG_LOCK_ALLOC 
# define LOCK_PADSIZE (offsetof(struct raw_spinlock, dep_map)) 
    struct { 
        u8 __padding[LOCK_PADSIZE];
        struct lockdep_map dep_map; 
    }; 
#endif 
    }; 
} spinlock_t;

最基本的自旋锁API函数:

函数描述
DEFINE_SPINLOCK(spinlock_t lock)定义并初始化一个自选变量。
int spin_lock_init(spinlock_t *lock)初始化自旋锁。
void spin_lock(spinlock_t *lock)获取指定的自旋锁,也叫做加锁。
void spin_unlock(spinlock_t *lock)释放指定的自旋锁。
int spin_trylock(spinlock_t *lock)尝试获取指定的自旋锁,如果没有获取到就返回0。
int spin_is_locked(spinlock_t *lock)

检查指定的自旋锁是否被获取,如果没有被获取就返回非0否则返回0。

自旋锁API函数适用于用于线程与线程之间,被自旋锁保护的临界区一定不能调用任何能够引起睡眠和阻塞的API函数,否则的话会可能会导致死锁现象的发生。自旋锁会自动禁止抢占

中断里面可以使用自旋锁,但是在中断里面使用自旋锁的时候,在获取锁之前一定要先禁止本地中断(也就是本CPU中断,对于多核SOC来说会有多个CPU核),否则可能导致锁死现象的发生。

线程A 先运行,并且获取到了lock 这个锁,当线程A 运行functionA函数的时候中断发生了,中断抢走了CPU使用权。右边的中断服务函数也要获取lock这个锁,但是这个锁被线程A占有着,中断就会一直自旋,等待锁有效。最好的解决方法就是获取锁之前关闭本地中断,Linux内核提供了相应的内核提供了相应的API: 

函数描述
void spin_lock_irq(spinlock_t *lock)禁止本地中断,并获取自旋锁。
void spin_unlock_irq(spinlock_t *lock)激活本地中断,并释放自旋锁。
void spin_lock_irqsave(spinlock_t *lock, unsigned long flags)保存中断状态,禁止本地中断,并获取自旋锁。
void spin_unlock_irqrestore(spinlock_t *lock, unsigned long flags)将中断状态恢复到以前的状态,并且激活本地中断,释放自旋锁。

一般在线程中用 spin_lock_irqsave/ spin_unlock_irqrestore,在中断中用spin_lock/spin_unlock:

DEFINE_SPINLOCK(lock) /* 定义并初始化一个锁 */ 

/* 线程A */ 
void functionA (){ 
    unsigned long flags; /* 中断状态 */ 
    spin_lock_irqsave(&lock, flags) /* 获取锁 */ 
    /* 临界区 */ 
    spin_unlock_irqrestore(&lock, flags) /* 释放锁 */ 
} 

/* 中断服务函数 */ 
void irq() { 
    spin_lock(&lock) /* 获取锁 */ 
    /* 临界区 */ 
    spin_unlock(&lock) /* 释放锁 */ 
}

3.3 自旋锁驱动代码

先定义全局变量:

int dev_stats; /* 设备状态,0,设备未使用;>0,设备已经被使用 */
spinlock_t lock; /* 自旋锁 */

open操作函数里添加以下代码:

spin_lock_irqsave(&gpioled.lock, flags); /* 上锁 */ 
if (gpioled.dev_stats) { /* 如果设备被使用了 */
    spin_unlock_irqrestore(&gpioled.lock, flags); /* 解锁 */ 
    return -EBUSY; 
} 
gpioled.dev_stats++; /* 如果设备没有打开,那么就标记已经打开了 */ 
spin_unlock_irqrestore(&gpioled.lock, flags);/* 解锁 */

release操作函数里添加以下代码: 

spin_lock_irqsave(&dev->lock, flags); /* 上锁 */ 
if (dev->dev_stats) { 
    dev->dev_stats--; 
} 
spin_unlock_irqrestore(&dev->lock, flags);/* 解锁 */

驱动入口函数里添加以下代码:

/* 初始化自旋锁 */
spin_lock_init(&gpioled.lock);

四、信号量

4.1 信号量简介

相比于自旋锁,信号量可以使线程进入休眠状态,不会让线程一直等待。但是,信号量的开销要比自旋锁大,因为信号量使线程进入休眠状态以后会切换线程,切换线程就会有开销。信号量总结:

①因为信号量可以使等待资源线程进入休眠状态,因此适用于那些占用资源比较久的场合。

②因此信号量不能用于中断中,因为信号量会引起休眠,中断不能休眠。

③如果共享资源的持有时间比较短,那就不适合使用信号量了,因为频繁的休眠、切换线程引起的开销要远大于信号量带来的那点优势。

在初始化的时候将信号量值设置的大于1,那么这个信号量就是计数型信号量,计数型信号量不能用于互斥访问,因为它允许多个线程同时访问共享资源。如果要互斥的访问共享资源那么信号量的值就不能大于1,此时的信号量就是一个二值信号量

4.2 信号量API

Linux内核使用semaphore结构体表示信号量:

struct semaphore { 
    raw_spinlock_t lock; 
    unsigned int count; 
    struct list_head wait_list; 
};

信号量的API函数:

函数描述
DEFINE_SEAMPHORE(name)定义一个信号量,并且设置信号量的值为1。
void sema_init(struct semaphore *sem, int val)初始化信号量sem,设置信号量值为 val。
void down(struct semaphore *sem)获取信号量,因为会导致休眠,因此不能在中断中使用。
int down_trylock(struct semaphore *sem);尝试获取信号量,如果能获取到信号量就获取,并且返回0。如果不能就返回非0,并且不会进入休眠。
int down_interruptible(struct semaphore *sem)获取信号量,和down类似,只是使用 down进入休眠状态的线程不能被信号打断。而使用此函数进入休眠以后是可以被信号打断的。
void up(struct semaphore *sem)        释放信号量

 信号量的使用如下所示:

struct semaphore sem; /* 定义信号量 */ 
sema_init(&sem, 1); /* 初始化信号量 */ 
down(&sem); /* 申请信号量 */ 
/* 临界区 */ 
up(&sem); /* 释放信号量 */

4.3 信号量驱动代码 

头文件加入以下代码:

#include <linux/semaphore.h>

定义全局变量:

struct semaphore sem; /* 信号量 */

 在open操作函数里添加以下代码:

/* 获取信号量,进入休眠状态的进程可以被信号打断 */ 
if (down_interruptible(&gpioled.sem)) { 
    return -ERESTARTSYS; 
} 
#if 0 
    down(&gpioled.sem); /* 不能被信号打断 */ 
#endif

release操作函数里添加以下代码: 

up(&dev->sem); /* 释放信号量,信号量值加1 */

驱动入口函数里添加以下代码:

/* 初始化信号量 */
sema_init(&gpioled.sem, 1);

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/562534.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

Redis-cluster集群架构

一、集群架构 上述集群架构师一个由多个主从节点群组成的分布式服务器&#xff0c;具有复制、高可用和分片的特性。Redis集群不需要sentine哨兵也能完成节点移除和故障转移。官方文档称可以扩展上万个节点。推荐不超过1000个&#xff1b;从节点只担任备份的角色&#xff0c;不承…

JavaWeb过滤器

Javaweb过滤器是一种用于在Servlet处理请求之前或之后对请求进行预处理或后处理的组件。过滤器可以用于拦截请求、修改请求参数、过滤响应内容等操作。其主要作用包括&#xff1a; 拦截请求&#xff1a;过滤器可以拦截客户端请求&#xff0c;对请求进行验证、过滤或修改&#x…

STL-list的使用及其模拟实现

在C标准库中&#xff0c;list 是一个双向链表容器&#xff0c;用于存储一系列元素。与 vector 和 deque 等容器不同&#xff0c;list 使用带头双向循环链表的数据结构来组织元素&#xff0c;因此list插入删除的效率非常高。 list的使用 list的构造函数 list迭代器 list的成员函…

【Interconnection Networks 互连网络】Dragonfly Topology 蜻蜓网络拓扑

蜻蜓拓扑 Dragonfly Topology 1. 拓扑参数2. Topology Description 拓扑描述3. Topology Variations 拓扑变体 蜻蜓拓扑 Dragonfly Topology 1. 拓扑参数 Dragonfly拓扑参数&#xff1a; N N N: 网络中终端(terminal)的总数量 p p p: 连接到每个路由器的终端数量 a a a: 每…

Go语言并发控制

channel // cancelFn 数据通道关闭通知退出 func cancelFn(dataChan chan int) {for {select {case val, ok : <-dataChan:// 关闭data通道时&#xff0c;通知退出// 一个可选是判断data指定值时退出if !ok {fmt.Printf("Channel closed &#xff01;&#xff01;&…

Rest接口/Nginx日志记录和采集

文章目录 一、Rest接口日志二、Nginx日志三、采集日志四、夜莺查看Nginx日志五、夜莺查看Rest接口日志 一、Rest接口日志 记录日志字典定义 接口URL接口名称,类别,入参全记录,出参全记录,入参字段1:中文名1/入参字段2:中文名2,出参字段1:中文名1/test/api/login账户登录,登录…

java-单列集合List详解

一、List概述 ​​​​​​​List 接口继承自 Collection 接口。这意味着所有 List 类型的对象都是 Collection 类型的对象&#xff0c;它们共享 Collection 接口中定义的所有方法。 List集合的特点&#xff1a; 1、有序&#xff1a;存和取得元素顺序一致 2、有索引&#xf…

Java- Object根父类

在java中&#xff0c;所有的类都有一个公共的父类&#xff0c;这个java.lang.Object类 * * * Object所有类的根&#xff0c;成为超类。 1.证明Object是根 public class A_Object01 {public static void main(String[] args) {//证明Object是根//基本数据类型int a 0;Object…

【硬十宝典】——1.4【基础知识】电源完整性——理解与设计

定义&#xff1a; 电源完整性&#xff08;Power integrity&#xff09;简称PI&#xff0c;是确认电源来源及目的端的电压及电流是否符合需求。 电源完整性在现今的电子产品中相当重要。有几个有关电源完整性的层面&#xff1a;芯片层面、芯片封装层面、电路板层面及系统层面。…

18-Echarts 配置系列之:数据集 dataset

简介&#xff1a; 数据集&#xff08;dataset&#xff09;是专门用来管理数据的组件。简化在每一个系列中设置数据&#xff0c;这一个配置是在Echarts4 中开始支持。 通过数据集配置&#xff0c;避免为每一个系列创建一个数据&#xff0c;避免格式转化的痛苦。 简单举例&…

开启智慧之旅,AI与机器学习驱动的微服务设计模式探索

​&#x1f308; 个人主页&#xff1a;danci_ &#x1f525; 系列专栏&#xff1a;《设计模式》 &#x1f4aa;&#x1f3fb; 制定明确可量化的目标&#xff0c;坚持默默的做事。 &#x1f680; 转载自热榜文章&#x1f525;&#xff1a;探索设计模式的魅力&#xff1a;开启智慧…

2024年腾讯云免费服务器最新申请入口链接

腾讯云免费服务器申请入口 txybk.com/go/free 免费服务器可选轻量应用服务器和云服务器CVM&#xff0c;轻量配置可选2核2G3M、2核8G7M和4核8G12M&#xff0c;CVM云服务器可选2核2G3M和2核4G3M配置&#xff0c;腾讯云百科txybk.com分享2024年最新腾讯云免费服务器申请入口、限制…

YOLOv8操作指南-下载+配置环境

下载&#xff1a;github&#xff0c;进入搜索YOLOv8 就这个&#xff0c;点开 下载就可以了&#xff0c;然后解压一下 配置环境&#xff1a; 安装Pytorch 先看一下这个&#xff1a; 如果电脑有GPU的话&#xff1a; 判断自己电脑GPU&#xff1a;打开任务管理器 我的是英伟达3…

sherpa + ncnn 离线语音识别

目录结构 前言音视频格式转为wavsherpa-ncnn编译LinuxWindowswindows编译中遇到的问题问题“nmake -? failed with: no such file or directory”编译失败原因 成功编译截图 可执行程序说明模型下载语言识别测试LinuxWindows 参考文献 前言 小编需要实现离线音视频语言部分识…

vulfocus靶场couchdb 权限绕过 (CVE-2017-12635)

Apache CouchDB是一个开源数据库&#xff0c;专注于易用性和成为"完全拥抱web的数据库"。它是一个使用JSON作为存储格式&#xff0c;JavaScript作为查询语言&#xff0c;MapReduce和HTTP作为API的NoSQL数据库。应用广泛&#xff0c;如BBC用在其动态内容展示平台&…

完结撒花! java算法day60 | 84.柱状图中最大的矩形

84.柱状图中最大的矩形 思路&#xff1a; 这道题和接雨水很像&#xff0c;不过有两点差别&#xff1a; 这道题需要找到一个位置前一个比他小的数和后一个比他小的数&#xff0c;而接雨水是找到前一个和后一个比他大的数。需要在原数组前后各补上0&#xff0c;防止忽略一些边缘…

Excel数据处理:高级筛选、查找定位、查找函数(VLOOKUP)

高级筛选 先去选中筛选区域 如果筛选的条件在同一行那么就是且的关系 如果筛选的条件不在同一行那么就是或的关系 查找定位空值 使用VLOOKUP函数

C语言中, 文件包含处理,#include< > 与 #include ““的区别

文件包含处理 指一个源文件可以将另外一个文件的全部内容包含进来 &#xff23;语言提供了#include命令用来实现文件包含的操作 #include< > 与 #include ""的区别 <> 表示系统直接按系统指定的目录检索 "" 表示系统先在 "" 指定…

PACS/RIS影像管理系统源码,医院影像科室PACS系统源码,三维医学影像系统源码 支持图像后处理与重建

PACS/RIS影像管理系统源码&#xff0c;支持图像后处理与重建 医院影像科室PACS系统源码&#xff0c;三维医学影像系统源码 PACS&#xff0c;全称为Picture Archiving and Communication Systems&#xff0c;中文意思是医学影像存档与通讯系统。它主要是应用在医院影像科室中&a…

java算法day4

删除链表的倒数第N个结点链表相交环形链表 删除链表的倒数第N个结点 解法&#xff1a;双指针&#xff08;快慢指针&#xff09; 首先一定要有删除结点的思想。所以这个题是用虚拟头结点比较方便。 先上模拟图&#xff0c;然后看流程&#xff1a; 这里后移根据不同的想法有不同…