不同优先级处理中共享资源的稀发错误

本文将探讨在优先级不同的处理过程中共享资源出现的稀发错误。

共享资源:静态变量、MCU功能寄存器等
处  理:不同优先级的处理对共享资源进行写入操作

中文说明请参阅网站

规格

此示例在每次执行FUNC()时将A递增1,并通过INT()将A置零。

现象

在下图所示的时点发生中断事件时,本应通过INT()将A清零,但实际并未清零。
这种现象通常在测试阶段无法发现,往往在量产投放市场后才会暴露出来。

发生机制

在以下处理时机执行处理时会发生。

对策方法

对策方法1 更改中断优先级

此对策方法可通过如下方式更改中断优先级来规避。该方法常用于MCU功能寄存器等需要以不同优先级频繁访问的场景。

static unsigned char A = 0;

void FUNC(void)
{
    unsigned int mask;
    ......
    mask = get_set_ipr(level_max);  // Interrupt priority max Level
    A = A + 1;
    mask = get_set_ipr(mask);       // Interrupt priority original Level
    ......
}

// Interrupt
void INT(void)
{
     ......
     A = 0;
     ......
}

对策方法2 在不同处理时段禁止写入共享资源

此对策方法可通过避免在不同处理时点对共享资源进行写入来规避。

static unsigned char A = 0;
static unsigned char CLEAR_N1 = 0;
static unsigned char CLEAR_N2 = 0;

void FUNC(void)
{
    ......
    unsigned char CLEAR_N1_CPY = CLEAR_N1;
    if( CLEAR_N1_CPY == CLEAR_N2 )   // Check for occurrence of INT interrupt
    {
        A = A + 1;
    }
    else
    {
        A = 0;
    }
    CLEAR_N2 = CLEAR_N1_CPY;
    ......
}

void INT(void)
{
     ......
     CLEAR_N1 = CLEAR_N1 + 1;
     ......
}

根本原因

该故障的根本原因如下:

  • 属于规格书未记载的隐性知识
  • 重视规格与代码一致性的文化
  • 越来越多的工程师不知道C语言中一条代码可能由多个指令代码执行

OSS-ECAL website: 

    【四轴飞行器】非线性三自由度四轴飞行器模拟器研究(Matlab代码实现)内容概要:本文围绕非线性三自由度四轴飞行器模拟器的研究展开,重点介绍了基于Matlab的建模与仿真方法。通过对四轴飞行器的动力学特性进行分析,构建了非线性状态空间模型,并实现了姿态与位置的动态模拟。研究涵盖了飞行器运动方程的建立、控制系统设计及数值仿真验证等环节,突出非线性系统的精确建模与仿真优势,有助于深入理解飞行器在复杂工况下的行为特征。此外,文中还提到了多种配套技术如PID控制、状态估计与路径规划等,展示了Matlab在航空航天仿真中的综合应用能力。; 适合人群:具备一定自动控制理论基础和Matlab编程能力的高校学生、科研人员及从事无人机系统开的工程技术人员,尤其适合研究生及以上层次的研究者。; 使用场景及目标:①用于四轴飞行器控制系统的设计与验证,支持算法快速原型开;②作为教学工具帮助理解非线性动力学系统建模与仿真过程;③支撑科研项目中对飞行器姿态控制、轨迹跟踪等问题的深入研究; 阅读建议:建议读者结合文中提供的Matlab代码进行实践操作,重点关注动力学建模与控制模块的实现细节,同时可延伸学习文档中提及的PID控制、状态估计等相关技术内容,以全面提升系统仿真与分析能力。
    评论
    成就一亿技术人!
    拼手气红包6.0元
    还能输入1000个字符
     
    红包 添加红包
    表情包 插入表情
     条评论被折叠 查看
    添加红包

    请填写红包祝福语或标题

    红包个数最小为10个

    红包金额最低5元

    当前余额3.43前往充值 >
    需支付:10.00
    成就一亿技术人!
    领取后你会自动成为博主和红包主的粉丝 规则
    hope_wisdom
    发出的红包
    实付
    使用余额支付
    点击重新获取
    扫码支付
    钱包余额 0

    抵扣说明:

    1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
    2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

    余额充值