基于单片机的临界区代码保护方法

2024-06-07 18:08

本文主要是介绍基于单片机的临界区代码保护方法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

定义

临界区指的是一个访问共用资源(例如:共用设备或是共用存储器)的程序片段,而这些共用资源又无法同时被多个线程访问的特性。

  • 死锁
    是指两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。
    触发条件:
    1、互斥条件:线程对资源的访问是排他性的,如果一个线程对占用了某资源,那么其他线程必须处于等待状态,直到资源被释放。
    2、请求和保持条件:线程T1至少已经保持了一个资源R1占用,但又提出对另一个资源R2请求,而此时,资源R2被其他线程T2占用,于是该线程T1也必须等待,但又对自己保持的资源R1不释放。
    3、不剥夺条件:线程已获得的资源,在未使用完之前,不能被其他线程剥夺,只能在使用完以后由自己释放。
    4、环路等待条件:在死锁发生时,必然存在一个“进程-资源环形链”,即:{p0,p1,p2,…pn},进程p0(或线程)等待p1占用的资源,p1等待p2占用的资源,pn等待p0占用的资源。(最直观的理解是,p0等待p1占用的资源,而p1而在等待p0占用的资源,于是两个进程就相互等待)
  • 活锁
    活锁指的是任务或者执行者没有被阻塞,由于某些条件没有满足,导致一直重复尝试—失败—尝试—失败的过程。处于活锁的实体是在不断的改变状态,活锁有可能自行解开。尽管这个问题不会阻塞线程,但是程序也无法继续执行。活锁通常发生在处理事务消息的应用程序中,如果不能成功处理这个事务那么事务将回滚整个操作。解决活锁的办法是在每次重复执行的时候引入随机机制,这样由于出现的可能性不同使得程序可以继续执行其他的任务。

临界区保护方法有四种

在这里插入图片描述
(1)第一种方法:直接利用开启或者关闭中断的语句来控制。
比如:
#define _DINT() disable_interrupt() // 关闭中断
#define _EINT() enable_interrupt() // 打开中断

优点:简单,执行速度快(只有一条指令),在临界保护操作频繁的场合优势突出。
缺点:存在一个隐患:如果在A函数的临界代码区调用了另一个函数B,B函数内也有临界代码区,从B函数返回时,中断被打开了。这将造成A函数后续代码失去临界保护。

所以:使用该方法时,不能再临界代码区调用任何其他包含有临界区代码的函数。

(2)第二种方法:嵌入式通用的做法
关中断前将总中断允许控制位状态所在的寄存器压入堆栈保存起来,然后再关中断保护临界区代码,之后根据堆栈内保存的控制字决定是否开启中断。在临界代码执行完毕之后,将中断允许状态将恢复到进入临界区之前的状态。

(3)第三种方法:
关中断前将总中断允许控制位状态保存到一个变量里,然后再关中断保护临界代码,之后根据保存的控制字决定是否恢复中断。
这样做,同样可以实现退出临界区时恢复进入前的中断允许状态。
缺点:每一段临界代码都要额外耗费两个字节的存储空间。

void EnterCritical(unsigned int *SR_Val)
{
*SR_Val = _get_SR_register(); // 保存中断状态
_DINT(); // 禁止中断,进入临界区。这里要考虑:进入临界区之前是什么状态,如果本来就是禁止中断的呢?
}

void ExitCritical(unsigned int * SR_Val)
{
if(*SR_Val & GIE) // 判断进入临界区前的状态,如果是使能中断的状态,则开启中断。
_EINT();
}

用上面的EnterCritical()函数替换进入临界代码前_DINT()语句,用ExitCritical()函数替换退出临界代码时的_EINT()语句,即可以保证中断状态的正确恢复。
void Function_A(void)
{
unsigned int GIE_Val;

EnterCritical(&GIE_Val); // 进入临界代码区,保存当前中断状态在GIE_Val变量中;

… // 临界区代码
ExitCritical(&GIE_Val); // 退出临界区,并根据GIE_Val变量决定是否开中断;

}

(4)第四种方法:用软件模拟堆栈行为。
将进入临界代码的次数和退出临界代码的次数进行统计,如果各临界代码之间有调用关系,则只是对最外层的临界代码区进行中断开关操作。

点击(此处)折叠或打开

unsigned int SR_Val;
unsigned char DINT_Count = 0;

void EnterCritical(unsigned int *SR_Val)
{
if(DINT_Count == 0) // 只对最外层进行操作
{
*SR_Val = _get_SR_register(); // 保存中断状态
_DINT(); // 禁止中断,进入临界区。这里要考虑:进入临界区之前是什么状态,如果本来就是禁止中断的呢?
}

DINT_Count ++;

}

void ExitCritical(unsigned int * SR_Val)
{
DINT_Count --;

if((DINT_Count == 0)&&(*SR_Val & GIE)) // 只对最外层操作,判断进入临界区前的状态,如果是使能中断的状态,则开启中断。_EINT();

}

这篇关于基于单片机的临界区代码保护方法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1039909

相关文章

Python常用命令提示符使用方法详解

《Python常用命令提示符使用方法详解》在学习python的过程中,我们需要用到命令提示符(CMD)进行环境的配置,:本文主要介绍Python常用命令提示符使用方法的相关资料,文中通过代码介绍的... 目录一、python环境基础命令【Windows】1、检查Python是否安装2、 查看Python的安

Python实例题之pygame开发打飞机游戏实例代码

《Python实例题之pygame开发打飞机游戏实例代码》对于python的学习者,能够写出一个飞机大战的程序代码,是不是感觉到非常的开心,:本文主要介绍Python实例题之pygame开发打飞机... 目录题目pygame-aircraft-game使用 Pygame 开发的打飞机游戏脚本代码解释初始化部

Maven 配置中的 <mirror>绕过 HTTP 阻断机制的方法

《Maven配置中的<mirror>绕过HTTP阻断机制的方法》:本文主要介绍Maven配置中的<mirror>绕过HTTP阻断机制的方法,本文给大家分享问题原因及解决方案,感兴趣的朋友一... 目录一、问题场景:升级 Maven 后构建失败二、解决方案:通过 <mirror> 配置覆盖默认行为1. 配置示

SpringBoot排查和解决JSON解析错误(400 Bad Request)的方法

《SpringBoot排查和解决JSON解析错误(400BadRequest)的方法》在开发SpringBootRESTfulAPI时,客户端与服务端的数据交互通常使用JSON格式,然而,JSON... 目录问题背景1. 问题描述2. 错误分析解决方案1. 手动重新输入jsON2. 使用工具清理JSON3.

使用jenv工具管理多个JDK版本的方法步骤

《使用jenv工具管理多个JDK版本的方法步骤》jenv是一个开源的Java环境管理工具,旨在帮助开发者在同一台机器上轻松管理和切换多个Java版本,:本文主要介绍使用jenv工具管理多个JD... 目录一、jenv到底是干啥的?二、jenv的核心功能(一)管理多个Java版本(二)支持插件扩展(三)环境隔

Java中Map.Entry()含义及方法使用代码

《Java中Map.Entry()含义及方法使用代码》:本文主要介绍Java中Map.Entry()含义及方法使用的相关资料,Map.Entry是Java中Map的静态内部接口,用于表示键值对,其... 目录前言 Map.Entry作用核心方法常见使用场景1. 遍历 Map 的所有键值对2. 直接修改 Ma

Mybatis Plus Join使用方法示例详解

《MybatisPlusJoin使用方法示例详解》:本文主要介绍MybatisPlusJoin使用方法示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,... 目录1、pom文件2、yaml配置文件3、分页插件4、示例代码:5、测试代码6、和PageHelper结合6

Java中实现线程的创建和启动的方法

《Java中实现线程的创建和启动的方法》在Java中,实现线程的创建和启动是两个不同但紧密相关的概念,理解为什么要启动线程(调用start()方法)而非直接调用run()方法,是掌握多线程编程的关键,... 目录1. 线程的生命周期2. start() vs run() 的本质区别3. 为什么必须通过 st

C#之List集合去重复对象的实现方法

《C#之List集合去重复对象的实现方法》:本文主要介绍C#之List集合去重复对象的实现方法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C# List集合去重复对象方法1、测试数据2、测试数据3、知识点补充总结C# List集合去重复对象方法1、测试数据

SpringBoot读取ZooKeeper(ZK)属性的方法实现

《SpringBoot读取ZooKeeper(ZK)属性的方法实现》本文主要介绍了SpringBoot读取ZooKeeper(ZK)属性的方法实现,强调使用@ConfigurationProperti... 目录1. 在配置文件中定义 ZK 属性application.propertiesapplicati