详论单片机固件模块化架构设计(精华)

本文探讨了单片机程序的模块化设计策略,强调了架构设计的重要性,尤其是在提高代码可读性、可移植性和可维护性方面。通过实例展示了模块化设计在固件开发中的应用,包括裸机和RTOS环境下的集成框架。

[导读] 为什么写本文?做公号两月,遇到一些初学单片机的同学,刚刚入手做单片机开发,还没有涉及到使用RTOS,且刚入手直接上RTOS可能会有些难度,有的使用的相对较老单片机资源还有限,也不适合跑RTOS。或者使用RTOS,在整体思路上比较迷茫,不知从何入手,所以本文来聊聊我对单片机程序的整体框架设计的一些思路体会。

为啥要讨论架构

单片机系统开发人员的目标之一是在编程环境中创建固件,以实现低成本系统、软件可靠性以及快速的开发迭代时间。 实现这种编程环境的最佳方法实践是使用统一的固件架构体系结构,该体系结构在产品开发过程中充当框架并支持“固件模块化”,或称为子系统。

如果不采用统一的设计架构,那么其业务需求耦合关系复杂,不采用先设计-后开发的方法论,想到哪里写到哪里,则程序后期维护将变得异常艰辛,而引入潜在bug/缺陷的风险也将大大增加,且不具备多人协同开发的可能。

可以结合固件模块化、可测试性和兼容性的正确组合的设计体系架构结构应用于任何固件开发项目,以最大程度地提高代码可复用性,加快固件调试速度并提高固件可移植性。

模块化架构设计?

模块化编程将程序功能分解为固件模块/子系统,每个模块执行一个功能,并包含完成该功能所需的所有源代码和变量。
在这里插入图片描述

模块化/子系统化有助于协调团队中许多人的并行工作,管理项目各个部分之间的相互依赖关系,并使设计人员、系统集成人员能够以可靠的方式组装复杂的系统。 具体来说,它可以帮助设计人员实现和管理复杂性。 随着应用程序的大小和功能的增长,需要模块化才能将它们分成单独的部分(无论是作为“组件”,“模块”还是“子系统”)。 然后,每个这样分离的部分就成为模块化体系结构的一个元素。 这样,可以使用定义明确的界面隔离和访问每个组件。 此外,模块化编程可提高固件的可读性,同时简化固件的调试,测试和维护。

**即便是一个人独立开发一个项目,这样做依然在代码的调试、可读性、可移植性方面是最佳实践的整体策略。如果代码设计良好,则在其他项目可以轻松应用。而且模块经过上一项目的测试验证,在新的项目中再次应用其缺陷风险将大幅降低。所以每做一个项目,以这种策略不断积累模块"轮子"组件,随着经验的增长,积累的“轮子”就越来越多,也越来越好。所以其优点是显而易见的,否则每做一个项目,都从轮子造起,开发时间长不说,开发水平也得不到提高,重复性工作也很枯燥。**比如前文中谈到的非易失存储管理子系统,如设计良好,就变成一个可靠的可移植的轮子。这段话请深入理解,并拿走不谢!

固件模块原理

固件开发中模块化编程的基本概念是创建固件模块。 从概念上讲,模块代表关注点分离。 在计算机科学中,关注点分离是将计算机程序分解为功能很少重叠的独特功能的过程。 关注点是程序的任何关注点或功能,并且与功能或行为同义。关注点分离的发展传统上是通过模块化和封装来实现的,其实也就是解耦思想。

固件模块可以分为几种类型:

  • 与很多上层用户模块都有关的代码被实现为单独的固件模块。 常见的如底层硬件相关的抽象实现。例如,hal_adc.c 是ADC用户模块的固件模块,而hal_timer.c是Timer用户模块的固件模块。
  • 用于特定纯软件算法的代码被实现为单独的固件模块。 例如,alg_filter.c是执行软件过滤器(例如中值过滤器,均值过滤器或加权均值过滤器、IIR/FIR滤波)的固件模块。
  • 特定应用程序的代码实现为单独的固件模块。 例如,app_battery.c是电池充电器应用程序的固件模块。
    特定工具的代码实现为单独的固件模块。 例如,debug_print.c是用于实现日志打印功能的固件模块。

实施估计模块化设计的一些规则:

  • 所有与模块相关的功能都应集成到单个源文件中,这是高内聚的体现。
  • 模块对外提供一个头文件,该文件声明了该模块的所有资源(硬件依赖/宏/常量/变量/函数)。尽量用struct将紧密相关的变量进行集总封装。
  • 在源文件中包括自检代码部分,以实现该模块模块的所有自检功能。
  • 固件模块的接口应经过精心设计和定义。
  • 由于固件取决于硬件,因此需要在源文件头中明确提及硬件的相关性。比如利用宏将硬件依赖转定义,或者利用函数将基本操作进行封装。则在新的架构体系,仅仅需要移植这部分实现即可使用。
  • 通常,固件模块可供其他团队成员在其他项目中使用。 可能涉及到管理更改,缺陷修复、所有者应维护模块。 源文件头应包含“作者”和“版本”信息。
  • 固件在某种程度上取决于编译器。 源文件头中应声明基于什么开发环境进行过验证,以指定编译器或与IDE相关的信息。

