有限状态机在单片机和 Arduino 编程中的应用,个人认为在实际中这是一种思想,意味着解决一类问题。
本帖最后由 张飞 于 2015-3-4 20:18 编辑
在单片机编程中,如果在不使用操作系统的情况下同时执行多个任务,可能会遇到下面这些情况:
本文介绍的有限状态机,可以做到将一个耗时较多的复杂任务分解为多个简单任务,同时使代码逻辑更加清晰,从而解决上述问题。
(本文原载于我的博客,转载时请保留此链接: http://blanboom.org/finite-state-machine-in-microcontrollers.html)
目录:
1. 什么是有限状态机
根据维基百科上的定义,有限状态机(finite-state machine, FSM,简称状态机)是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。[
为了理解这句话,假设自己还有三天就要考试,这时候就要进入紧张的备考状态,将空闲时间用在复习上。但是,为了保证足够的精力,小睡一会儿也是十分有必要的。那么,什么时候复习,什么时候睡觉呢?可以这样描述:
在复习的时候:
在小睡的时候:
也可通过一幅简单的示意图(也叫「状态转移图」)表示出来:
这个例子其实就是一个简单的有限状态机,其中,复习和小睡是两个状态,感觉瞌睡和感觉清醒这两个条件可以使状态发生转换。[
另外,Programming Basics [ 网站上也提供了状态机相关的教程,用形象化的图片解释了什么是有限状态机,可通过此链接访问。
在嵌入式程序设计中,如果一个系统需要处理一系列连续发生的任务,或在不同的模式下对输入进行不同的处理,常常使用有限状态机实现。例如测量、监测、控制等控制逻辑型应用。[
2. 有限状态机的作用
2.1 分解耗时过长的任务
大家应该都知道,CPU 没有并行执行任务的能力。计算机「同时」运行多个程序,其实是多个程序依次交替执行,给人以程序同时运行的错觉。各个程序在什么时候开始执行,执行多长时间后切换到下一个程序,由操作系统决定。
单片机执行多任务也是类似的过程,但由于其资源有限,为了节省对 CPU 和存储空间的占用,在很多情况下没有使用操作系统。这时,单片机中运行的各个任务必须在一定时间内主动执行完毕,才能保证下一个任务能够及时执行。
对于一些需要长时间执行的任务,例如按键去除抖动、读取和播放 MP3 文件等,采用有限状态机的方式,将任务划分为多个小的步骤(状态),每次只执行其中的一步。这样,其他任务就有机会「插入」到这个任务之中,确保了各个任务都能按时执行。
2.2 避免软件延时对 CPU 资源造成浪费
对于一些简单的程序,可通过 delay(), delay_ms() 之类的函数进行软件延时。这些延时函数,一般是通过将某个变量循环递加或递加,递加或递减到一定值后跳出循环,从而通过消耗 CPU 时间实现了延时。
这种方式虽然简单,但在延时函数执行的过程中,其他程序无法运行,消耗了大量 CPU 资源。而通过状态机,有助于减少软件延时的使用,提高 CPU 利用率。
请参考下文中的 示例一:按键去抖动程序的优化,这一例子展示了如何通过软件延时分解耗时较长的任务,同时减少软件延时的使用。
2.3 使程序逻辑更加清晰
通过状态机,将一个复杂任务划分为多个状态,可以使程序清晰易懂,便于维护。以后想要添加、删除程序中的功能,都会变得非常容易。
下文中的 示例二:通过状态机实现的闹钟 展示了如何通过状态机优化程序逻辑。
3. 有限状态机的实现 3.1 通过 switch - case 语句实现
如果使用 C 语言,switch - case 语句,即可简单地实现有限状态机。
ARDUINO 代码复制
打印
通过这段程序,即可实现一个具有三个状态的状态机。状态转移图如下图所示:
3.2 通过 Arduino 库实现
对于 Arduino 用户,还可以使用 FSM Library 实现。这一库将有限状态机进行了封装,可以以更简洁的方式实现状态机。
3.3 其他方式
对于一些更复杂的任务,使用 switch - case 语句,代码会不太简洁。这时候,使用其他方式实现状态机,可能会更好。具体请查阅相关资料。
4. 示例一:按键去抖动程序的优化 4.1 传统的按键去抖动程序
初学单片机时,我们接触的按键去抖动程序一般是这样的 [:
ARDUINO 代码复制
打印
对应的流程图如下:
从流程图中可知,delayms() 延时函数和最后的等待按键释放的程序,会占用过多时间。
4.2 优化后的按键去抖动程序
如果使用有限状态机的思路,可以按照下图方式实现:
该状态机有三个状态,分别是按键未按下,等待,按键按下。当按键按下时,则会进入等待状态,若在等待状态中按键一直保持按下,说明按键已经稳定地按下,进入按键按下的状态,等待按键释放。程序代码如下:
ARDUINO 代码复制
打印
该程序也可经过扩展,实现判断按键双击、长按等功能。只需增加相应的状态和转移条件即可。
5. 示例二:通过有限状态机实现的闹钟程序
最近正在制作一个闹钟。这个闹钟支持播放 MP3 格式的闹钟声 [,支持贪睡模式,同时还有一些功能打算以后再添加上。
为了使程序逻辑更加清晰,也为了更方便地添加新功能,我打算采用有限状态机实现。相关程序如下:
ARDUINO 代码复制
打印
状态转移图如图所示:
6. 后记 在单片机编程时,如果遇到代码复杂、任务占用时间过长等问题,可以尝试通过有限状态机解决。
之前写过一个针对 Arduino 的合作式任务调度器。配合有限状态机,更有利于多任务处理。
另外,instructables 上的一篇文章通过三个实例演示了有限状态机在 Arduino 上的应用,如果感兴趣,可以通过这个链接阅读:http://www.instructables.com/id/Arduino-Finite-State-Machine/
备注:
|