来源:https://gitee.com/simpost/efsm/tree/master/
介绍
efsm(event finite state machine,事件驱动型有限状态机),是一个基于事件驱动的有限状态机,主要应用于嵌入式设备的软件系统中。
efsm的设计原则是:简单!efsm的使用者只需要关心:
当事件到来时,通过efsm取得对应事件的处理方法;
当特定事件到来,或者条件满足时,调用状态切换方法进行状态切换。
由于efsm的巧妙设计,避免了命名冲突的问题,你可以在一个程序中定义多个状态机;要是能对不同状态进行组织,还可以做出层次状态机的结构。
efsm总共分为两个部分:
efsm核心:由uthash.h、efsm.h和efsm_conf.h三个文件组成;他们构成了事件驱动型状态机的核心;使用的时候只需要包含efsm.h即可;
efsm扩展:在efsm核心的基础上,增加efsmt.h和efsmt.c两个文件,这两个文件会根据具体的状态机创建状态机线程,用于驱动状态机运转;使用的时候只需要包含efsmt.h即可;
接口总览
efsm总共提供了两套接口,你只需要选择其中套用法即可。全部接口概述如下:
使用状态机工具集(efsm核心)
若你想自己把控状态机的整个运转过程,可以直接使用efsm核心,详细接口如下。
1. 状态操作接口
2. 状态指针操作接口
3. 状态切换接口
4. 获取处理函数接口
使用状态机
若你不关心状态机的内部细节实现,需要一个可直接运转的状态机,那么请使用efsmt.h头文件,并将efsmt.c编译进你的源码。详细接口如下。
1. 状态操作接口
2. 状态机操作接口
3. 状态切换接口
4. 触发事件接口
总结
从接口可以看出,创建处理集与状态集,和状态切换方法是完全一样的;两种方法的唯一差异就是:当事件来了之后,事件对应的处理是由你来控制,还是由状态机内部进行控制。
使用说明
要使用efsm,非常简单,只需要如下三步:定义事件集、定义状态集、使用状态集。
定义事件集
在我们设计业务/功能时,首先对需要使用到的事件进行定义。具体实现方法是在efsm_event.h文件中,使用efsm_event()宏定义需要的事件。如果你需要定义多个状态机,那请将不同状态机的事件分块保存,建议使用enum进行管理。比如:
enum { event_play = efsm_event(1), event_stop = efsm_event(2), event_next = efsm_event(3), event_prev = efsm_event(4), event_start = efsm_event(7), //not require continuous };
定义状态集
定义状态:使用efsm_create(state)创建一个状态state;在其它使用到它的地方用efsm_declear(state)宏进行声明;
定义处理集:使用efsm_sets state_sets定义一个状态集合state_sets,其中每个事件可以对应一个处理函数,也可以对应多个函数,当然也可以为null;处理函数需满足如下格式:
typedef void (*efsm_event_handler)(efsm_event_type event, void *arg);
绑定状态与处理集:在模块初始化函数中调用efsm_bind(state, sets)宏将状态state与处理集sets进行绑定;
使用状态集
当为模块/产品实现了所有的状态,那么编写业务应用程序来实现调度,让所有的状态机完美的运作起来。具体使用方法如下:
定义状态指针:使用efsm_ptr_create(name)定义一个状态指针name;当然你也可以定义多个状态指针,每个指针对应一个状态机。在其它使用到该状态指针的地方使用efsm_ptr_declear(name)宏进行声明;
绑定初始状态:在整个状态机运作之前,需要使用efsm_ptr_bind(name, state)宏将状态指针name与状态state进行绑定;
获取处理函数指针:当接收到某个事件时,可以通过efsm_handler(name,event)宏从状态指针name中获取对该事件的处理方法,第一个参数是状态指针,第二个参数为事件;
状态切换:当遇到某个事件,或者在事件处理函数中条件满足,需要进行状态切换时,使用下面流程进行切换:
efsm_transfer_enable(name);efsm_transfer(name, state);efsm_transfer_disable(name);
efsm_transfer_enable(name)宏使能状态指针name的切换能力;
efsm_transfer_disable(name)宏除能状态指针name的切换能力;
efsm_transfer(name, state)宏执行状态指针name切换到state;
注意:做状态切换时,必须满足enable()->transfer()->disable()的流程。这么做的目的,是为了让编程者思考:状态设计与状态的跳转是否必要与合理。
常见问题
使用过程中若遇到如下错误,是因为在正式使用前,没有把状态指针绑定到具体的状态:
efsm: cur-state-ptr have't bind a state: %xxx!!! 使用过程中若遇到如下错误,是因为状态切换动作不满足enable()->transfer()->disable()的流程:efsm: 'xxx' switch to 'xxx' failed!!! 使用过程中,若遇到了死锁或卡死,是因为状态切换动作不满足enable()->transfer()->disable()的流程。 命名定义了处理函数,为什么每次efsm_handler()得到的都是null?答:因为你没有将状态与事件集进行绑定。 对于某个状态没有使用到的事件,我是否可以不对其定义? 答:完全可以,这样还可以加快efsm的处理速度。不过不建议直接删除,而采用注释的形式,比如:efsm_sets online[] = { {event_play, online_play}, /*{event_stop, null}, */ {event_next, online_next}, /*{event_prev, null}, */ {event_start, online_start}, };
原汁机电机行星齿轮传动设计方案
关于电动车充电桩安装条件,电动车充电桩安装条件介绍
什么叫软包锂电池
格兰仕宣布推出两款家电芯片,与RISC-V芯片企业达成战略合作
百度正式组建智能汽车公司
一个基于事件驱动的有限状态机
物联网技术为汽车行业和联网汽车的发展铺平了道路
在苹果M1电脑上玩Windows游戏,是什么体验?
家电业处于下行周期 智能化成家电业新的增长点
比例阀怎样调节大小_比例阀作用
一文带你看懂“亚洲最大智能化制造车间” 三一造
畅游网络无界限,华为云连接CC服务打造全球级云网络
面向未来工程师教育,泰克助力坦普尔大学创造尖端工程设计空间
基于Motionchip的直流无刷伺服电机运动控制系统设计和
makefile的基本语法
传百度有意打造自主研发的智能汽车
iPhone8什么时候上市?iphone7s/iphone8九月一同发布,史上最贵的iphone 8,我还是买iphone7s吧
苹果a17处理器规格参数是多少
MAX532 双路、串行输入、电压输出、乘法、12位DAC
AT&T部署Synchronoss个人云解决方案