需要注意的是,模块化设计会引入一些调用开销,也可能增加固件尺寸大小。在实际实现时,折中考量。不要过度模块化,所以建议采用高内聚、低耦合的实现策略。在前面文章中有谈到过的呼吸机PB560的设计,看过其代码,本打算解读一下其代码设计,但读下来发现,其设计过度模块化了,没有实现高内聚的思想。其源代码很多源文件仅仅实现了一个函数,而不是把一类问题集中抽象实现,后来就放弃了其代码解读。

如何拆分模块?

做工程开发,一定是需求驱动的。第一件事需要对需求有比较清晰的认知,然后才能设计一个比较合理的框架。我们需要实现什么?大致总体设计过程策略我的基本采用如下图所示思路(我比较喜欢绘图,图会让人比较直观)
在这里插入图片描述

问自己第一个问题是:这个项目要实现什么主要功能?这个来自哪里?如果是实际产品开发,则可能来自市场的需求,如果是自己的DIY项目,也一定会YY出一个大致的想法?总之不管源自何方,需求总要先梳理清楚。那么需求一般意义上包含哪些呢?

  • 哪些是硬件IO接口需求,比如开关量输入,ADC采样,I2C/SPI通信等等
  • 哪些是业务逻辑需求,比如要采集一个传感器量数据,控制一个加热装置,那么这是高内聚的需求。
  • 哪些是算法相关的技术需求,比如产品中哪些信号需要滤波处理,哪些需要做频域分析等等。
  • 是否有对外的通信协议需求。
  • 是否有业务数据需要历史存储,或者设备参数需要掉电保存
  • 是否需要有日志打印需求。
  • 不一而足。

结合固件模块原理以及相关指导原则,那么将相关性高的需求,抽象实现在一系列的模块中,在由这一系列模块配合实现某个相关性高的业务需求,再进一步这些模块就变成一个子系统。多个子系统在main.c的调度下,协调完成产品的整体功能。

如何集成调度

对于某些不使用RTOS的应用而言,可以使用如下的框架进行:

void main(void)
{
   /*各模块初始化*/
   init_module_1();
   init_module_2();   
   ....
   while(1)
   {
       /*实现一个定时调度策略*/
       if(timer50ms)
       {
           timer50ms = 0app_module_1();
       }
       if(timer100ms)
       {
           timer100ms = 0app_module_2();
       }
       
       /*异步请求处理,如中断后台处理*/
       if(flag1)
       {
           communication_handler();
       }
       .....
   }
}

对于基于RTOS的集成实现举例:

void task1(void)
{
    /*处理子系统相关的初始化*/
    init_task1();
    while(1)
    {
       /*应用相关调用*/
       task1_mainbody();
       ....
    }
}
....
void taskn(void)
{
    /*处理子系统相关的初始化*/
    init_taskn();
    while(1)
    {
       /*应用相关调用*/
       taskn_mainbody();
       ....
    }
}

void main(void)
{
    /*一些基本硬件相关初始化,比如IO,时钟,OS tick定时器等*/
    init_hal();
    ......
    
    /*一些基本RTOS初始化*/
    init_os();
    
    /*任务创建*/
    os_creat("task1",task1,栈设置,优先级,...);
    ......
    os_creat("taskn",taskn,栈设置,优先级,...);
    
    /*启动OS调度器,交由OS调度管理应用任务*/
    os_start();
}

具体不同的RTOS,其函数名各有不同,但大致思路一般都差不多。

总结一下

本文从为什么需要模块化设计整体架构,到这样做的好处,以及具体做的一些指导原则,再到实际中如何实现,怎么做到高内聚低耦合,提供了一些个人工作中的体会以及思路。同时对于裸机程序整体框架、基于RTOS的集成框架做了两个demo,基本能解决大部分的框架思路问题。将前文中的一些个人推崇的原则,在加粗总结下:

  • 所有与模块相关的功能都应集成到单个源文件中,这是高内聚的体现。
  • 模块对外提供一个头文件,该文件声明了该模块的所有资源(硬件依赖/宏/常量/变量/函数)。尽量用struct将紧密相关的变量进行集总封装。
  • 在源文件中包括自检代码部分,以实现该模块模块的所有自检功能。
  • 固件模块的接口应经过精心设计和定义。
  • 由于固件取决于硬件,因此需要在源文件头中明确提及硬件的相关性。比如利用宏将硬件依赖转定义,或者利用函数将基本操作进行封装。则在新的架构体系,仅仅需要移植这部分实现即可使用。
  • 通常,固件模块可供其他团队成员在其他项目中使用。 可能涉及到管理更改,缺陷修复、所有者应维护模块。 源文件头应包含“作者”和“版本”信息。
  • 固件在某种程度上取决于编译器。 源文件头中应声明基于什么开发环境进行过验证,以指定编译器或与IDE相关的信息。

