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

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

相关文章

检查 Nginx 是否启动的几种方法

《检查Nginx是否启动的几种方法》本文主要介绍了检查Nginx是否启动的几种方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学... 目录1. 使用 systemctl 命令(推荐)2. 使用 service 命令3. 检查进程是否存在4

Java方法重载与重写之同名方法的双面魔法(最新整理)

《Java方法重载与重写之同名方法的双面魔法(最新整理)》文章介绍了Java中的方法重载Overloading和方法重写Overriding的区别联系,方法重载是指在同一个类中,允许存在多个方法名相同... 目录Java方法重载与重写:同名方法的双面魔法方法重载(Overloading):同门师兄弟的不同绝

MySQL字符串转数值的方法全解析

《MySQL字符串转数值的方法全解析》在MySQL开发中,字符串与数值的转换是高频操作,本文从隐式转换原理、显式转换方法、典型场景案例、风险防控四个维度系统梳理,助您精准掌握这一核心技能,需要的朋友可... 目录一、隐式转换:自动但需警惕的&ld编程quo;双刃剑”二、显式转换:三大核心方法详解三、典型场景

JAVA项目swing转javafx语法规则以及示例代码

《JAVA项目swing转javafx语法规则以及示例代码》:本文主要介绍JAVA项目swing转javafx语法规则以及示例代码的相关资料,文中详细讲解了主类继承、窗口创建、布局管理、控件替换、... 目录最常用的“一行换一行”速查表(直接全局替换)实际转换示例(JFramejs → JavaFX)迁移建

MySQL快速复制一张表的四种核心方法(包括表结构和数据)

《MySQL快速复制一张表的四种核心方法(包括表结构和数据)》本文详细介绍了四种复制MySQL表(结构+数据)的方法,并对每种方法进行了对比分析,适用于不同场景和数据量的复制需求,特别是针对超大表(1... 目录一、mysql 复制表(结构+数据)的 4 种核心方法(面试结构化回答)方法 1:CREATE

Go异常处理、泛型和文件操作实例代码

《Go异常处理、泛型和文件操作实例代码》Go语言的异常处理机制与传统的面向对象语言(如Java、C#)所使用的try-catch结构有所不同,它采用了自己独特的设计理念和方法,:本文主要介绍Go异... 目录一:异常处理常见的异常处理向上抛中断程序恢复程序二:泛型泛型函数泛型结构体泛型切片泛型 map三:文

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

springboot中配置logback-spring.xml的方法

《springboot中配置logback-spring.xml的方法》文章介绍了如何在SpringBoot项目中配置logback-spring.xml文件来进行日志管理,包括如何定义日志输出方式、... 目录一、在src/main/resources目录下,也就是在classpath路径下创建logba

SQL Server中行转列方法详细讲解

《SQLServer中行转列方法详细讲解》SQL行转列、列转行可以帮助我们更方便地处理数据,生成需要的报表和结果集,:本文主要介绍SQLServer中行转列方法的相关资料,需要的朋友可以参考下... 目录前言一、为什么需要行转列二、行转列的基本概念三、使用PIVOT运算符进行行转列1.创建示例数据表并插入数

MyBatis中的两种参数传递类型详解(示例代码)

《MyBatis中的两种参数传递类型详解(示例代码)》文章介绍了MyBatis中传递多个参数的两种方式,使用Map和使用@Param注解或封装POJO,Map方式适用于动态、不固定的参数,但可读性和安... 目录✅ android方式一:使用Map<String, Object>✅ 方式二:使用@Param