一個輕量級的開源嵌入式狀態(tài)機框架
加入技術交流群
Zorb Framework是一個基于面向對象的思想來搭建一個輕量級的嵌入式框架。
本次分享的是Zorb Framework的狀態(tài)機的實現。中小型嵌入式程序說白了就是由各種狀態(tài)機組成，因此掌握了如何構建狀態(tài)機，開發(fā)嵌入式應用程序可以說是手到拈來。
簡單的狀態(tài)機可以用Switch-Case實現，但復雜一點的狀態(tài)機再繼續(xù)使用Switch-Case的話，層次會變得比較亂，不方便維護。
因此我們?yōu)閆orb Framework提供了函數式狀態(tài)機。
狀態(tài)機的功能項目地址：https://github.com/54zorb/Zorb-Framework
我們先來看看要實現的狀態(tài)機提供什么功能：初步要提供的功能如下：
- 可以設置初始狀態(tài);
- 可以進行狀態(tài)轉換;
- 可以進行信號調度;
- 最好可以在進入和離開狀態(tài)的時候可以做一些自定義的事情;
- 最好可以有子狀態(tài)機;
因此，初步設計的數據結構如下：
`/* 狀態(tài)機結構 */
struct _Fsm
{
uint8_t Level; /* 嵌套層數，根狀態(tài)機層數為1，子狀態(tài)機層數自增 */
/* 注：嚴禁遞歸嵌套和環(huán)形嵌套 */
List *ChildList; /* 子狀態(tài)機列表 */
Fsm *Owner; /* 父狀態(tài)機 */
IFsmState OwnerTriggerState; /* 當父狀態(tài)機為設定狀態(tài)時，才觸發(fā)當前狀態(tài)機 */
/* 若不設定，則當執(zhí)行完父狀態(tài)機，立即運行子狀態(tài)機 */
IFsmState CurrentState; /* 當前狀態(tài) */
bool IsRunning; /* 是否正在運行(默認關) */
/* 設置初始狀態(tài) */
void (*SetInitialState)(Fsm * const pFsm, IFsmState initialState);
/* 運行當前狀態(tài)機 */
bool (*Run)(Fsm * const pFsm);
/* 運行當前狀態(tài)機和子狀態(tài)機 */
bool (*RunAll)(Fsm * const pFsm);
/* 停止當前狀態(tài)機 */
bool (*Stop)(Fsm * const pFsm);
/* 停止當前狀態(tài)機和子狀態(tài)機 */
bool (*StopAll)(Fsm * const pFsm);
/* 釋放當前狀態(tài)機 */
bool (*Dispose)(Fsm * const pFsm);
/* 釋放當前狀態(tài)機和子狀態(tài)機 */
bool (*DisposeAll)(Fsm * const pFsm);
/* 添加子狀態(tài)機 */
bool (*AddChild)(Fsm * const pFsm, Fsm * const pChildFsm);
/* 移除子狀態(tài)機(不釋放空間) */
bool (*RemoveChild)(Fsm * const pFsm, Fsm * const pChildFsm);
/* 調度狀態(tài)機 */
bool (*Dispatch)(Fsm * const pFsm, FsmSignal const signal);
/* 狀態(tài)轉移 */
void (*Transfer)(Fsm * const pFsm, IFsmState nextState);
/* 狀態(tài)轉移(觸發(fā)轉出和轉入事件) */
void (*TransferWithEvent)(Fsm * const pFsm, IFsmState nextState);
};關于信號，Zorb Framework做了以下定義：
/* 狀態(tài)機信號0-31保留，用戶信號在32以后定義 */
enum {
FSM_NULL_SIG = 0,
FSM_ENTER_SIG,
FSM_EXIT_SIG,
FSM_USER_SIG_START = 32
/* 用戶信號請在用戶文件定義，不允許在此定義 */
};創(chuàng)建狀態(tài)機實現代碼如下：
bool Fsm_create(Fsm ** ppFsm) {
Fsm *pFsm;
ZF_ASSERT(ppFsm != (Fsm **)0)
/* 分配空間 */
pFsm = ZF_MALLOC(sizeof(Fsm));
if (pFsm == NULL)
{
ZF_DEBUG(LOG_E, "malloc fsm space errorrn");
return false;
}
/* 初始化成員 */
pFsm->Level = 1;
pFsm->ChildList = NULL;
pFsm->Owner = NULL;
pFsm->OwnerTriggerState = NULL;
pFsm->CurrentState = NULL;
pFsm->IsRunning = false;
/* 初始化方法 */
pFsm->SetInitialState = Fsm_setInitialState;
pFsm->Run = Fsm_run;
pFsm->RunAll = Fsm_runAll;
pFsm->Stop = Fsm_stop;
pFsm->StopAll = Fsm_stopAll;
pFsm->Dispose = Fsm_dispose;
pFsm->DisposeAll = Fsm_disposeAll;
pFsm->AddChild = Fsm_addChild;
pFsm->RemoveChild = Fsm_removeChild;
pFsm->Dispatch = Fsm_dispatch;
pFsm->Transfer = Fsm_transfer;
pFsm->TransferWithEvent = Fsm_transferWithEvent;
/* 輸出 */
*ppFsm = pFsm;
return true;
}調度狀態(tài)機實現代碼如下：
`/******************************************************************************
* 描述 ：調度狀態(tài)機
* 參數 ：(in)-pFsm 狀態(tài)機指針
* (in)-signal 調度信號
* 返回 ：-true 成功
* -false 失敗
******************************************************************************/
bool Fsm_dispatch(Fsm * const pFsm, FsmSignal const signal) {
/* 返回結果 */
bool res = false;
ZF_ASSERT(pFsm != (Fsm *)0)
if (pFsm->IsRunning)
{
if (pFsm->ChildList != NULL && pFsm->ChildList->Count > 0)
{
uint32_t i;
Fsm * pChildFsm;
for (i = 0; i < pFsm->ChildList->Count; i++)
{
pChildFsm = (Fsm *)pFsm->ChildList
->GetElementDataAt(pFsm->ChildList, i);
if (pChildFsm != NULL)
{
Fsm_dispatch(pChildFsm, signal);
}
}
}
if (pFsm->CurrentState != NULL)
{
/* 1:根狀態(tài)機時調度
2:沒設置觸發(fā)狀態(tài)時調度
3:正在觸發(fā)狀態(tài)時調度
*/
if (pFsm->Owner == NULL || pFsm->OwnerTriggerState == NULL
|| pFsm->OwnerTriggerState == pFsm->Owner->CurrentState)
{
pFsm->CurrentState(pFsm, signal);
res = true;
}
}
}
return res;
}篇幅有限，其它接口實現可閱讀：
狀態(tài)機測試https://github.com/54zorb/Zorb-Framework
/**
*****************************************************************************
* @file app_fsm.c
* @author Zorb
* @version V1.0.0
* @date 2018-06-28
* @brief 狀態(tài)機測試的實現
*****************************************************************************
* @history
*
* 1. Date:2018-06-28
* Author:Zorb
* Modification:建立文件
*
*****************************************************************************
*/
#include "app_fsm.h"
#include "zf_includes.h"
/* 定義用戶信號 */
enum Signal
{
SAY_HELLO = FSM_USER_SIG_START
};
Fsm *pFsm; /* 父狀態(tài)機 */
Fsm *pFsmSon; /* 子狀態(tài)機 */
/* 父狀態(tài)機狀態(tài)1 */
static void State1(Fsm * const pFsm, FsmSignal const fsmSignal);
/* 父狀態(tài)機狀態(tài)2 */
static void State2(Fsm * const pFsm, FsmSignal const fsmSignal);
/******************************************************************************
* 描述 ：父狀態(tài)機狀態(tài)1
* 參數 ：-pFsm 當前狀態(tài)機
* -fsmSignal 當前調度信號
* 返回 ：無
******************************************************************************/
static void State1(Fsm * const pFsm, FsmSignal const fsmSignal) {
switch(fsmSignal)
{
case FSM_ENTER_SIG:
ZF_DEBUG(LOG_D, "enter state1rn");
break;
case FSM_EXIT_SIG:
ZF_DEBUG(LOG_D, "exit state1rnrn");
break;
case SAY_HELLO:
ZF_DEBUG(LOG_D, "state1 say hello, and want to be state2rn");
/* 切換到狀態(tài)2 */
pFsm->TransferWithEvent(pFsm, State2);
break;
}
}
/******************************************************************************
* 描述 ：父狀態(tài)機狀態(tài)2
* 參數 ：-pFsm 當前狀態(tài)機
* -fsmSignal 當前調度信號
* 返回 ：無
******************************************************************************/
static void State2(Fsm * const pFsm, FsmSignal const fsmSignal) {
switch(fsmSignal)
{
case FSM_ENTER_SIG:
ZF_DEBUG(LOG_D, "enter state2rn");
break;
case FSM_EXIT_SIG:
ZF_DEBUG(LOG_D, "exit state2rnrn");
break;
case SAY_HELLO:
ZF_DEBUG(LOG_D, "state2 say hello, and want to be state1rn");
/* 切換到狀態(tài)1 */
pFsm->TransferWithEvent(pFsm, State1);
break;
}
}
/******************************************************************************
* 描述 ：子狀態(tài)機狀態(tài)
* 參數 ：-pFsm 當前狀態(tài)機
* -fsmSignal 當前調度信號
* 返回 ：無
******************************************************************************/
static void SonState(Fsm * const pFsm, FsmSignal const fsmSignal) {
switch(fsmSignal)
{
case SAY_HELLO:
ZF_DEBUG(LOG_D, "son say hello only in state2rn");
break;
}
}
/******************************************************************************
* 描述 ：任務初始化
* 參數 ：無
* 返回 ：無
******************************************************************************/
void App_Fsm_init(void) {
/* 創(chuàng)建父狀態(tài)機，并設初始狀態(tài) */
Fsm_create(&pFsm);
pFsm->SetInitialState(pFsm, State1);
/* 創(chuàng)建子狀態(tài)機，并設初始狀態(tài) */
Fsm_create(&pFsmSon);
pFsmSon->SetInitialState(pFsmSon, SonState);
/* 設置子狀態(tài)機僅在父狀態(tài)State2觸發(fā) */
pFsmSon->OwnerTriggerState = State2;
/* 把子狀態(tài)機添加到父狀態(tài)機 */
pFsm->AddChild(pFsm, pFsmSon);
/* 運行狀態(tài)機 */
pFsm->RunAll(pFsm);
}
/******************************************************************************
* 描述 ：任務程序
* 參數 ：無
* 返回 ：無
******************************************************************************/
void App_Fsm_process(void) {
ZF_DELAY_MS(1000);
/* 每1000ms調度狀態(tài)機，發(fā)送SAY_HELLO信號 */
pFsm->Dispatch(pFsm, SAY_HELLO);
}
/******************************** END OF FILE ********************************/測試結果
測試結果
*博客內容為網友個人發(fā)布，僅代表博主個人觀點，如有侵權請聯(lián)系工作人員刪除。