极力建议采用先设计-后开发的模式,忌讳逐步debug,想到哪里写到哪里。当然对于新手学习而言,后一种模式,可以逐步渐进迭代,也可以比较快的增长经验。当然如何取舍,全凭个人意愿。

相信您如深入阅读,细细体会,应该从设计思想上得到些领悟,有所提高。如果能帮助到您,则我心甚慰,也不枉辛苦码了这么多字。
版权声明:所有文章版权归嵌入式客栈所有,如商业使用,须嵌入式客栈授权。欢迎关注微信公众号,内容更丰富。
在这里插入图片描述

状态模式是GoF23个模式中最常用的之一,这篇小文不打算涉及方方面面的内容,只想在状态模式的高效运用方面谈一下自己的心得体会。   状态模式是用来设计状态机的,因此下面的叙述中将它们等同理解。有关状态机设计方面的书籍,我这里隆重推荐一本:《Practical Statecharts in C/C++ Quantum Programming for Embedded Systems》,中文名叫做《嵌入式系统的微模块化程序设计-实用状态图C/C++实现》,北航出版的,作者是Miro Samek博士,长期从事嵌入式实时系统的开发,具有丰富的经验。如果你想对状态机领域进行比较深入的研究,这本书绝对不容错过。   让我们先来看看比较“古老”的状态机实现,假设你还是用C语言。一般而言,我们用得到状态机系统都可以称为事件(消息)驱动系统,系统往往处于某个状态,等待外部的激励。这些激励可以是外部的事件、定时器超时等等,系统收到这些事件后,进行相应的处理,然后跃迁到新的状态(状态也可能不变)继续等待下一个激励的到来,最后直到相应的事务处理完毕为止。   典型的状态机实现中需要考虑几个要素:状态、消息(及其内容)、消息处理函数以及系统上下文等。系统处于某个状态,收到某个消息后,解析出消息内容,然后调用相应的消息处理函数进行处理,而消息处理函数往往会用到状态机的上下文数据,消息处理完毕系统会跃迁到新的状态。   典型代码大致如下:   switch (state)   {    case STATE1:    switch (msg)    {    case MSG1:    HandleMsg1(msgpara,context);    nextstate(STATE2);    break;    case MSG2:    HandleMsg2(msgpara,context);    nextstate(STATE3);    break;    /*......*/    }    case STATE2:    switch (msg)    {    case MSG3:    HandleMsg3(msgpara,context);    nextstate(STATE3);    break;    /*......*/    }    /*......*/   }   可以看到这就是所谓的平面状态机,特点就是先枚举状态,然后再枚举消息,如果找不到的话,就将消息丢弃。   为了使状态机更高效的运行,这里有几个小技巧,稍为总结一下。   (1)把接收概率大的消息放在前面   把同一个状态下最有可能收到的消息放在前面。一个状态下可能要处理很多消息,这视乎你状态划分的粒度大小。每个消息收到的机会并不是均等的,有些消息系统收到的概率很大,有些很小,因此把接收概率大的消息放在前面,这样可以减少case消息时的比较次数,相应的执行效率就提高了。对于一个状态机的运行而言,这样的节省当然微乎其微,但假如你的系统同时运行成千上万个这种状态机时,那么就有必要考虑一下这种优化了。   (2)查表法   第(1)种方法再怎么优化,也需要枚举状态和消息,假如能把这方面的开销变成零,那么效率自然可以进一步提升。我们可以想象把消息处理函数指针放在一个二维数组(表)中,其中一维代表状态,另外一维代表消息序号,那么通过p[state][msg]就可以定位到当前状态下当前消息的处理函数。对一些简单的应用,甚至可以把新状态也存放在这张二维表中,这样的好处是用户不需要显示调用状态跃迁函数。当然对于一些状态有不同执行路径的情况,状态的跃迁可能就要放在消息处理函数之中。   (3)消息先分段再查表   一般而言,一个状态机的状态数目不会很多,当然接收的消息数目也是有限的。但一般来说,消息是不连续的,这样应用查表法可能内存的开销就比较大,尤其是消息序号比较稀疏的时候,内存更加浪费。   在一般的嵌入式软件开发中,我发现往往可以将消息进行归类分段,比方说一个接口的消息定义成一段。这样虽然消息不连续,但通过分段后可以将消息放在一个较紧凑的内存空间中,在这个空间里再运用查表法,就有可能达到效率和空间开销的平衡。注意,我是说有可能,并不是一定,这取决于具体情况。系统收到消息后,先判断消息处于哪个分段,然后调用p[state][msg - offset]来进行处理
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

嵌入式客栈

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值