嵌入式软件设计之状态机编程开发方案

前言
功能业务代码写多了,回看代码会发现用if-else if-else用的越来越多,因为有很多场景需要区分,不同场景下的功能不一样,因此需要通过if做判断,场景一旦多了起来起来,用if-else if-else就会越来越多。
这里的if-else if-else通常是用来区分不同场景下的功能实现,和上篇提到的表驱动编程还不太一样。
为了避免这种情况,本编介绍一种开发方法--状态机编程。
为什么需要状态机编程?相信很多人在实现if判断的时候,偶尔会出现不小心漏掉或者写错一些触发条件,导致功能出现异常的问题,特别是一些复杂的逻辑条件,一大堆的&&/||/()等眼花缭乱的复杂逻辑,写完之后恐怕自己都得检查好一会,担心是不是哪个条件不能正常触发。状态机通常采用 switch-case实现。
那么状态机的引入解决了哪些问题呢?
当程序有多个状态时,规范了程序的状态转换,避免了一些引入一些复杂的判断逻辑。
规范了程序在不同状态下的实现和所能提供的能力。
在能力上可以进行横向扩展,提供新的状态来完善现有逻辑
逻辑清楚,实现过程会多考虑一些情况,方便定位问题所在
介绍
什么是状态机?
状态机是有限状态自动机(fsm)的简称,是现实事物运行规则抽象而成的一个数学模型。
简单理解就是:现实事物是有不同状态的,比如灯,就有“亮”和“灭”两种状态,再复杂抽象一点,增加一个“损坏”状态,那这属于异常情况了。
概念
现态:当前所处的状态,一个状态机至少要包含两个状态,某一时刻只能是一种状态,比如刚才说到的灯,就有“亮”和“灭”两种状态
条件:又称事件,执行某个操作的触发条件或者口令,比如灯通过开关控制,操作开关就是一个事件
动作:事件发生以后要执行动作,比如开关按下开关,灯亮,松开则灭
次态:条件满足后要迁往的新状态,比如开关按下后灯从当前灭的状态变为亮的状态
用过rtos的朋友应该也知道任务的几种状态,任务的四种状态分别是:就绪态、运行态、阻塞态、挂起态,不会同时出现两种及两种以上的状态存在,os 根据当前的状态,和任务优先级、滴答时钟、主动睡眠等条件进行任务的状态切换。
状态机的动作类型
进入动作:在进入状态时进行
退出动作:在退出状态时进行
输入动作:依赖于当前状态 和 输入条件进行
转移动作:在进行特定转移时进行
实现
首先,看一个简单的例子,在不同场景下实现控制电机的功能:设备开机启动三次电机、开关按下一次启动一次、关机启动三次电机。采用非状态机的写法,通过各种标志位去判断设备是否需要控制电机,什么条件下退出等。
只是简单的实现一下,可能其中也有一些状态机的思想吧(毕竟状态机编程思想已经在脑海里,不可避免吧),不过我还是尽量还原我初次编程期间的实现这个功能的逻辑思想吧,勿怪。
/* 控制电机函数 */void motorctrltask(void){    if (ctrlcnt)    {        motorctrl(on);        delay(1);        motorctrl(off);    }    else    {        motorctrl(off);    }}int ispoweron = true;int ispoweroff = false;int ctrlcnt = 0;void main(void){       while (1)    {        if (ispoweron)        {            ispoweron = false;            ctrlcnt = 3;        }        if (keypress)        {            keypress = false;            ctrlcnt = 1;        }        if (...)  // 关机条件        {            if (ctrlcnt == 0 && !ispoweroff && !ispoweron)            {                ispoweroff = true;                ctrlcnt = 3;            }        }        motorctrltask();        if (ctrlcnt > 0)            ctrlcnt--;        else        {            if (ctrlcnt == 0 && ispoweroff && !ispoweron)            {                return;            }        }    }}
通过采用状态机编程的方式,首先考虑的就是有三种状态:开机、关机和工作状态,先理清楚三种状态之间转换的条件和当前状态需要执行的相关功能,然而在实现过程中就会意识到还需要增加一种过渡状态:关机准备中(关机过程中需要执行的一系列操作)。
只有逻辑清晰了,才会下意识的察觉少了一些东西了,特别是一些临界处理等。
int sysstate = power_off; // 默认关机状态int ctrlcnt = 0;/* 控制电机函数 */void motorctrltask(void){    if (ctrlcnt)    {        motorctrl(on);        delay(1);        motorctrl(off);    }    else    {        motorctrl(off);    }}void main(void){    while (1)    {        switch (sysstate)        {            case power_off: // 关机状态                sysstate = power_on; // 自动切换成开机状态                ctrlcnt = 3;                break;            case power_on:  // 开机过程状态                ... // 开机过程中的其他功能                if (ctrlcnt == 0) // 控制结束自动切换工作状态                {                    sysstate = working;                    break;                }                break;            case working:  // 工作状态                if (...) // 关机条件                {                    sysstate = power_off_ready;                    ctrlcnt = 3;                    break;                }                if (keypress)                {                    keypress = false;                    ctrlcnt = 1;                }                break;            case power_off_ready:  // 关机准备中                ... // 关机准备中的其他功能                if (ctrlcnt == 0) // 控制结束自动退出                {                    sysstate = power_off;                    return; // 退出程序                }                break;            default:                break;        }        motorctrltask();        if (ctrlcnt > 0)            ctrlcnt--;    }} 总结:从上述两份代码看,你觉得哪一个逻辑更清晰呢?非状态机实现方式还有一些异常处理没有实现,比如开机过程中在启动三次调节电机过程中按下会有什么现象呢,为了避免这种情况又需要加入多少if条件判断呢?
适用场景
状态机应用范围挺广的,不止是在c语言中,其他都能使用,准确来说这个属于一种编程思想。特别是业务功能,状态机是常用的。
比如常常使用的模块也有状态机的身影:比如按键的按下和松开,按下又包括按下瞬间、多次按下、持续按下、松开瞬间和持续松开等
通常状态机和表驱动可以结合使用,状态机的现态、条件、动作和次态作为数据,执行这些状态切换的作为逻辑。完全可以根据实际情况灵活使用。
代码参考:
菜单:菜单控制,可以这样理解:当前菜单界面为现态、菜单进入和退出为条件、菜单切换时的函数执行为动作、上下级菜单理解为次态,其中菜单选项表就灵活使用了状态机和表驱动的方式。
https://gitee.com/const-zpc/menu.git
esp8266:at指令数据表,包含指令、期望响应、时间和函数指针【后续的动作】等,可以这样理解:数组索引当前值为现态、收到响应和超时为条件、收到响应或超时执行的函数为动作、数组索引的未来值为次态
https://gitee.com/const-zpc/esp8266
esp8266:at指令数据表,包含指令、期望响应、时间和函数指针【后续的动作】等,可以这样理解:数组索引当前值为现态、收到响应和超时为条件、收到响应或超时执行.


浅谈AI的前景和潜在隐患
dc ac逆变器电路图
网联汽车里面的车载智能终端包括了哪些芯片等模块?
零线带电的四种原因
ZYNQ进阶:PL端实现串口UART的接收设计
嵌入式软件设计之状态机编程开发方案
电力电缆的故障原因及检修方法
英国警方计划了解比特币一线警员必须学习比特币
iPhone无线显示投屏的软件有哪些?手机如何投屏电脑?
电动车充电新突破?边开边充成为可能
土壤氧化还原电位仪是什么
区别于传统平面式 一文带你了解超级结MOSFET
可弯曲电池设计技术为苹果iOS设备带来了什么?
带隔离膜压力变送器的工作原理及设计
一文分析2020年存储器的行业现状
相比其他系统的内核设计Linux是否已经过时?
用于SS-OCT的14位数字化仪ADQ14OCT
digilentAnalog Discovery配件包简介
Linux小项目-行车记录仪项目设计
串口转HID键盘鼠标芯片沁恒CH9329特点与引脚图