AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 78995814
Accepted
Richard Klosinski
Richard Klosinski
Asked: 2024-09-18 05:05:19 +0800 CST2024-09-18 05:05:19 +0800 CST 2024-09-18 05:05:19 +0800 CST

使用 WDT 检测嵌入式系统中的挂起代码,特别是 STM32

  • 772

我正在设计一个裸机 STM32 固件,它必须检测挂起/丢失的代码并重置。我的方法是让每个中断基础进程(基本上是中断驱动的代码)在运行时增加自己的全局变量,然后在最高优先级的“主管”任务中检查以确保每个全局变量都在变化。如果任何一个变量停止变化,则允许 WDT 重置电路板。

这听起来是个好办法吗?还有其他更好的主意吗?

embedded
  • 2 2 个回答
  • 36 Views

2 个回答

  • Voted
  1. Best Answer
    Clifford
    2024-09-18T06:36:50+08:002024-09-18T06:36:50+08:00

    假设前台/后台“超级循环”架构,带有中断处理程序和单个主线程,那么我建议更好的方法是为每个中断实现超时。

    例如,假设您已经实现了一个基本的系统滴答接口(在 Cortex-M 上使用 SYSTICK),其中有一个函数tickms()以毫秒为单位返回经过的时间。那么对于每个被监视的中断,您可能有一个枚举,例如:

    typedef enum
    {
        WDG_UART1,
        WDG_UART2,
        WDG_TIMER1,
        ...
        NUMBER_OF_WDG
    } eWdg ;
    

    然后是一个数组,例如:

    volatile struct
    {
        unsigned period ;
        unsigned timestamp ;
    } wdg[NUMBER_OF_WDG] =
    {
        {1000, 0}, // WDG_UART1
        {1000, 0,  // WDG_UART2
        {100,  0}  // WDG_TIMER1
        ...
    }
    

    以及 API:

    void wdgReset( eWdg wdg_id )
    {
        wdg[wdg_id].timestamp = tickms() ;
    }
    
    void wdgCheck()
    {
        for( int i = 0; i < NUMBER_OF_WDG; i++ )
        {
            while( tickms() - wdg[i].timestamp > wdg[i].period )
            {
                // spin while timeout expired until 
                // interrupt recovers or hardware watchdog
                // fires
            }
           
            resetHwWatchdog() ;
        }
    }
    

    然后,每个中断通过重置其超时wdgReset(),主循环不断检查软件看门狗,如下所示:

    int main()
    {
        for(;;)
        {
            // do any background processing here
            backgroundTasks() ;
    
            // Check interrupts
            wdgCheck()
        }
    }
    

    然后:

    • 如果主线程停止,硬件看门狗将会触发,
    • 如果任何中断停止,硬件看门狗将触发,
    • 如果中断停止触发,wdgCheck()则将旋转,并且硬件看门狗将触发,
    • 如果一切正常,软件看门狗将被重置,硬件看门狗将由 提供服务wdgCheck(),
    • 每个任务或中断都有其自己的特定周期,以适应应用程序中的预期速率。

    请注意,在 Cortex-M 上,您可以通过 NVIC 发出软件重置,因此您可以选择在软件看门狗到期时立即重置,而不是等待硬件看门狗。

    显然,这只是一个伪代码大纲,纯粹是说明性的——它可以以多种方式进行改进和扩展。如果您要使用 RTOS,您可以类似地保护任务,其中监控器要么在空闲循环中,要么在优先级低于其他任何任务的任务中。

    我建议的一个改进是拥有一个软件看门狗的动态注册表而不是静态数组,并拥有一个 API:

    tWdgHandle wdgCreate( unsigned period ) ;
    

    例如,任务和设备驱动程序可以独立添加自己的看门狗,并wdgCheck()迭代所有已注册的处理程序。任务甚至可以根据需要动态修改周期(​​例如,如果暂时禁用):

    void wdgSetPeriod( tWdgHandle wdg, unsigned period ) ;
    
    • 4
  2. Lundin
    2024-09-18T20:01:51+08:002024-09-18T20:01:51+08:00

    首先,请注意,如果不允许任何任务挂起,那么最简单的方法就是相应地设置硬件看门狗定时器,因为钝的 MCU 复位是处理错误的可接受方法。

    仅在以下情况下才需要软件监督:

    • 发生错误时,您希望在重置 MCU 之前正常停止并终止程序、报告错误等,或者
    • 某些任务即使挂起也被认为不那么重要,或者
    • 您正在实施某种“跛行回家”的方式,即报告错误,但即使在出现错误的情况下也要尽力执行程序(意味着某种关键任务产品)。

    为简单起见,我们假设每个任务最多允许消耗 x 毫秒,没有单独的超时。伪代码可能如下所示:

    typedef err_t task_t (void);  // function template for tasks
    
    
    void main (void)
    {
      /* init everything here */
    
    
      static task_t* const task[] = 
      {
        /* misc tasks in turn calling the drivers */
        uart_task,
        lcd_task,
        buttons_task,
      };
    
      state_t state = UART_STATE; // in case the list of tasks is also some manner of state machine
    
      for(;;)
      {
        kick_dog(); // refresh the hardware WDG here, and only here
    
        err_t result = OK;
        timer_start(n_milliseconds); // some fixed timeout shorter than hw WDG timeout
          do // busy-wait polling
          {
            result = task[state](); // non-blocking call polling something in turn
          } while(!timer_timeout() && result==ERR_BUSY);
        timer_stop();
    
        // here result is either OK, ERR_BUSY meaning timeout, or some other error code
    
        state = error_handler(result); // all error handling and state changes in the program here
      }
    }
    

    在某些系统中,您还可以在安全模式和操作模式之间切换,并且在出现错误时可以恢复到安全模式。

    • 0

相关问题

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行?

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    何时应使用 std::inplace_vector 而不是 std::vector?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Martin Hope
    Aleksandr Dubinsky 为什么 InetAddress 上的 switch 模式匹配会失败,并出现“未涵盖所有可能的输入值”? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge 为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini 具有指定基础类型但没有枚举器的“枚举类”的用途是什么? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer 何时应使用 std::inplace_vector 而不是 std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB 为什么 GCC 生成有条件执行 SIMD 实现的代码? 2024-02-17 06:17:14 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve